A Modified Semantics for LUPS
- 1 January 2001
- book chapter
- Published by Springer Nature
- p. 261-275
- https://doi.org/10.1007/3-540-45329-6_27
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Reasoning about Evolving Nonmonotonic Knowledge BasesPublished by Springer Nature ,2001
- Dynamic updates of non-monotonic knowledge basesThe Journal of Logic Programming, 2000
- Considerations on Updates of Logic ProgramsPublished by Springer Nature ,2000
- LUPS — A Language for Updating Logic ProgramsPublished by Springer Nature ,1999
- Updating Extended Logic Programs through AbductionPublished by Springer Nature ,1999
- Negation as failure in the headThe Journal of Logic Programming, 1998
- Update by means of inference rulesThe Journal of Logic Programming, 1997
- On the difference between updating a knowledge base and revising itPublished by Cambridge University Press (CUP) ,1992