On finding extensions of default theories
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 276-281
- https://doi.org/10.1007/3-540-56039-4_47
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Tie-breaking semantics and structural totalityPublished by Association for Computing Machinery (ACM) ,1992
- Hard problems for simple default logicsArtificial Intelligence, 1991
- General logical databases and programs: Default logic semantics and stratificationInformation and Computation, 1991
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- A logic for default reasoningArtificial Intelligence, 1980