Modeling simultaneous events with default reasoning and tight derivations
- 1 January 1990
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 8 (1-2), 41-52
- https://doi.org/10.1016/0743-1066(90)90050-f
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- PYTHON: An expert squeezerThe Journal of Logic Programming, 1990
- Negation as failure using tight derivations for general logic programsThe Journal of Logic Programming, 1989
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980