Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in temporal logic -- An overview of temporal and modal logic programming -- A survey of concurrent MetateM...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast...”