A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

Angelo Montanari, Alberto Policriti
1997-01-01
Cite
Type
Conference paper
Publication
Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence

Related