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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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