Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. ProceedingsThe 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. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
I | 1 |
II | 3 |
III | 11 |
IV | 24 |
VI | 37 |
VIII | 62 |
X | 77 |
XI | 94 |
XVIII | 196 |
XIX | 206 |
XX | 222 |
XXI | 255 |
XXII | 268 |
XXIII | 282 |
XXV | 301 |
XXVI | 322 |
Other editions - View all
Common terms and phrases
abstract acceptable allowed answer apply approach argument assume assumption atomic axiom binding calculus called clauses complete computation condition consider consistent constants constraint construct contains corresponding costs database defined definition derivation domain Environment equality evaluation example exclusion execution expressions extended fact false finite formula function give given goal holds hypotheses implementation inductive inference rules instance instantiations interpretation intervals introduce intuitionistic logic italy judgment knowledge language linear literals Logic Programming means method module Name Note object obtained occur operator parallel partial particular possible predicate present problem procedural Proceedings Prolog proof properties Proposition query reasoning relation removal represent representation restricted result revision rule scenario semantics sequent signature solution specific strategy structure substitution supports theory translation true truth unification unify variables
Bibliographic information
| Title | Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings Volume 798 of Lecture Notes in Artificial Intelligence Volume 798 of Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, ISSN 0302-9743 Volume 798 of Lecture notes in computer science: Lecture notes in artificial intelligence |
| Editor | Roy Dyckhoff |
| Edition | illustrated |
| Publisher | Springer Science & Business Media, 1994 |
| ISBN | 3540580255, 9783540580256 |
| Length | 360 pages |
| Subjects | › › Computers / Artificial Intelligence / General Computers / Computer Architecture Computers / Information Technology Computers / Intelligence (AI) & Semantics Computers / Programming / General Computers / Software Development & Engineering / General Mathematics / Discrete Mathematics Mathematics / Logic |
| Export Citation | BiBTeX EndNote RefMan |