Reasoning about Evolving Nonmonotonic Knowledge Bases
- 20 November 2001
- book chapter
- Published by Springer Nature
- p. 407-421
- https://doi.org/10.1007/3-540-45653-8_28
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Complexity and expressive power of logic programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The computational complexity of agent design problemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On properties of update sequences based on causal rejectionTheory and Practice of Logic Programming, 2002
- 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
- Revision programmingTheoretical Computer Science, 1998
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Updating Logical DatabasesPublished by Cambridge University Press (CUP) ,1990
- Temporal and Modal LogicPublished by Elsevier ,1990