Подписаться
Carlos Viegas Damásio
Carlos Viegas Damásio
Professor of Computer Science, NOVALINCS e Fac. de Ciências e Tecnologia da Univ. Nova de Lisboa
Подтвержден адрес электронной почты в домене fct.unl.pt - Главная страница
Название
Процитировано
Процитировано
Год
Monotonic and residuated logic programs
CV Damásio, LM Pereira
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001
1322001
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1311995
A survey of paraconsistent semantics for logic programs
CV Damásio, LM Pereira
Reasoning with Actual and Potential Contradictions, 241-320, 1998
1271998
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
832005
Diagnosis and Debugging as Contradiction Removal.
LM Pereira, CV Damásio, JJ Alferes
LPNMR, 316-330, 1993
791993
Antitonic logic programs
CV Damásio, LM Pereira
Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001
732001
Combining rules and ontologies
G Antoniou, CV Damasio, B Grosof, I Horrocks, M Kifer, J Maluszynski, ...
A survey, 2005
692005
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
572004
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
562015
Justifications for logic programming
C Viegas Damásio, A Analyti, G Antoniou
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
552013
SLX-A Top-down Derivation Procedure for Programs with Explicit Negation.
JJ Alferes, CV Damásio, LM Pereira
ILPS 94, 424-438, 1994
541994
Debugging by diagnosing assumptions
LM Pereira, CV Damásio, JJ Alferes
International Workshop on Automated and Algorithmic Debugging, 58-74, 1993
521993
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
511994
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
482007
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
472017
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
462004
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
452009
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
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
422008
Hybrid probabilistic logic programs as residuated logic programs
CV Damásio, LM Pereira
European Workshop on Logics in Artificial Intelligence, 57-72, 2000
412000
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20