| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Han The Anh, Ari Saptawijaya, Luís Moniz Pereira |
Moral Reasoning under Uncertainty.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Miguel Pinto, Luís Moniz Pereira |
Each normal logic program has a 2-valued Minimal Hypotheses semantics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira |
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Han The Anh, Luís Moniz Pereira |
Intention-Based Decision Making with Evolution Prospection. |
EPIA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Han The Anh, Luís Moniz Pereira, Francisco C. Santos |
The Role of Intention Recognition in the Evolution of Cooperative Behavior. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira |
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira |
Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Carroline Kencana Ramli |
Modelling decision making with probabilistic causation. |
Intelligent Decision Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Luís Moniz Pereira |
Cluster-Lift Method for Mapping Research Activities over a Concept Tree. |
Advances in Machine Learning II |
2010 |
DBLP DOI BibTeX RDF |
Cluster-lift method, additive clustering, concept generalization, knowledge transmutation, concept tree |
| 1 | Gonçalo Lopes, Luís Moniz Pereira |
Prospective Storytelling Agents. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Tight Semantics for Logic Programs. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Han The Anh, Luís Moniz Pereira |
Proactive Intention Recognition for Home Ambient Intelligence. |
Intelligent Environments (Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira |
A Hybrid Cluster-Lift Method for the Analysis of Research Activities. |
HAIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira |
Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. |
KSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Han The Anh |
Evolution prospection in decision making. |
Intelligent Decision Technologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Han The Anh |
Intention Recognition via Causal Bayes Networks Plus Plan Generation. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
Causal Bayes Networks, Plan generation, P-log, ASCP, Logic Programming, Intention recognition |
| 1 | Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes |
On Preferring and Inspecting Abductive Models. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction |
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Layered Models Top-Down Querying of Normal Logic Programs. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Smodels, XSB-XASP, Semantics, Relevance |
| 1 | Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira |
Incremental Answer Completion in the SLG-WAM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Han The Anh |
Elder Care via Intention Recognition and Evolution Prospection. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Adaptive Reasoning for Cooperative Agents. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Stabel Model Implementation of Layer Supported Models by Program Transformation. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Layer Supported Models of Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
Semantics, Relevance, Layering, Stable Models |
| 1 | Gregory R. Wheeler, Luís Moniz Pereira |
Methodological naturalism and epistemic internalism. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Collaborative vs. Conflicting Learning, Evolution and Argumentation. |
Oppositional Concepts in Computational Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Luís Moniz Pereira |
Representing a Computer Science Research Organization on the ACM Computing Classification System. |
ICCS Supplement |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferential theory revision. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Gregory R. Wheeler |
Introduction. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Ruben Duarte Viegas |
Architectural Design via Declarative Programming. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Gonçalo Lopes |
Prospective Logic Agents. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira |
Gödel and Computability. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Ari Saptawijaya |
Modelling Morality with Prospective Logic. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Approved Models for Normal Logic Programs. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira |
A Logic-Based Approach to Model Supervisory Control Systems. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Santana, Luís Moniz Pereira |
Emergence of Cooperation Through Mutual Preference Revision. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
Preference revision, cooperative behaviour, multi-agent systems |
| 1 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira |
Modelling adaptive controllers with evolving logic programs. |
ICINCO-ICSO |
2006 |
DBLP BibTeX RDF |
|
| 1 | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
An encompassing framework for Paraconsistent Logic Programs. |
J. Applied Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Revised Stable Models - A Semantics for Logic Programs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preference Revision Via Declarative Debugging. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
A Well-Founded Semantics with Disjunction. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Guimarães, Luís Moniz Pereira |
Inferring Definite-Clause Grammars to Express Multivariate Time Series. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira |
MOdelling hybrid control systems with behaviour networks. |
ICINCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Common-sense reasoning as proto-scientific agent activity. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory R. Wheeler, Luís Moniz Pereira |
Epistemology and artificial intelligence. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Delrieux, Luís Moniz Pereira |
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | José Ferreira de Castro, Luís Moniz Pereira |
Abductive Validation of a Power-Grid Expert System Diagnoser. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
Expert Systems |
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Abduction in Well-Founded Semantics and Generalized Stable Models |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Belief Revision via Lamarckian Evolution. |
New Generation Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira |
An Architecture for a Rational Reactive Agent. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolvable Rule-Based E-mail Agent. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
A Logical Framework for Modelling eMAS. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolving Agent with EVOLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira |
Semantic Web Logic Programming Tools. |
PPSWR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Logic Programming for Evolving Agents. |
CIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder |
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. |
Appl. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira |
Preface. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira |
A Logic Based Asynchronous Multi-Agent System. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
A Language for Multi-dimensional Updates. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
LUPSA language for updating logic programs. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira |
A Logic Based Asynchronous Multi-Agent System. |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
A Language for Multi-dimensional Updates. |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Belief Revision via Lamarckian Evolution. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira |
On Philosophical Incidences of Logic Programming. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Evolving Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira |
A Compilation of Updates plus Preferences. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
Paraconsistent Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira |
Logic Programming Updating - A Guided Approach. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden |
A Portrait of a Scientist as a Computational Logician. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira, Aida Vitória |
User Preference Information in Query Answering. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Enabling Agents to Update Their Knowledge and to Prefer. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira |
Evolving Multi-agent Viewpoints - an Architecture. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi |
Belief Revision by Lamarckian Evolution. |
EvoWorkshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Monotonic and Residuated Logic Programs. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
Logic Programming, Many-valued logics, Possibilistic Logic |
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Abductive Multi-agent Systems. |
ESAW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Multi-Agents. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Logic-Based Agents. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
Multi-dimensional Dynamic Knowledge Representation. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Antitonic Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
MINERVA - A Dynamic Logic Programming Agent Architecture. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Computing Environment-Aware Agent Behaviours with Logic Program Updates. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
Dynamic updates of non-monotonic knowledge bases. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira |
Strategies in Combined Learning via Logic Programs. |
Machine Learning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings |
JELIA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira |
Updates plus Preferences. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
Multi-dimensional Dynamic Logic Programming. |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira |
Partial Models of Extended Generalized Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) |
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings |
CL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira |
Psychiatric Diagnosis from the Viewpoint of Computational Logic. |
Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma |
Dynamic Knowledge Representation and Its Applications. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions |
| 1 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma |
Preliminary exploration on actions as updates. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Well-founded Abduction via Tabled Dual Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira |
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. |
IEA/AIE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift |
Coherent Well-founded Annotated Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
LUPS - A Language for Updating Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski |
`Classical' Negation in Nonmonotonic Reasoning and Logic Programming. |
J. Autom. Reasoning |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")