LUPS — A Language for Updating Logic Programs

Publisher Website

1 January 1999

book chapter
Published by Springer Nature

p. 162-176
https://doi.org/10.1007/3-540-46767-x_12

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Update-programms can update programs
Published by Springer Nature ,1997
Update by means of inference rules
Lecture Notes in Computer Science, 1995
On the difference between updating a knowledge base and revising it
Published by Cambridge University Press (CUP) ,1992