Publications

Export 808 results:
Author Title Type [ Year(Asc)]
2001
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,.
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.
Klijn, Alex. 2001. Robots En Onderwijs.. Mores 28: 249-263.
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.
Batens, Diderik. 2001. A Universally Abnormality-Adaptive Logic. Logical Investigations 8: 256–265.

Pages