Carlos Viegas Damásio
Carlos Viegas Damásio
Professor de Engenharia Informática, Universidade Nova de Lisboa e NOVA-LINCS
Vahvistettu sähköpostiosoite verkkotunnuksessa fct.unl.pt - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14 (1), 93-147, 1995
1341995
Monotonic and residuated logic programs
CV Damásio, LM Pereira
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
1192001
A survey of paraconsistent semantics for logic programs
CV Damásio, LM Pereira
Reasoning with Actual and Potential Contradictions, 241-320, 1998
1171998
Diagnosis and Debugging as Contradiction Removal.
LM Pereira, CV Damásio, JJ Alferes
LPNMR, 316-330, 1993
791993
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
742005
Antitonic logic programs
CV Damásio, LM Pereira
International Conference on Logic Programming and NonMonotonic Reasoning …, 2001
682001
COmbining rules and ontologies:...
G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ...
662005
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
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
521994
Debugging by diagnosing assumptions
LM Pereira, CV Damásio, JJ Alferes
International Workshop on Automated and Algorithmic Debugging, 58-74, 1993
491993
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
432007
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
432006
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
432004
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
412008
Hybrid probabilistic logic programs as residuated logic programs
CV Damásio, LM Pereira
European Workshop on Logics in Artificial Intelligence, 57-72, 2000
402000
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
372009
Sorted monotonic logic programs and their embeddings
CV Damásio, LM Pereira
Proc. IPMU’04, 807-814, 2004
372004
REVISE: Logic programming and diagnosis
CV Damásio, LM Pereira, M Schroeder
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
351997
Justifications for logic programming
CV Damásio, A Analyti, G Antoniou
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
342013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20