8 search results - page 1 / 2 » Disambiguation by Prioritized Circumscription |
COLING
1996
14 years 5 days ago
1996
IJCAI
1997
14 years 5 days ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
IJCAI
1989
14 years 7 hour ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
AAAI
2000
14 years 6 days ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
AIMSA
2008
Springer
14 years 5 months ago
2008
Springer