The complexity of Model-Preference Default theories
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 115-130
- https://doi.org/10.1007/3-540-50701-9_23
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Making believers out of computersArtificial Intelligence, 1986
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- The Reference ClassPhilosophy of Science, 1983
- Some representational issues in default reasoningComputers & Mathematics with Applications, 1983
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980