31
31
May 16, 2018
05/18
by
Miller, Dale, ed.
texts
eye 31
favorite 0
comment 0
The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.
Topics: Logic programming -- Congresses, Logic programming, Kongreß, Logische Programmierung, Logic...
4
4.0
Nov 3, 2017
11/17
by
Lassez, Jean-Louis; International Conference on Logic Programming (4th : 1987 : University of Melbourne)
texts
eye 4
favorite 0
comment 0
Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987
Topics: Logic programming, Programmation logique, Logic programming
0
0.0
Oct 9, 2020
10/20
by
Jacquet, J.-M. (Jean-Marie)
texts
eye 0
favorite 0
comment 0
xii, 781 p. : 24 cm
Topic: Logic programming
0
0.0
Oct 5, 2020
10/20
by
Jacquet, J.-M. (Jean-Marie)
texts
eye 0
favorite 0
comment 0
xii, 781 p. : 24 cm
Topic: Logic programming
Folkscanomy: A Library of Books
264
264
Dec 30, 2015
12/15
by
International Workshop on Logic-Based Program Synthesis and Transformation (8th : 1998 : Manchester, England); Flener, Pierre, 1964-
texts
eye 264
favorite 0
comment 0
Author: Published by ISBN: DOI: Table of Contents:
Topic: Logic programming
Folkscanomy: A Library of Books
247
247
Dec 30, 2015
12/15
by
ILP (Conference) (11th : 2001 : Strasbourg, France); Rouveirol, Céline; Sebag, Michèle
texts
eye 247
favorite 0
comment 0
Inductive Logic Programming: 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings Author: Céline Rouveirol, Michéle Sebag Published by Springer Berlin Heidelberg ISBN: 978-3-540-42538-0 DOI: 10.1007/3-540-44797-0 Table of Contents: A Refinement Operator for Theories Learning Logic Programs with Neural Networks A Genetic Algorithm for Propositionalization Classifying Uncovered Examples by Rule Stretching Relational Learning Using Constrained...
Topic: Logic programming
Folkscanomy: A Library of Books
255
255
Dec 29, 2015
12/15
by
International Conference on Logic Programming (20th : 2004 Saint Malo, France); Demoen, Bart; Lifschitz, Vladimir
texts
eye 255
favorite 0
comment 0
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings Author: Bart Demoen, Vladimir Lifschitz Published by Springer Berlin Heidelberg ISBN: 978-3-540-22671-0 DOI: 10.1007/b99475 Table of Contents: Termination by Abstraction Answer Set Programming and the Design of Deliberative Agents Abstract Domains Based on Regular Types Termination of Logic Programs Using Various Dynamic Selection Rules Improving Prolog Programs: Refactoring for...
Topic: Logic programming
90
90
texts
eye 90
favorite 2
comment 0
xvii, 366 p. : 24 cm. --
Topic: Logic programming
85
85
Apr 27, 2012
04/12
by
Hogger, Christopher John
texts
eye 85
favorite 2
comment 0
Bibliography: p. [262]-272
Topic: Logic programming
0
0.0
texts
eye 0
favorite 0
comment 0
179 pages : 25 cm
Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, CONFERENCE...
44
44
May 16, 2018
05/18
by
Saraswat, Vijay A., and Kazunori Ueda, eds.
texts
eye 44
favorite 0
comment 0
Previously called The North American Conference, the 1991 International Symposium complements the International Conference on Logic Programming held annually in June. Both are sponsored by the Association for Logic Programming.
Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, Kongreß,...
82
82
Oct 16, 2014
10/14
by
Farrell, Joyce; Meadors, Todd; Course Technology, Inc
texts
eye 82
favorite 4
comment 0
Topics: Logic programming, Logic design, Logic design, Logic programming
11
11
Jun 27, 2018
06/18
by
WFLP 2009 (2009 : Brasília, Distrito Federal, Brazil)
texts
eye 11
favorite 0
comment 0
1 online resource (vi, 178 pages) :
Topics: Logic programming -- Congresses, Informatique, Logic programming, Logic, Software
1
1.0
texts
eye 1
favorite 0
comment 0
viii, 364 p. ; 24 cm
Topic: Logic programming -- Congresses
1
1.0
Jan 5, 2020
01/20
by
ELP '92 (1992 : Bologna, Italy)
texts
eye 1
favorite 0
comment 0
viii, 417 p. : 24 cm
Topic: Logic programming -- Congresses
1
1.0
Oct 23, 2020
10/20
by
LOPSTR 2004 (2004 : Verona, Italy)
texts
eye 1
favorite 0
comment 0
viii, 277 p. : 24 cm
Topic: Logic programming -- Congresses
29
29
May 16, 2018
05/18
by
Debray, Saumya, and Manuel Hermenegildo, eds.
texts
eye 29
favorite 0
comment 0
OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.
Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, Programming
Folkscanomy: A Library of Books
320
320
Dec 30, 2015
12/15
by
ILP (Conference) (9th : 1999 : Bled, Slovenia); Džeroski, Sašo, 1968-; Flach, Peter A
texts
eye 320
favorite 0
comment 0
Inductive Logic Programming: 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings Author: Sašo Džeroski, Peter Flach Published by Springer Berlin Heidelberg ISBN: 978-3-540-66109-2 DOI: 10.1007/3-540-48751-4 Table of Contents: Probabilistic Relational Models Inductive Databases Some Elements of Machine Learning Refinement Operators Can Be (Weakly) Perfect Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction Refining...
Topics: Logic programming, Induction (Logic)
Folkscanomy: A Library of Books
113
113
Dec 29, 2015
12/15
by
LPNMR 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Niemelä, Ilkka, 1961-
texts
eye 113
favorite 0
comment 0
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings Author: Vladimir Lifschitz, Ilkka Niemelä Published by Springer Berlin Heidelberg ISBN: 978-3-540-20721-4 DOI: 10.1007/b94792 Table of Contents: Constraints and Probabilistic Networks: A Look At The Interface Toward A Universal Inference Engine Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative Semantics for Dynamic Logic...
Topics: Logic programming, Nonmonotonic reasoning
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development Author: Maurice Bruynooghe, Kung-Kiu La Published by Springer Berlin Heidelberg ISBN: 978-3-540-22152-4 DOI: 10.1007/b98187 Table of Contents: Specifying Compositional Units for Correct Program Development in Computational Logic Synthesis of Programs in Computational Logic Developing Logic Programs from Specifications Using Stepwise Refinement Declarative Semantics of Input Consuming...
Topics: Logic programming, Computer logic
36
36
Feb 21, 2020
02/20
by
Farrell, Joyce
texts
eye 36
favorite 3
comment 0
xiv, 434, [35] pages : 24 cm
Topics: Logic programming, Logic design
Source: removedNEL
31
31
May 21, 2012
05/12
by
Apt, Krzysztof R., 1949-; Minker, Jack
texts
eye 31
favorite 0
comment 0
Includes bibliographies and indexes
Topics: Deductive databases, Logic programming
0
0.0
Jun 22, 2020
06/20
by
Plümer, Lutz
texts
eye 0
favorite 0
comment 0
viii, 142 p. : 25 cm
Topics: Logic programming, Artificial intelligence
Folkscanomy: A Library of Books
294
294
Dec 30, 2015
12/15
by
LPNMR 2001 (2001 : Vienna, Austria); Eiter, Thomas, 1966-; Faber, Wolfgang, 1974-; Truszczyński, Mirosław
texts
eye 294
favorite 0
comment 0
Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings Author: Thomas Eiter, Wolfgang Faber, Miros law Truszczyński Published by Springer Berlin Heidelberg ISBN: 978-3-540-42593-9 DOI: 10.1007/3-540-45402-0 Table of Contents: A Computational Logic Approach to Heterogenous Agent Systems Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto On The Complexity of Model Checking and...
Topics: Logic programming, Nonmonotonic reasoning
3
3.0
Oct 28, 2020
10/20
by
Trilling, Lionel, 1905-1975, compiler
texts
eye 3
favorite 1
comment 0
xxiv, 1320 pages 26 cm
Topics: Literature -- Collections, Literature, Logic programming
Folkscanomy: A Library of Books
462
462
Dec 30, 2015
12/15
by
LPAR 2000 (2000 : Réunion); Parigot, Michel, 1956-; Voronkov, A. (Andreĭ), 1959-
texts
eye 462
favorite 1
comment 0
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings Author: Michel Parigot, Andrei Voronkov Published by Springer Berlin Heidelberg ISBN: 978-3-540-41285-4 DOI: 10.1007/3-540-44404-1 Table of Contents: On the Complexity of Theory Curbing Graph Operations and Monadic Second-Order Logic: A Survey Efficient First Order Functional Program Interpreter with Time Bound Certifications Encoding Temporal Logics...
Topics: Logic programming, Automatic theorem proving
Topics: Radio Program, Reasoning, Logic programming
Folkscanomy: A Library of Books
305
305
Dec 30, 2015
12/15
by
LPAR '99 (1999 : Tʻbilisi, Georgia); Ganzinger, H. (Harald), 1950-; McAllester, David A; Voronkov, A. (Andreĭ), 1959-
texts
eye 305
favorite 0
comment 0
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings Author: Harald Ganzinger, David McAllester, Andrei Voronkov Published by Springer Berlin Heidelberg ISBN: 978-3-540-66492-5 DOI: 10.1007/3-540-48242-3 Table of Contents: Proofs About Lists Using Ellipsis On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System Solving Combinatorial Problems with Regular Local Search Algorithms Evidence...
Topics: Logic programming, Automatic theorem proving
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...
7
7.0
Jul 26, 2018
07/18
by
LOPSTR (Symposium) (19th : 2009 : Coimbra, Portugal)
texts
eye 7
favorite 0
comment 0
1 online resource (x, 204 pages) :
Topics: Logic programming -- Congresses, Informatique, Logic programming, Programmierlogik, Beweistheorie,...
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...
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,...
Folkscanomy: A Library of Books
271
271
Dec 30, 2015
12/15
by
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyū Gakuen Toshi, Japan); Middeldorp, Aart, 1963-; Satō, Taisuke
texts
eye 271
favorite 0
comment 0
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings Author: Aart Middeldorp, Taisuke Sato Published by Springer Berlin Heidelberg ISBN: 978-3-540-66677-6 DOI: 10.1007/10705424 Table of Contents: Semantics and Types in Functional Logic Programming Polytypic Programming With Ease Type Inference for Overloading without Restrictions, Declarations or Annotations Partial Evaluation and Non-interference for Object Calculi Lazy...
Topics: Functional programming (Computer science), Logic programming
51
51
Feb 28, 2019
02/19
by
Maier, David, 1953-
texts
eye 51
favorite 0
comment 0
xxi, 535 p. : 24 cm
Topics: Logic programming, Prolog (Computer program language)
Folkscanomy: A Library of Books
365
365
Dec 30, 2015
12/15
by
Fuji International Symposium on Functional and Logic Programming (5th : 2001 : Tokyo, Japan); Kuchen, Herbert, 1958-; Ueda, Kazunori
texts
eye 365
favorite 0
comment 0
Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings Author: Herbert Kuchen, Kazunori Ueda Published by Springer Berlin Heidelberg ISBN: 978-3-540-41739-2 DOI: 10.1007/3-540-44716-4 Table of Contents: The Metalanguage λprolog and Its Implementation A Scalable Architecture for Proof-Carrying Code Parameterized Logic Programs where Computing Meets Learning Proving Syntactic Properties of Exceptions in an Ordered Logical Framework A...
Topics: Functional programming (Computer science), Logic programming
2
2.0
Dec 18, 2020
12/20
by
Baldwin, J. F. (James Frederick), 1938-
texts
eye 2
favorite 0
comment 0
xvii, 388 p. : 26 cm. +
Topics: Logic programming, Fuzzy systems, Artificial intelligence
29
29
Mar 1, 2019
03/19
by
Gibbins, Peter
texts
eye 29
favorite 1
comment 0
xiv, 321 p. : 23 cm. --
Topics: Logic programming, Prolog (Computer program language)
20
20
Aug 12, 2019
08/19
by
Schöning, Uwe, 1955-
texts
eye 20
favorite 3
comment 0
166 p. : 24 cm
Topics: Logic programming, Logic, Symbolic and mathematical
13
13
texts
eye 13
favorite 0
comment 0
x, 318 p. : 24 cm
Topics: Logic programming, Programming languages (Electronic computers)
26
26
May 21, 2012
05/12
by
International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver, B.C.); Dahl, Veronica, 1950-; Saint-Dizier, Patrick, 1954-
texts
eye 26
favorite 0
comment 0
Includes bibliographies
Topics: Programming languages (Electronic computers), Logic programming
7
7.0
Nov 5, 2017
11/17
by
Kowalski, Robert; Bowen, Kenneth A; Association for Logic Programming; IEEE Computer Society; International Conference on Logic Programming (5th : 1988 : University of Washington, Seattle); Symposium on Logic Programming (5th : 1988 : University of Washington, Seattle)
texts
eye 7
favorite 0
comment 0
Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming, sponsored by the Association for Logic Programming and the Computer Society of IEEE, held Aug. 15-19, 1988 at the University of Washington, Seattle
Topics: COMPUTERS / Computer Science, Logic programming, Programmation logique
35
35
Jun 20, 2019
06/19
by
Xerox PARC
movies
eye 35
favorite 0
comment 0
Xerox PARC (Palo Alto Research Center) Parallel Logic Programming Ehud Shapiro Nov 25, 1986 Reel 2 of 2
Topics: parellel logic programming, Ehud Shapiro, Xerox PARC
Folkscanomy: A Library of Books
381
381
Dec 30, 2015
12/15
by
LPAR 2001 (2001 : Havana, Cuba); Nieuwenhuis, Robert; Voronkov, A. (Andreĭ), 1959-
texts
eye 381
favorite 0
comment 0
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings Author: Robert Nieuwenhuis, Andrei Voronkov Published by Springer Berlin Heidelberg ISBN: 978-3-540-42957-9 DOI: 10.1007/3-540-45653-8 Table of Contents: Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. On Bounded Specifications Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy Local...
Topics: Logic programming, Artificial intelligence, Automatic theorem proving
0
0.0
Oct 5, 2020
10/20
by
LPAR '94 (1994 : Kiev, Ukraine)
texts
eye 0
favorite 0
comment 0
x, 344 p. ; 24 cm
Topics: Logic programming -- Congresses, Automatic theorem proving -- Congresses
55
55
Jun 20, 2019
06/19
by
Xerox PARC
movies
eye 55
favorite 0
comment 0
Xerox PARC (Palo Alto Research Center) Parallel Logic Programming Ehud Shapiro Nov 25, 1986 Reel 1 of 2
Topics: parellel logic programming, Ehud Shapiro, Xerox PARC
7
7.0
Aug 3, 2020
08/20
by
Lloyd, J. W. (John Wylie), 1947-
texts
eye 7
favorite 0
comment 0
x, 124 p. ; 25 cm
Topics: Logic programming, Programming languages (Electronic computers) -- Semantics
Folkscanomy: A Library of Books
206
206
Dec 29, 2015
12/15
by
ILP 2004 (2004 : Porto, Portugal); Camacho, Rui; King, Ross (Ross Donald); Srinivasan, Ashwin
texts
eye 206
favorite 0
comment 0
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings Author: Rui Camacho, Ross King, Ashwin Srinivasan Published by Springer Berlin Heidelberg ISBN: 978-3-540-22941-4 DOI: 10.1007/b10011 Table of Contents: Automated Synthesis of Data Analysis Programs: Learning in Logic At the Interface of Inductive Logic Programming and Statistics From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery Systems Biology:...
Topics: Logic programming, Automatic hypothesis formation, Logique inductive, Programmation logique,...
2
2.0
Oct 25, 2020
10/20
by
LPAR '94 (1994 : Kiev, Ukraine)
texts
eye 2
favorite 0
comment 0
x, 344 p. ; 24 cm
Topics: Logic programming -- Congresses, Automatic theorem proving -- Congresses
16
16
Dec 20, 2019
12/19
by
Lloyd, J. W. (John Wylie), 1947-
texts
eye 16
favorite 2
comment 0
xii, 212 p. : 25 cm
Topics: Logic programming, Programming languages (Electronic computers) -- Semantics
3
3.0
texts
eye 3
favorite 0
comment 0
ix, 311 pages : 25 cm
Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, Kongress,...
