8 search results - page 1 / 2 » Disambiguation by Prioritized Circumscription |
COLING
1996
15 years 11 days ago
1996
121
click to vote
IJCAI
1997
15 years 11 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...
101
click to vote
IJCAI
1989
15 years 6 days 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...
89
Voted
AAAI
2000
15 years 12 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
15 years 5 months ago
2008
Springer