Carlos V. Damásio

Available identifiers

zbMath Open damasio.carlos-vDBLPd/CVDamasioWikidataQ57775604 ScholiaQ57775604MaRDI QIDQ2248546

List of research outcomes

Publication	Date of Publication	Type
Why-provenance information for RDF, rules, and negation	2014-06-26	Paper
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence	2011-09-16	Paper
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs	2009-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3624127	2009-04-28	Paper
Termination of logic programs with imperfect information: applications and query procedure	2007-07-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper

Research outcomes over time

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