ML Anthology

Policriti, Alberto

1 publications

IJCAI 1997 A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics Angelo Montanari, Alberto Policriti