| Monotonic and residuated logic programs CV Damásio, LM Pereira Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001 | 133 | 2001 |
| A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14, 93-147, 1995 | 131 | 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 | 83 | 2005 |
| Diagnosis and Debugging as Contradiction Removal. LM Pereira, CV Damásio, JJ Alferes LPNMR, 316-330, 1993 | 79 | 1993 |
| Antitonic logic programs CV Damásio, LM Pereira Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001 | 73 | 2001 |
| Combining rules and ontologies G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ... A survey, 2005 | 69 | 2005 |
| Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature JRM da Silva, CV Damásio, AMO Sousa, L Bugalho, L Pessanha, ... International Journal of Applied Earth Observation and Geoinformation 38, 40-50, 2015 | 58 | 2015 |
| 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 |
| Justifications for logic programming C Viegas Damásio, A Analyti, G Antoniou International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 56 | 2013 |
| SLX-A Top-down Derivation Procedure for Programs with Explicit Negation. JJ Alferes, CV Damásio, LM Pereira ILPS 94, 424-438, 1994 | 54 | 1994 |
| Debugging by diagnosing assumptions LM Pereira, CV Damásio, JJ Alferes International Workshop on Automated and Algorithmic Debugging, 58-74, 1993 | 52 | 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 | 51 | 1994 |
| Stator winding short-circuit fault diagnosis in induction motors using random forest T Dos Santos, FJTE Ferreira, JM Pires, C Damasio 2017 IEEE International Electric Machines and Drives Conference (IEMDC), 1-8, 2017 | 49 | 2017 |
| 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 | 48 | 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 | 46 | 2004 |
| 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 | 45 | 2009 |
| 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 |
| 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 | 42 | 2008 |
| Hybrid probabilistic logic programs as residuated logic programs CV Damásio, LM Pereira European Workshop on Logics in Artificial Intelligence, 57-72, 2000 | 42 | 2000 |
Luís Moniz PereiraProfessor of Computer Science, Universidade Nova de Lisboa (emeritus)Verified email at fct.unl.pt
