Publications
Export 2 results:
Author Title Type [ Year] Filters: Author is Arabnia, Hamid R. [Clear All Filters]
“Non-Truth-Functional Fibred Semantics” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.
. 2001. “Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2001.