Follow
Carlos Viegas Damásio
Carlos Viegas Damásio
Professor de Engenharia Informática, Universidade Nova de Lisboa e NOVA-LINCS
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1291995
A survey of paraconsistent semantics for logic programs
CV Damásio, LM Pereira
Reasoning with Actual and Potential Contradictions, 241-320, 1998
1271998
Monotonic and residuated logic programs
CV Damásio, LM Pereira
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001
1262001
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
782005
Diagnosis and Debugging as Contradiction Removal.
LM Pereira, CV Damásio, JJ Alferes
LPNMR, 316-330, 1993
731993
Antitonic logic programs
CV Damásio, LM Pereira
Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001
722001
Combining rules and ontologies
G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ...
A survey, 2005
662005
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
552004
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
491994
Debugging by diagnosing assumptions
LM Pereira, CV Damásio, JJ Alferes
Automated and Algorithmic Debugging: First International Workshop, AADEBUG …, 1993
481993
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
472004
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
471994
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
452007
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
442006
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
432008
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
422015
Justifications for logic programming
C Viegas Damásio, A Analyti, G Antoniou
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
422013
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
422009
Hybrid probabilistic logic programs as residuated logic programs
CV Damásio, LM Pereira
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000
412000
Provenance for SPARQL queries
CV Damásio, A Analyti, G Antoniou
The Semantic Web–ISWC 2012: 11th International Semantic Web Conference …, 2012
372012
The system can't perform the operation now. Try again later.
Articles 1–20