Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)

Dyckhoff, Roy [Editor]

ISBN 10: 3540580255 / ISBN 13: 9783540580256

Edité par Springer, 1994

A propos de cet article

0387580255 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-2006

Détails bibliographiques

Titre : Extensions of Logic Programming: 4th ...

Éditeur : Springer

Date d'édition : 1994

Reliure : Paperback

Etat : Very Good

A propos de ce titre

Synopsis :

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.