Update-programms can update programs
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 110-131
- https://doi.org/10.1007/bfb0023804
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Default negated conclusions: Why not?Published by Springer Nature ,1996
- Revision by communicationPublished by Springer Nature ,1995
- Update by means of inference rulesLecture Notes in Computer Science, 1995
- A logic programming system for nonmonotonic reasoningJournal of Automated Reasoning, 1995
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Updating knowledge bases IINew Generation Computing, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Updating knowledge basesNew Generation Computing, 1990
- Drawing updates from derivationsPublished by Springer Nature ,1990