Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of logic programs with external procedures -- An application of abstract interpretation in source level...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... by algorithmic debugging and program slicing -- A constraint logic programming shell -- Modifying the simplex...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation...”