Cover Image

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /

Show other versions (1)

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed,...

Full description

Bibliographic Details
Main Author:	Broda, Krysia
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)

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)

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)

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

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
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)

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

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

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

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

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

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

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)

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

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

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

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

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
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)

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

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

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)

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

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)

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)

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

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

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

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

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

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

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