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
-
21Conference Proceeding BookPublished 1994Subjects: “…Logic programming Congresses.…”
-
22Conference Proceeding BookPublished 1993Subjects: “…Logic programming Congresses.…”
-
23BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
24Conference Proceeding BookPublished 1987Subjects: “…Logic programming Congresses.…”
-
25Conference Proceeding BookPublished 1988Subjects: “…Logic programming Congresses.…”
-
26Conference Proceeding BookPublished 1991Subjects: “…Logic programming (Computer science) Congresses.…”
-
27Conference Proceeding BookPublished 1994Table of Contents: “… Moniz Pereira -- Birkhoff's HSP-Theorem for Cumulative Logic Programs / Beatrice Amrhein -- Finite…”
-
28Conference Proceeding BookPublished 1990Subjects: “…Logic programming Congresses.…”
-
29BookPublished 1988Subjects: “…Logic programming Congresses.…”
-
30Conference Proceeding BookPublished 1989Subjects: “…Logic programming Congresses.…”
-
31BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
32
-
33
-
34
-
35Conference Proceeding BookPublished 1989Subjects: “…Logic programming Congresses.…”
-
36Conference Proceeding BookPublished 1996Table of Contents: “…Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs / Kung-Kiu Lau…”
-
37Conference Proceeding BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
38BookPublished 1995Table of Contents: “… Composition: Semantics Issues / A. Brogi and F. Turini -- 5. Comparing Negation in Logic Programming…”
-
39Bookby Metakides, George, 1945-Table of Contents: “…Ch. I. Propositional Logic -- Ch. II. Predicate Logic -- Ch. III. Logic Programming: The PROLOG…”
Published 1996
-
40Conference Proceeding BookPublished 1991Subjects: “…Logic programming Congresses.…”