Carlos V. Damásio

MaRDI QIDQ2248546zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Why-provenance information for RDF, rules, and negation Annals of Mathematics and Artificial Intelligence	2014-06-26	Paper
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence Fuzzy Logic and Applications	2011-09-16	Paper
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs SIAM Journal on Computing	2009-11-06	Paper
Extended RDF as a semantic foundation of rule markup languages (available as arXiv preprint)	2009-04-28	Paper
Termination of logic programs with imperfect information: applications and query procedure Journal of Applied Logic	2007-07-25	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
An encompassing framework for paraconsistent logic programs Journal of Applied Logic	2005-05-04	Paper
scientific article; zbMATH DE number 2063023 (Why is no real title available?)	2004-03-29	Paper
Query answering in rough knowledge bases Lecture Notes in Computer Science	2003-09-18	Paper
Paraconsistent logic programs Lecture Notes in Computer Science	2003-06-20	Paper
Antitonic logic programs Lecture Notes in Computer Science	2003-03-18	Paper
Hybrid probabilistic logic programs as residuated logic programs Studia Logica	2003-03-12	Paper
Monotonic and residuated logic programs Lecture Notes in Computer Science	2002-12-12	Paper
Using extended logic programming for alarm-correlation in cellular phone networks Applied Intelligence	2002-09-18	Paper
Hybrid probabilistic logic programs as residuated logic programs Lecture Notes in Computer Science	2002-06-25	Paper
Psychiatric diagnosis from the viewpoint of computational logic Lecture Notes in Computer Science	2002-01-28	Paper
Coherent well-founded annotated logic programs Lecture Notes in Computer Science	2000-05-25	Paper
scientific article; zbMATH DE number 1269580 (Why is no real title available?)	1999-07-20	Paper

Research outcomes over time

This page was built for person: Carlos V. Damásio