8 search results - page 1 / 2 » Disambiguation by Prioritized Circumscription |
COLING
1996
14 years 10 months ago
1996
112
click to vote
IJCAI
1997
14 years 10 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
14 years 10 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
14 years 10 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...
72
Voted
AIMSA
2008
Springer
15 years 3 months ago
2008
Springer