Monotonic and residuated logic programs CV Damásio, LM Pereira Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001 | 132 | 2001 |
A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14, 93-147, 1995 | 130 | 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 |
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 |
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 | 55 | 2015 |
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 |
Justifications for logic programming C Viegas Damásio, A Analyti, G Antoniou International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 53 | 2013 |
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 |
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 |
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 | 46 | 2017 |
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 | 41 | 2000 |