Monotonic and residuated logic programs CV Damásio, LM Pereira European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001 | 126 | 2001 |
A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14 (1), 93-147, 1995 | 125 | 1995 |
A survey of paraconsistent semantics for logic programs CV Damásio, LM Pereira Reasoning with Actual and Potential Contradictions, 241-320, 1998 | 121 | 1998 |
Combining rules and ontologies: A survey G Antoniou, CV Damásio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ... Reasoning on the Web with Rules and Semantics, 2005 | 75 | 2005 |
Diagnosis and debugging as contradiction removal LM Pereira, CV Damásio, JJ Alferes Proceedings of the second international workshop on Logic programming and …, 1993 | 72 | 1993 |
Antitonic logic programs CV Damásio, LM Pereira International Conference on Logic Programming and NonMonotonic Reasoning …, 2001 | 71 | 2001 |
COmbining rules and ontologies:... G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ... | 66 | 2005 |
Sorted multi-adjoint logic programs: termination results and applications CV Damásio, J Medina, M Ojeda-Aciego European Workshop on Logics in Artificial Intelligence, 252-265, 2004 | 57 | 2004 |
SLX-A top-down derivation procedure for programs with explicit negation CAIPV Damásio, JJA Alferes MIT PRESS SERIES IN LOGIC PROGRAMMING, 424-438, 1994 | 51 | 1994 |
Debugging by diagnosing assumptions LM Pereira, CV Damásio, JJ Alferes International Workshop on Automated and Algorithmic Debugging, 58-74, 1993 | 48 | 1993 |
Termination of logic programs with imperfect information: applications and query procedure CV Damásio, J Medina, M Ojeda-Aciego Journal of Applied Logic 5 (3), 435-458, 2007 | 47 | 2007 |
Negation and negative information in the W3C resource description framework A Analyti, G Antoniou, CV Damasio, G Wagner Annals of Mathematics, Computing and Teleinformatics 1 (2), 25-34, 2004 | 45 | 2004 |
Extended RDF as a semantic foundation of rule markup languages A Analyti, G Antoniou, CV Damásio, G Wagner Journal of Artificial Intelligence Research 32, 37-94, 2008 | 44 | 2008 |
Supporting open and closed world reasoning on the web CV Damásio, A Analyti, G Antoniou, G Wagner International Workshop on Principles and Practice of Semantic Web Reasoning …, 2006 | 44 | 2006 |
REVISE: An extended logic programming system for revising knowledge bases CV Damásio, W Nejdl, LM Pereira Principles of Knowledge Representation and Reasoning, 607-618, 1994 | 44 | 1994 |
Hybrid probabilistic logic programs as residuated logic programs CV Damásio, LM Pereira European Workshop on Logics in Artificial Intelligence, 57-72, 2000 | 41 | 2000 |
On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs U Straccia, M Ojeda-Aciego, CV Damásio SIAM Journal on Computing 38 (5), 1881-1911, 2009 | 40 | 2009 |
Justifications for logic programming C Viegas Damásio, A Analyti, G Antoniou International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 37 | 2013 |
Sorted monotonic logic programs and their embeddings CV Damásio, LM Pereira Proc. IPMU’04, 807-814, 2004 | 37 | 2004 |
Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature JR Marques da Silva, CV Damásio, AMO Sousa, L Bugalho, L Pessanha, ... International Journal of Applied Earth Observations and Geoinformation 38, 40-50, 2015 | 35 | 2015 |