|
Publications
My Erdös number is at most 4:
A.M. Pinto --
L. M. Pereira --
T. C. Przymusiński --
Mary Ellen Rudin --
Paul Erdös.
My Google Scholar Profile
Book Chapters
|
[7]
|
J. Cardoso and A. M. Pinto.
The web ontology language (owl) and its applications.
In Mehdi Khosrow-Pour, editor, Encyclopedia of Information
Science and Technology, chapter 755, pages 7662-7673. Information Resources
Management Association, USA, DOI:10.4018/978-1-4666-5888-2.ch755, third
edition, July 2014.
[ bib |
.pdf ]
|
|
[6]
|
L. M. Pereira, P. Dell'Acqua, A. M. Pinto, and G. Lopes.
Inspecting and preferring abductive models.
In L. C. Jain K. Nakamatsu, editor, The Handbook on
Reasoning-Based Intelligent Systems. World Scientific Publishers, 2012.
[ bib |
.pdf ]
|
|
[5]
|
Luís Moniz Pereira, Pierangelo Dell'Aqua, Alexandre Miguel Pinto, and
Gonçalo Lopes.
Inspecting and preferring abductive models.
In K. Nakamatsu and L. Jain, editors, Handbook on
Reasoning-based Intelligent Systems. World Scientific, 2011.
[ bib |
.pdf ]
|
|
[4]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Adaptive reasoning for cooperative agents.
In Salvador Abreu and Deitmar Seipel, editors, Declarative
Programming and Knowledge Management, volume 6547 of LNAI. Springer,
2011.
Select extended papers from the 18th Intl.Conf. on Applications of
Declarative Programming and Knowledge Management (INAP'09).
[ bib |
.pdf ]
|
|
[3]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Stable model implementation of layer supported models by program
transformation.
In Salvador Abreu and Deitmar Seipel, editors, Declarative
Programming and Knowledge Management, volume 6547 of LNAI. Springer,
2011.
Select extended papers from the 18th Intl.Conf. on Applications of
Declarative Programming and Knowledge Management (INAP'09).
[ bib |
.pdf ]
|
|
[2]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Inspecting Side-Effects of Abduction in Logic Programs.
Festschrift. Springer, October 2010.
Symposium on Constructive Mathematics in Computer Science
http://marcy.cjb.net/MG65/.
[ bib |
.pdf ]
|
|
[1]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Oppositional Concepts in Computational Intelligence, chapter
Collaborative vs. Conflicting Learning, Evolution and Argumentation.
Studies in Computational Intelligence. Springer, 2008.
[ bib |
.pdf ]
|
Papers in Scientific Journals
|
[1]
|
Vitor Guerra Rolla, Alexandre Miguel Pinto, and Marilia Curado.
A simple survey of knowledge plane approaches for future cognitive
wireless networks.
Int. J. Mob. Netw. Des. Innov., 4(4):179-184, June 2012.
[ bib |
DOI |
.pdf ]
|
Papers in Conferences
|
[22]
|
J. Nabais, A. M. Pinto, A. Cruz, and J. Cardoso.
Interface design for it service management practice.
In Procs. of the 9th Iberian Conference on Information Systems
and Technologies. June 2014.
[ bib |
.pdf ]
|
|
[21]
|
P. Macedo, J. Cardoso, and A. M. Pinto.
Enriching electronic programming guides with web data.
In Procs. of the Intl. Workshop on Linked Media (LiME 2014).
May 2014.
[ bib |
.pdf ]
|
|
[20]
|
A. M. Pinto and L. Barroso.
Principles of regulated activation networks.
In N. Hernandez, R. Jäschke, and M. Croitoru, editors,
Graph-Based Representation and Reasoning, LNCS, pages 231-244. Springer,
2014.
[ bib |
DOI |
.pdf ]
|
|
[19]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Examining the plausible side-effects of abduction.
In Intl. Symp. of Epistemology, Logic and Language 2012, 2012.
[ bib ]
|
|
[18]
|
Anees ul Mehdi, Alexandre Miguel Pinto, and Sebastian Rudolph.
On integrating description logics and rules under minimal hypotheses.
In M. Krötzsch and U. Straccia, editors, Procs. RR 2012,
volume 7497 of LNCS, pages 242-245, Berlin Heidelberg, 2012.
Springer-Verlag.
[ bib |
.pdf ]
|
|
[17]
|
Alexandre Miguel Pinto and Luís Moniz Pereira.
Every normal logic program has a 2-valued minimal hypotheses
semantics.
In Procs. 15th Portuguese Conf. on Artificial Intelligence (EPIA
2011), October 2011.
[ bib |
.pdf ]
|
|
[16]
|
Alexandre Miguel Pinto and Luís Moniz Pereira.
Each normal logic program has a 2-valued minimal hypotheses
semantics.
In H. Tompits, editor, 19th Intl. Conf. on Applications of
Declarative Programming and Knowledge Management (INAP'11), LNAI. Springer,
September 2011.
[ bib |
.pdf ]
|
|
[15]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Inductive tight semantics for logic programs.
In Liber Amicorum in honour of Maurice Bruynooghe, pages
17-31. K.U.Leuven, July 2010.
invited paper.
[ bib |
.pdf ]
|
|
[14]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Tight semantics for logic programs.
In Manuel V. Hermenegildo and Torsten Schaub, editors, ICLP
(Technical Communications), volume 7 of LIPIcs, pages 134-143.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
[ bib |
.pdf ]
|
|
[13]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Adaptive reasoning for cooperative agents.
In Salvador Abreu and Dietmar Siepel, editors, 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge Management
(INAP'09), Évora, Portugal, November 2009.
[ bib |
.pdf ]
|
|
[12]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Stable model implementation of layer supported models by program
transformation.
In Salvador Abreu and Dietmar Siepel, editors, 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge Management
(INAP'09), Évora, Portugal, November 2009.
[ bib |
.pdf ]
|
|
[11]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Stable versus layered logic program semantics.
In Fifth Latin American Workshop on Non-Monotonic Reasoning
2009, Apizaco, Tlaxcala, México, November 2009.
Proceedings at
http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/.
[ bib |
.pdf ]
|
|
[10]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Inspection points and meta-abduction in logic programs.
In Salvador Abreu and Dietmar Siepel, editors, 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge Management
(INAP'09), November 2009.
[ bib |
.pdf ]
|
|
[9]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Layer supported models of logic programs.
In Procs. 10th LPNMR, LNCS. Springer, September 2009.
[ bib |
.pdf ]
|
|
[8]
|
Terrance Swift, Alexandre Miguel Pinto, and Luís Moniz Pereira.
Incremental answer completion in xsb-prolog.
In Procs. 25th ICLP, LNCS. Springer-Verlag, July 2009.
[ bib |
.pdf ]
|
|
[7]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Side-effect inspection for decision making.
In K. Nakamatsu, editor, Procs. First KES Intl. Symp. on
Intelligent Decision Technologies - KES-IDT'09, volume 199 of
Engineering Series, pages 139-150, Himeji, Japan, April 2009. Springer.
[ bib |
.pdf ]
|
|
[6]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Layered models top-down querying of normal logic programs.
In Proceedings of the Practical Aspects of Declarative Languages
(PADL'09), volume 5418 of LNCS, pages 254-268. Springer, January
2009.
[ bib |
.pdf ]
|
|
[5]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Approved models for normal logic programs.
In Nachum Dershowitz and Andrei Voronkov, editors, Procs. 14th
Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning,
LPAR - LNAI, Yerevan, Armenia, October 2007. Springer.
[ bib |
.pdf ]
|
|
[4]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Reductio ad absurdum argumentation in normal logic programs.
In Chitta Baral, G. Brewka, and John S. Schlipf, editors, Ninth
International Conference on Logic Programming and Nonmonotonic Reasoning,
LPNMR, pages 96-113, Tempe, AZ, USA, May 2007. Springer.
[ bib |
.pdf ]
|
|
[3]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Revised stable models - a semantics for logic programs.
In Carlos Bento, A. Cardoso, and G. Dias, editors, Procs. 12th
Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05), LNAI, pages
29-42, Covilhã, Portugal, December 2005. Springer.
[ bib |
.pdf ]
|
|
[2]
|
Jeannette Bohg, Reinhard Kahle, and Alexandre Miguel Pinto.
International tele-teaching - a progress report.
In V. Dötsch, K. Hering, and F. Schaar, editors, Auf dem Weg
vom Hype in die Konsilidierung? Proceedings of the Workshop on e-Learning
2005, HTWK Leipzig, 11.-12. Juli 2005, pages 153-164. Fachbereich
Informatik, Mathematik und Naturwissenschaften der Hochschule für
Technik, Wirtschaft und Kultur Leipzig (FH), 2005.
[ bib ]
|
|
[1]
|
Luís Moniz Pereira and Alexandre Miguel Pinto.
Revised stable models - a new semantics for logic programs.
In In Procs. Convegno Italiano di Logica Computazionale
(CILC'04). Convegno Italiano di Logica Computazionale (CILC'04), July 2004.
[ bib |
.pdf ]
|
Reviewing
I am often a reviewer for the following conferences:
International Conference on Logic Programming (ICLP)
Practical Aspects of Declarative Languages (PADL)
Portuguese Conference on Artificial Intelligence (EPIA)
|
