Cover Image

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many cha...

Full description

Bibliographic Details
Main Author:	Wiggins, Geraint A.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Mellish, Chris, Duncan, Tim
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint: Springer, 1992.
Series:	Workshops in computing.
Subjects:	Computer science. Logic design. Artificial intelligence. Programming Techniques. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics) Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
by: Jaffar, Joxan
Published: (1999)

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
by: Baader, Franz
Published: (2003)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /
Published: (1988)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

Knowledge Representation and Defeasible Reasoning /
by: Kyburg, Henry E.
Published: (1990)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Frontiers in Belief Revision /
by: Williams, Mary-Anne
Published: (2001)

Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14-18, 1988 Selected Contributions /
Published: (1989)

Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996. Proceedings /
by: Freuder, Eugene C.
Published: (1996)

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995. Proceedings /
by: Montanari, Ugo
Published: (1995)

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
by: Bertot, Yves
Published: (2004)

Automated Mathematical Induction /
by: Zhang, H. (Hantao)
Published: (1996)

Specification and Transformation of Programs : a Formal Approach to Software Development /
by: Partsch, Helmut A.
Published: (1990)

Beyond two : theory and applications of multiple-valued logic /
Published: (2003)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

Practical Applications of Computational Intelligence Techniques /
by: Jain, Lakhmi
Published: (2001)

Managing Uncertainty in Expert Systems /
by: Grzymala-Busse, Jerzy W.
Published: (1991)