| Monotonic and residuated logic programs CV Damásio, LM Pereira Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001 | 129 | 2001 |
| A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14, 93-147, 1995 | 129 | 1995 |
| A survey of paraconsistent semantics for logic programs CV Damásio, LM Pereira Reasoning with Actual and Potential Contradictions, 241-320, 1998 | 127 | 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 | 79 | 2005 |
| Diagnosis and Debugging as Contradiction Removal. LM Pereira, CV Damásio, JJ Alferes LPNMR, 316-330, 1993 | 73 | 1993 |
| Antitonic logic programs CV Damásio, LM Pereira Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001 | 72 | 2001 |
| Combining rules and ontologies G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ... A survey, 2005 | 67 | 2005 |
| Sorted multi-adjoint logic programs: termination results and applications CV Damásio, J Medina, M Ojeda-Aciego Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004 | 57 | 2004 |
| 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 | 49 | 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 | 49 | 1994 |
| Debugging by diagnosing assumptions LM Pereira, CV Damásio, JJ Alferes Automated and Algorithmic Debugging: First International Workshop, AADEBUG …, 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 |
| 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 | 47 | 1994 |
| 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 | 45 | 2015 |
| Supporting open and closed world reasoning on the web CV Damásio, A Analyti, G Antoniou, G Wagner Principles and Practice of Semantic Web Reasoning: 4th International …, 2006 | 44 | 2006 |
| Justifications for logic programming C Viegas Damásio, A Analyti, G Antoniou Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 43 | 2013 |
| 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 | 43 | 2009 |
| 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 | 43 | 2008 |
| Hybrid probabilistic logic programs as residuated logic programs CV Damásio, LM Pereira Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000 | 41 | 2000 |
| Provenance for SPARQL queries CV Damásio, A Analyti, G Antoniou The Semantic Web–ISWC 2012: 11th International Semantic Web Conference …, 2012 | 38 | 2012 |
