Suggested Topics within your search.
Suggested Topics within your search.
- Logic programming
- Artificial intelligence 46
- Constraint programming (Computer science) 34
- Programming languages (Electronic computers) 24
- Computer logic 23
- Logic, Symbolic and mathematical 23
- Prolog (Computer program language) 23
- Functional programming (Computer science) 22
- Automatic theorem proving 20
- Machine learning 20
- Induction (Logic) 17
- Nonmonotonic reasoning 16
- Rule-based programming 15
- Semantic Web 12
- Computer software 11
- Deductive databases 11
- Development 11
- Computer programming 10
- Semantics 9
- Software engineering 9
- Database management 8
- Declarative programming 8
- Data structures (Computer science) 7
- Expert systems (Computer science) 7
- Relational databases 7
- Parallel programming (Computer science) 6
- Data processing 5
- Knowledge management 5
- Logic 5
- Natural language processing (Computer science) 5
-
1
-
2
A guide to programming logic and design : comprehensive /
Published 1999Subjects: Full Text (via Internet Archive)
eBook -
3
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings /
Published 1999Subjects: “…Logic programming.…”
Full Text (via Springer)
Conference Proceeding eBook -
4
Algebraic and logic programming third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /
Published 1992Subjects: “…Logic programming Congresses.…”
Full Text (via Springer)
Electronic eBook -
5
Handbook of logic in artificial intelligence and logic programming /
Published 1993Subjects: Full Text (via Internet Archive)
eBook -
6
-
7
From logic to logic programming /
Published 1994Subjects: “…Logic programming.…”
Full Text (via Internet Archive)
eBook -
8
Foundations of disjunctive logic programming /
Published 1992Subjects: “…Logic programming.…”
Full Text (via Internet Archive)
eBook -
9
Foundations of Equational Logic Programming.
Published 2007Subjects: “…Logic programming.…”
Full Text (via Springer)
eBook -
10
Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
Published 2002Subjects: “…Logic programming.…”
Full Text (via Springer)
Conference Proceeding eBook -
11
Game development with Ren'Py : introduction to visual novel games using Ren'Py, TyranoBuilder, and twine /
Published 2019Subjects: “…Logic programming.…”
Full Text (via O'Reilly/Safari)
eBook -
12
The Clausal Theory of Types /
Published 1993Subjects: “…Logic programming.…”
Full Text (via Cambridge)
Electronic eBook -
13
Implementations of Logic Programming Systems /
Published 1994Subjects: “…Logic programming.…”
Full Text (via Springer)
eBook -
14
Foundations of inductive logic programming /
Published 1997Subjects: “…Logic programming.…”
Full Text (via Springer)
eBook -
15
Algebraic and logic programming second international conference, Nancy, France, October 1-3, 1990 : proceedings /
Published 1990Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
Inductive logic programming 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers /
Published 2008Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
17
Inductive logic programming 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : revised selected papers /
Published 2008Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
18
Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
Published 2011Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
19
Algebraic and logic programming third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /
Published 1992Subjects: Full Text (via Springer)
Electronic eBook -
20
Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Published 2023Subjects: “…Logic programming Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook