Publications

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Marcos, João  [Clear All Filters]
Conference Paper
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,.
Conference Proceedings
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.