1
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...1 Logic Programming and Databases: An Overview -- 1.1 Logic Programming as Query Language -- 1.2...

2
Published 2022
Springer International Publishing
Table of Contents: ... Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches...

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... systems -- Committed-choice concurrent logic programming in linear logic...

4
Published 1999
Springer Berlin Heidelberg
Table of Contents: ..., Temporal Logic Databases -- Revision Programming = Logic Programming + Integrity Constraints -- Quantifiers...

5
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...On the power of stratified logic programs with value invention for expressing database...

6
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... -- Query by visual example -- Optimization of linear logic programs using counting methods -- Generalized...