8
8.0
-
-
-
by
LOPSTR (Symposium) (19th : 2009 : Coimbra, Portugal)
texts
eye 8
favorite 0
comment 0
1 online resource (x, 204 pages) :
Topics: Logic programming -- Congresses, Informatique, Logic programming, Programmierlogik, Beweistheorie,...
50
50
-
-
-
by
Van Hentenryck, Pascal
texts
eye 50
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
319
319
-
-
-
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 319
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...
4
4.0
texts
eye 4
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
213
213
-
-
-
by
ILP 2004 (2004 : Porto, Portugal); Camacho, Rui; King, Ross (Ross Donald); Srinivasan, Ashwin
texts
eye 213
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
377
377
-
-
-
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 377
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,...
5
5.0
texts
eye 5
favorite 0
comment 0
278 pages : 25 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Programmation logique -- Congrès,...
3
3.0
texts
eye 3
favorite 1
comment 0
xiv, 467 pages : 26 cm
Topics: Logic programming, Constraint programming (Computer science), Programmation logique, Programmation...
50
50
-
-
-
by
Nerode, Anil, 1932-; Marek, Wiktor; Subrahmanian, V. S; Association for Logic Programming
texts
eye 50
favorite 4
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,...
3
3.0
-
-
-
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 --...
17
17
-
-
-
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...
10
10.0
-
-
-
by
Harrison, Frank R., 1935-
texts
eye 10
favorite 1
comment 0
x, 534 pages 25 cm
Topics: Logique, Logic, Deduktives Datenbanksystem, Logische Programmierung, Einführung, Einfuhrung
46
46
-
-
-
by
Saraswat, Vijay A., and Kazunori Ueda, eds.
texts
eye 46
favorite 1
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ß,...
65
65
-
-
-
by
Tick, Evan, 1959-
texts
eye 65
favorite 8
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,...
Folkscanomy: A Library of Books
420
420
-
-
-
by
Stuckey, Peter J; Kameyama, Yukiyoshi; Fuji International Symposium on Functional and Logic Programming
texts
eye 420
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,...
12
12
texts
eye 12
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
322
322
-
-
-
by
European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland); Marcinkowski, Jerzy, 1965-; Tarlecki, Andrzej
texts
eye 322
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
-
-
-
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
31
31
-
-
-
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
-
-
-
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...
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
texts
eye 4
favorite 0
comment 0
x, 286 pages : 24 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Algebraic logic, Logic programming,...
5
5.0
texts
eye 5
favorite 0
comment 0
vii, 386 pages : 25 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Programmation logique -- Congrès,...
Folkscanomy: A Library of Books
551
551
-
-
-
by
European Workshop JELIA'98 (1998 : Dagstuhl, Germany); Dix, J. (Jürgen), 1961-; Fariñas del Cerro, Luis; Furbach, Ulrich
texts
eye 551
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
288
288
-
-
-
by
International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium); Fuchs, N. E. (Norbert E.)
texts
eye 288
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...
16
16
-
-
-
by
Workshop on Computer Science Logic (19th : 2005 : Oxford, England)
texts
eye 16
favorite 1
comment 0
1 online resource (xi, 565 pages) :
Topics: Computer logic -- Congresses, Logique informatique -- Congrès, COMPUTERS -- Programming -- Open...
58
58
texts
eye 58
favorite 2
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...
47
47
-
-
-
by
Schagrin, Morton L
texts
eye 47
favorite 1
comment 0
xviii, 347 pages : 24 cm
Topics: Logic -- Data processing, Algorithms, Computer programming, Algorithms, Computer programming, Logic...
Folkscanomy: A Library of Books
345
345
-
-
-
by
International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus); Codognet, Philippe
texts
eye 345
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,...
Folkscanomy: A Library of Books
457
457
-
-
-
by
JELIA (Conference) (9th : 2004 : Lisbon, Portugal); Alferes, José Júlio; Leite, João Alexandre
texts
eye 457
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...
