LUPS—A language for updating logic programs
- 30 June 2002
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 138 (1-2) , 87-116
- https://doi.org/10.1016/s0004-3702(02)00183-2
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Disjunctive logic programs with inheritanceTheory 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
- Negation as failure in the headThe Journal of Logic Programming, 1998
- Update-programms can update programsPublished by Springer Nature ,1997
- Default negated conclusions: Why not?Published by Springer Nature ,1996
- Formal characterization of active databasesPublished by Springer Nature ,1996
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- On the difference between updating a knowledge base and revising itPublished by Cambridge University Press (CUP) ,1992
- Legislation as logic programsPublished by Springer Nature ,1992