| A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14 (1), 93-147, 1995 | 132 | 1995 |
| A survey of paraconsistent semantics for logic programs CV Damásio, LM Pereira Reasoning with Actual and Potential Contradictions, 241-320, 1998 | 117 | 1998 |
| Monotonic and residuated logic programs CV Damásio, LM Pereira European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001 | 113 | 2001 |
| Antitonic logic programs CV Damásio, LM Pereira International Conference on Logic Programming and NonMonotonic Reasoning …, 2001 | 67 | 2001 |
| 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 | 66 | 2005 |
| Diagnosis and debugging as contradiction removal LM Pereira, C Damásio, JJ Alferes 2nd Int. Ws. on LP & NMR, 316-330, 1991 | 64 | 1991 |
| 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 | 53 | 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 | 52 | 1994 |
| COmbining rules and ontologies:... G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ... | 51 | 2005 |
| Debugging by diagnosing assumptions LM Pereira, CV Damásio, JJ Alferes International Workshop on Automated and Algorithmic Debugging, 58-74, 1993 | 51 | 1993 |
| 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 | 46 | 1994 |
| 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 | 41 | 2008 |
| Negation and negative information in the W3C resource description framework A Analyti, G Antoniou, CV Damasio, G Wagner Annals of Mathematics, Computing & Teleinformatics (AMCT) 1 (2), 25-34, 2004 | 41 | 2004 |
| 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 | 40 | 2006 |
| 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 | 39 | 2007 |
| Hybrid probabilistic logic programs as residuated logic programs CV Damásio, LM Pereira European Workshop on Logics in Artificial Intelligence, 57-72, 2000 | 39 | 2000 |
| Provenance for SPARQL queries CV Damásio, A Analyti, G Antoniou International Semantic Web Conference, 625-640, 2012 | 37 | 2012 |
| Sorted monotonic logic programs and their embeddings CV Damásio, LM Pereira Proc. IPMU’04, 807-814, 2004 | 36 | 2004 |
| A survey of paraconsistent semantics for logic programs, Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential … CV Damásio, LM Pereira Kluwer Academic Publishers, Norwell, MA, 1998 | 36 | 1998 |
| 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 | 35 | 2009 |
