3
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge...

4
Published 2008
Springer Berlin Heidelberg
... 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised...