Prof. Dr. João Marcos
Recent publications
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.
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.
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, 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,.
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.