A decidable query answering algorithm for circumscriptive theories
- 1 December 1986
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- The extended closed world assumption and its relationship to parallel circumscriptionPublished by Association for Computing Machinery (ACM) ,1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980