8 search results - page 1 / 2 » Disambiguation by Prioritized Circumscription |
COLING
1996
13 years 6 months ago
1996
IJCAI
1997
13 years 6 months 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
13 years 6 months 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
13 years 6 months 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
13 years 11 months ago
2008
Springer