CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Supporting automated deduction in first-order modal logics
Angelo Montanari
,
Alberto Policriti
,
M. Slanina
2000-01-01
Cite
Type
Conference paper
Publication
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference
Related
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
On Devising Algorithms for Ehrenfeucht-Fraïssé Games
Extensions of S1S and the composition method
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures
Cite
×