ENGLISH

Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

By Roy Dyckhoff (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1994
ISBN
3540580255, 9783540580256
DOI
10.1007/3-540-58025-5
LCC
QA76.63 .E47 1993
Open Library ID
OL1091230M
Language
english
Format
DJVU
Filesize
3 MB (3327884 bytes)
Series
Lecture Notes in Computer Science 798 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
368\368
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Artificial Intelligence (incl. Robotics); Programm

Description

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.

Similar books