Causes for events: Their computation and applications
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A logical reconstruction of Prolog IIThe Journal of Logic Programming, 1984
- A complete, nonredundant algorithm for reversed SkolemizationTheoretical Computer Science, 1983
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980