Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 5 results:

Filters: Author is Marcos, João [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

E

Carnielli, Walter A, and João Marcos. 2001. “Ex Contradictione Non Sequitur Quodlibet”. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.

L

de Amo, Sandra, Walter A Carnielli, and João Marcos. 2002. “A Logical Framework For Integrating Inconsistent Information In Multiple Databases” Thomas Eiter and Schewe, Klaus-Dieter. Foundations of Information and Knowledge Systems 2284: 67-84. http://dx.doi.org/10.1007/3-540-45758-5_5.

N

Caleiro, Carlos, and João Marcos. 2001. “Non-Truth-Functional Fibred Semantics” Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.

T

Carnielli, Walter A, and João Marcos. 2001. “Tableau Systems For Logics Of Formal Inconsistency” Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.

Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. “A Taxonomy Of C-Systems” Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.