Sciweavers

Share
4036 search results - page 808 / 808
» Formal Methods
Sort
View
IJCAI
1989
10 years 4 months ago
A Theorem Prover for Prioritized Circumscription
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...
Andrew B. Baker, Matthew L. Ginsberg
books