Carlos Viegas Damásio

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
Towards provenance in heterogeneous knowledge bases	2023-04-04	Paper
Abduction over 3-valued extended logic programs Logic Programming and Nonmonotonic Reasoning	2022-08-30	Paper
Unifying justifications and debugging for answer-set programs	2019-04-24	Paper
Extended RDF: computability and complexity issues Annals of Mathematics and Artificial Intelligence	2016-01-28	Paper
MWeb: a principled framework for modular web rule bases and its semantics ACM Transactions on Computational Logic	2015-09-17	Paper
Justifications for logic programming Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
A framework for modular ERDF ontologies Annals of Mathematics and Artificial Intelligence	2013-08-26	Paper
Modularity of P-log programs Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
Representing uncertainty in RuleML	2008-03-19	Paper
Rough Sets and Current Trends in Computing Lecture Notes in Computer Science	2006-11-01	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	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
scientific article; zbMATH DE number 1983082 (Why is no real title available?)	2003-09-18	Paper
scientific article; zbMATH DE number 1931672 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1884402 (Why is no real title available?)	2003-03-18	Paper
Hybrid probabilistic logic programs as residuated logic programs Studia Logica	2003-03-12	Paper
scientific article; zbMATH DE number 1844513 (Why is no real title available?)	2002-12-12	Paper
scientific article; zbMATH DE number 1759369 (Why is no real title available?)	2002-06-25	Paper
scientific article; zbMATH DE number 1696874 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1453067 (Why is no real title available?)	2000-05-25	Paper
scientific article; zbMATH DE number 1269580 (Why is no real title available?)	1999-07-20	Paper
A logic programming system for nonmonotonic reasoning Journal of Automated Reasoning	1995-08-27	Paper

Research outcomes over time

This page was built for person: Carlos Viegas Damásio