0
0.0

Jan 8, 2020
01/20

by
International Conference on Logic Programming (21st : 2005 : Sitges, Spain)

texts

######
eye 0

######
favorite 0

######
comment 0

xiv, 454 p. : 24 cm

Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logisch programmeren,...

21
21

Dec 20, 2019
12/19

by
Doets, Kees

texts

######
eye 21

######
favorite 0

######
comment 0

xii, 214 pages : 24 cm

Topics: Programmation logique, Logic programming, Logique, Langages de programmation, Resolventenprinzip,...

Source: removedNEL

4
4.0

Jul 9, 2020
07/20

by
Burke, Edmund, Ph. D

texts

######
eye 4

######
favorite 0

######
comment 0

xviii, 310 pages : 24 cm

Topics: Logic programming, Logic, Symbolic and mathematical, Mathematische Logik, Logisch programmeren,...

12
12

Aug 11, 2020
08/20

by
Hein, James L

texts

######
eye 12

######
favorite 0

######
comment 0

xvi, 943 pages : 24 cm

Topics: Computer science -- Mathematics, Logisch programmeren, Automatische bewijsvoering, Berekenbaarheid,...

37
37

May 16, 2018
05/18

by
Lusk, Ewing, and Ross A. Overbeek, eds.

texts

######
eye 37

######
favorite 0

######
comment 0

The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines.Logic Programming: Proceedings of the, North American Conference 1989 is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, Logisch...

76
76

May 16, 2018
05/18

by
Lusk, Ewing, and Ross A. Overbeek, eds.

texts

######
eye 76

######
favorite 1

######
comment 0

The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines.Logic Programming: Proceedings of the, North American Conference 1989 is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, Logisch...

1
1.0

Aug 11, 2020
08/20

by
Marriott, Kim

texts

######
eye 1

######
favorite 1

######
comment 0

xiv, 467 pages : 26 cm

Topics: Logic programming, Constraint programming (Computer science), Programmation logique, Programmation...

4
4.0

Jun 4, 2018
06/18

by
ILP (Conference) (12th : 2002 : Sydney, N.S.W.)

texts

######
eye 4

######
favorite 0

######
comment 0

x, 349 pages : 24 cm

Topics: Logic programming -- Congresses, Logic programming, Logisch programmeren, Kunstmatige...

15
15

Jun 2, 2018
06/18

by
International Conference on Logic Programming (20th : 2004 Saint Malo, France)

texts

######
eye 15

######
favorite 0

######
comment 0

1 online resource (xii, 480 pages) :

Topics: Logic programming -- Congresses, COMPUTERS -- Programming -- Open Source, COMPUTERS -- Software...

48
48

Jul 5, 2017
07/17

by
Nerode, Anil, 1932-; Marek, Wiktor; Subrahmanian, V. S; Association for Logic Programming

texts

######
eye 48

######
favorite 3

######
comment 0

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of...

Topics: Logic programming, Nonmonotonic reasoning, Programmation logique, Raisonnement, Logic programming,...

49
49

Nov 3, 2017
11/17

by
Van Hentenryck, Pascal

texts

######
eye 49

######
favorite 1

######
comment 0

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques. Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient programs. Van Hentenryck's...

Topics: COMPUTERS / Computer Science, Logic programming, Constraint programming (Computer science),...

Folkscanomy: A Library of Books

150
150

Dec 30, 2015
12/15

by
ILP (Conference) (10th : 2000 : London, England); Cussens, James; Frisch, Alan

texts

######
eye 150

######
favorite 1

######
comment 0

Inductive Logic Programming: 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 Proceedings Author: James Cussens, Alan Frisch Published by Springer Berlin Heidelberg ISBN: 978-3-540-67795-6 DOI: 10.1007/3-540-44960-4 Table of Contents: ILP: Just Do It A New Algorithm for Learning Range Restricted Horn Expressions A Refinement Operator for Description Logics Executing Query Packs in ILP A Logical Database Mining Query Language Induction of Recursive Theories in the Normal...

Topics: Logic programming, induction, programmation en logique, Programmation logique, Logic programming,...

Folkscanomy: A Library of Books

337
337

Dec 30, 2015
12/15

by
International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus); Codognet, Philippe

texts

######
eye 337

######
favorite 2

######
comment 0

Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings Author: Philippe Codognet Published by Springer Berlin Heidelberg ISBN: 978-3-540-42935-7 DOI: 10.1007/3-540-45635-X Table of Contents: Solving the Multiplication Constraint in Several Approximation Spaces Is Logic Really Dead or Only Just Sleeping? Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations X-tegration — Some...

Topics: Logic programming, logique linéaire, logique mathématique, sémantique programme,...

11
11

texts

######
eye 11

######
favorite 0

######
comment 0

vii, 494 pages : 23 cm

Topics: Logic programming -- Congresses, Nonmonotonic reasoning -- Congresses, Logic programming,...

Source: removedNEL

3
3.0

Jun 29, 2020
06/20

by
Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy)

texts

######
eye 3

######
favorite 0

######
comment 0

iv, 218 pages : 25 cm

Topics: Functional programming (Computer science) -- Congresses, Logic, Symbolic and mathematical --...