Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="Marcos de Almeida, João" or (type any "bookEditor issueEditor" and editor="Marcos de Alme... Add to list Conference Paper P1 open access A taxonomy of C-systems Walter Alexandr Carnielli and João Marcos de Almeida (2002) PARACONSISTENCY : THE LOGICAL WAY TO THE INCONSISTENT. In Lecture Notes in Pure and Applied Mathematics 228. p.1-94 Add to list Conference Paper C1 open access A logical framework for integrating inconsistent information in multiple databases Sandra de Amo, Walter A. Carnielli and João Marcos de Almeida (2002) Foundations of Information and Knowledge Systems : FoIKS 2002. In Lecture Notes in Computer Science 2284. p.67-84 Add to list Conference Paper P1 open access Non-truth-functional fibred semantics Carlos Caleiro and João Marcos de Almeida (2001) IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. 2. p.841-847 Add to list Conference Paper P1 open access Tableau systems for logics of formal inconsistency Walter A. Carnielli and João Marcos de Almeida (2001) IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. 2. p.848-852 Add to list Conference Paper C1 Ex contradictione non sequitur quodlibet Walter A. Carnielli and João Marcos de Almeida (2001) Proceedings of the 2nd annual conference on reasoning and logic. In Bulletin of Advanced Reasoning and Knowledge 1. p.89-110