Folkscanomy: A Library of Books
379
379
Dec 29, 2015
12/15
by
LOPSTR 2003 (2003 : Uppsala, Sweden); Bruynooghe, M. (Maurice)
texts
eye 379
favorite 0
comment 0
Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Author: Maurice Bruynooghe Published by Springer Berlin Heidelberg ISBN: 978-3-540-22174-6 DOI: 10.1007/b98080 Table of Contents: Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures Correct OO Systems in Computational Logic...
Topics: Logic programming, Programmation logique, Computational logic, Logische Programmierung,...
4
4.0
Nov 5, 2017
11/17
by
Bruynooghe, M. (Maurice); Association for Logic Programming; International Symposium on Logic Programming (1994 : Santa Margherita Ligure)
texts
eye 4
favorite 0
comment 0
November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and...
Topics: COMPUTERS / Computer Science, Logic programming, Kongress, Logische Programmierung
9
9.0
Nov 12, 2019
11/19
by
Harrison, Frank R., 1935-
texts
eye 9
favorite 1
comment 0
x, 534 pages 25 cm
Topics: Logique, Logic, Deduktives Datenbanksystem, Logische Programmierung, Einführung, Einfuhrung
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...
Folkscanomy: A Library of Books
367
367
Dec 29, 2015
12/15
by
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary); Apt, Krzysztof R., 1949-; European Research Consortium for Informatics and Mathematics; CoLogNET
texts
eye 367
favorite 1
comment 0
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers Author: Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza Published by Springer Berlin Heidelberg ISBN: 978-3-540-21834-0 DOI: 10.1007/b96986 Table of Contents: A Comparative Study of Arithmetic Constraints on Integer Intervals Clustering for Disconnected Solution...
Topics: Constraint programming (Computer science), Logic programming, Programmation par contraintes,...
Folkscanomy: A Library of Books
207
207
Dec 29, 2015
12/15
by
ILP 2004 (2004 : Porto, Portugal); Camacho, Rui; King, Ross (Ross Donald); Srinivasan, Ashwin
texts
eye 207
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,...
Folkscanomy: A Library of Books
309
309
Dec 30, 2015
12/15
by
Baaz, Matthias; Makowsky, Johann A., 1948-; European Association for Computer Science Logic. Conference (12th : 2003 : Vienna University of Technology); Kurt Gödel Colloquium (8th : 2003 : Vienna University of Technology)
texts
eye 309
favorite 0
comment 0
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings Author: Matthias Baaz, Johann A. Makowsky Published by Springer Berlin Heidelberg ISBN: 978-3-540-40801-7 DOI: 10.1007/b13224 Table of Contents: Deciding Monotonic Games The Commuting V-Diagram Concurrent Construction of Proof-Nets Back to the Future: Explicit Logic for Computer Science Constraint Satisfaction...
Topics: Computer logic, Fundamentele informatica, Logica, Logique (Informatique), Programmeertalen, Logique...
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,...
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ß,...
56
56
May 16, 2018
05/18
by
Lobo, Jorge
texts
eye 56
favorite 1
comment 0
This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive logic programming. Disjunctive logic programming permits the description of indefinite or incomplete information through a disjunction of atoms in the head of a clause. The authors describe model theoretic semantics, proof theoretic semantics, and fix point semantics for disjunctive and normal...
Topics: Logic programming, Logic programming, Adjunktion Logik, Logische Programmierung, Programmation...
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
Folkscanomy: A Library of Books
413
413
Dec 30, 2015
12/15
by
Stuckey, Peter J; Kameyama, Yukiyoshi; Fuji International Symposium on Functional and Logic Programming
texts
eye 413
favorite 1
comment 0
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings Author: Yukiyoshi Kameyama, Peter J. Stuckey Published by Springer Berlin Heidelberg ISBN: 978-3-540-21402-1 DOI: 10.1007/b96926 Table of Contents: A Brief Survey of Quantum Programming Languages Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework Online...
Topics: Functional programming (Computer science), Logic programming, Programmation fonctionnelle,...
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...
46
46
Oct 25, 2018
10/18
by
Schagrin, Morton L
texts
eye 46
favorite 1
comment 0
xviii, 347 pages : 24 cm
Topics: Logic -- Data processing, Algorithms, Computer programming, Algorithms, Computer programming, Logic...
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,...
Folkscanomy: A Library of Books
314
314
Dec 29, 2015
12/15
by
European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland); Marcinkowski, Jerzy, 1965-; Tarlecki, Andrzej
texts
eye 314
favorite 0
comment 0
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings Author: Jerzy Marcinkowski, Andrzej Tarlecki Published by Springer Berlin Heidelberg ISBN: 978-3-540-23024-3 DOI: 10.1007/b100120 Table of Contents: Notions of Average-Case Complexity for Random 3-SAT Abstract Interpretation of Proofs: Classical Propositional Calculus Applications of Craig Interpolation to Model Checking Bindings, Mobility of...
Topics: Computer logic, Logica, Logique (Informatique), Programmeertalen, Logique informatique, Computer...
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...
Folkscanomy: A Library of Books
283
283
Dec 30, 2015
12/15
by
International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium); Fuchs, N. E. (Norbert E.)
texts
eye 283
favorite 0
comment 0
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings Author: Norbert E. Fuchs Published by Springer Berlin Heidelberg ISBN: 978-3-540-65074-4 DOI: 10.1007/3-540-49674-2 Table of Contents: A Multi-level Approach to Program Synthesis Programs Without Failures Generalised Logic Program Transformation Schemas Logic Program Schemas, Constraints, and Semi-unification Implicit Program Synthesis by a Reversible...
Topics: Logic programming, logique inductive, métaprogrammation, analyse programme, transformation...
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),...
2
2.0
texts
eye 2
favorite 0
comment 0
278 pages : 25 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Programmation logique -- Congrès,...
Folkscanomy: A Library of Books
536
536
Dec 30, 2015
12/15
by
European Workshop JELIA'98 (1998 : Dagstuhl, Germany); Dix, J. (Jürgen), 1961-; Fariñas del Cerro, Luis; Furbach, Ulrich
texts
eye 536
favorite 2
comment 0
Logics in Artificial Intelligence: European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings Author: Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach Published by Springer Berlin Heidelberg ISBN: 978-3-540-65141-3 DOI: 10.1007/3-540-49545-2 Table of Contents: The Well-Founded Semantics Is the Principle of Inductive Definition Combining Introspection and Communication with Rationality and Reactivity in Agents Disjunctive Logic Program = Horn Program + Control...
Topics: Artificial intelligence, Logic, Symbolic and mathematical, logique temporelle, représentation...
Folkscanomy: A Library of Books
453
453
Dec 29, 2015
12/15
by
JELIA (Conference) (9th : 2004 : Lisbon, Portugal); Alferes, José Júlio; Leite, João Alexandre
texts
eye 453
favorite 0
comment 0
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings Author: Jóse Júlio Alferes, João Leite Published by Springer Berlin Heidelberg ISBN: 978-3-540-23242-1 DOI: 10.1007/b100483 Table of Contents: Representing and Reasoning with Preferences Engineering of Logics for the Content-Based Representation of Information Formal Methods in Robotics Games for Cognitive Agents Knowledge-Theoretic Properties of Strategic Voting The...
Topics: Artificial intelligence, Logic, Symbolic and mathematical, Intelligence artificielle, Logique...
1
1.0
texts
eye 1
favorite 0
comment 0
vii, 386 pages : 25 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Programmation logique -- Congrès,...
4
4.0
texts
eye 4
favorite 0
comment 0
x, 286 pages : 24 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Algebraic logic, Logic programming,...
Folkscanomy: A Library of Books
338
338
Dec 30, 2015
12/15
by
International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus); Codognet, Philippe
texts
eye 338
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,...
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 --...
61
61
May 16, 2018
05/18
by
Tick, Evan, 1959-
texts
eye 61
favorite 7
comment 0
Highly parallel machines have been available for many years but, because advances in hardware have always outpaced progress in software development, designers and users of these machines have yet to realize their full potential. Until recently there have been few, if any, high-class parallel programming languages that could be implemented on the wide variety of parallel processing systems in use. This book helps to redress the balance by teaching programming techniques as well as performance...
Topics: Parallel logic programming, Programmation parallèle (Informatique), Programmation logique,...
17
17
Sep 21, 2018
09/18
by
European Workshop JELIA'98 (1998 : Dagstuhl, Germany)
texts
eye 17
favorite 2
comment 0
x, 390 pages : 24 cm
Topics: Artificial intelligence -- Congresses, Logic, Symbolic and mathematical -- Congresses, Intelligence...
14
14
Dec 29, 2019
12/19
by
Workshop on Computer Science Logic (19th : 2005 : Oxford, England)
texts
eye 14
favorite 1
comment 0
1 online resource (xi, 565 pages) :
Topics: Computer logic -- Congresses, Logique informatique -- Congrès, COMPUTERS -- Programming -- Open...