Formalizing nonmonotonic reasoning systems
- 31 January 1987
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 31 (1), 41-85
- https://doi.org/10.1016/0004-3702(87)90081-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Building expert systemsArtificial Intelligence, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- Extended inference modes in reasoning by computer systemsArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Extending the expressive power of semantic networksArtificial Intelligence, 1976