Suggested Topics within your search.
Suggested Topics within your search.
Logic programming
72
Congresses
52
Artificial intelligence
11
Programming languages (Electronic computers)
11
Prolog (Computer program language)
7
Logic, Symbolic and mathematical
6
Algebraic logic
5
Automatic theorem proving
4
Semantics
4
Computer algorithms
3
Expert systems (Computer science)
3
Parallel programming (Computer science)
3
Reasoning
3
Data processing
2
Data structures (Computer science)
2
Knowledge representation (Information theory)
2
Logic
2
Nonclassical mathematical logic
2
Nonmonotonic reasoning
2
Abstract data types (Computer science)
1
Adaptive control
1
Adaptive control systems
1
Biometry
1
COMMON LISP (Computer program language)
1
Code generators
1
Computational complexity
1
Computer programming
1
Computer science
1
Constraint programming (Computer science)
1
Database design
1
-
81
-
82Bookby Ross, Peter (Peter Malcolm), 1950-“…International series in logic programming…”
Published 1989
-
83BookPublished 1987“…MIT Press series in logic programming…”
-
84Conference Proceeding BookPublished 1992
-
85BookPublished 1982Table of Contents: “… deductive logic / J.A. Robinson -- An introduction to logic programming / K.L. Clark -- Chess endgame advice…”
-
86
-
87Bookby Finkel, Raphael A.Table of Contents: “…. Logic Programming -- Ch. 9. Aggregates -- Ch. 10. Formal Syntax and Semantics -- Appendix: Languages…”
Published 1996
-
88Bookby Gillies, Donald, 1944-Table of Contents: “… Tradition -- 3. How Advances in Machine Learning Affect the Inductivist Controversy -- 4. Logic Programming…”
Published 1996
Publisher description
Table of contents only
Contributor biographical information
-
89Conference Proceeding BookPublished 1992Table of Contents: “… --Introducing Constraint Functional Logic Programming /John Darlington, Yike Guo and Helen Pull -- How to Use…”
-
90Bookby Koschmann, Timothy D.Table of Contents: “…--Structuring Code. -- Programmation Etlogique--Logic Programming. -- Epilogue--Common Lisp: A Reappraisal…”
Published 1990
Table of Contents
Publisher description
-
91Conference Proceeding BookPublished 1992Table of Contents: “…, J. J. Alferes and J. N. Aparicio -- Computing Answers for Disjunctive Logic Programs / U. Furbach…”
-
92Conference Proceeding BookPublished 1994Table of Contents: “…Relational machine learning and the inductive synthesis of logic programs / F. Bergadano and D…”
-
93BookPublished 1994Table of Contents: “… Semantics with Explicit Negation / Luis Moniz Pereira, Jose J. Alferes and Joaquim N. Aparicio -- Logic…”
-
94Bookby Nait Abdallah, Areski, 1950-Table of Contents: “… Information Ionic Logic Programming -- 19. Syntactic and Semantic Paths; Application to Defeasible Inheritance…”
Published 1995
-
95Conference Proceeding BookPublished 1992Table of Contents: “…From Programs to Object Code using Logic and Logic Programming / Jonathan Bowen. An Approach…”
-
96BookPublished 1992Table of Contents: “… of parallel logic languages. Comparative semantics for flow of control in logic programming without logic…”
-
97BookPublished 1994Table of Contents: “… Nested Default Conditionals / Emil Weydert -- Revision by Expansion in Logic Programs / Cees Witteveen…”
-
98Conference Proceeding BookPublished 1993Table of Contents: “… Logic Programs / K. Ito and A. Yamamoto -- Iterative Weighted Least Squares Algorithms for Neural…”
-
99Conference Proceeding BookPublished 1994Table of Contents: “…. Engelfriet -- Type Preorders / F. Alessi -- Compilative Constructive Negation in Constraint Logic Programs…”