1
by Bagchi, Tapan P., Chaudhri, Vinay K.
Published 1989
Springer Berlin Heidelberg
.... This book presents a comprehensive logic programming implementation of the relational design methodology...

2
by Wang, Wen-Feng, Chen, Xi, Yao, Tuozhong
Published 2022
Springer Nature Singapore
Subjects: ...Logic programming...

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... integrity constraints in object-oriented database schemas -- Evaluation of negative logic programs...

4
Published 1997
Springer US
Table of Contents: ... Logic Programming -- 15 Concept discovery by decision table decomposition and its application...

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming -- Modelling...

6
Published 1994
Springer US
Table of Contents: ...) for the Execution of Logic Programs --...

7
Published 1986
Springer Berlin Heidelberg
Table of Contents: ...Logic programming and parallel complexity -- The generalized counting method for recursive logic...

8
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... Programming -- 8. The Type System of Galileo -- 9. Integrating Data Type Inheritance into Logic Programming...

9
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... of Naïve Bayes in Continuous Domains -- Application of Inductive Logic Programming to Structure-Based Drug...

10
by Kovalerchuk, Boris, Vityaev, Evgenii
Published 2000
Springer US
..., also known as inductive logic programming (ILP), suffer from a relative computational inefficiency...

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... index data structures using constraint logic programming -- Problem solving in the DISCO constraint...

12
Published 1992
Springer Berlin Heidelberg
... implementationsand industrial systems - Non-relational data models - Logic programming and databases...

13
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic...

14
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... of recursive production rules execution -- On the monotonicity of (LDL) logic programs with set -- Semantic...

15
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... specification-based data model -- Data dictionary design: a logic programming approach -- Nesting quantification...

16
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... queries -- Maintaining dictionaries: Space-saving modifications of B-trees -- Set-term matching in logic...

17
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... and logic programming for databases: A season's flirt or long-term marriage? -- Semantics of object-oriented...

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...!: An evaluation procedure for all logic programs -- Beginnings of a theory of general database completions...

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

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