This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
Extensions of Logic Programming
and over one million other books are available for Amazon Kindle.
Learn more
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
commit labelled, strictly associative finite products, pure expansion functions, shows decl, strictly preserves finite products, first pruning step, basic folding method, generalized answer sets, sort univ, operational derivability, slack indicator, quantifier level, saturated derivation, default negated literals, equational logic program, retraction function, nonmonotonic semantics, commit operator, partial inductive definitions, condition constructors, narrowing tree, embedded implications, basic superposition, partial stable models, wise men puzzle Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, International Conference, International Symposium, New Generation Computing, Computing Science Department, Dale Miller, Journal of Automated Reasoning, New York, Uppsala University, Department of Mathematics, James Lipton, Duke University, Edinburgh University Press, Fundamenta Informaticae, Handbook of Logic, Higher Order Babel, Journal of Symbolic Computations, Peter Freyd, Plenum Press, Principles of Programming Languages, Some Output, The Gödel Programming Language, Utrecht University New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
commit labelled, strictly associative finite products, pure expansion functions, shows decl, strictly preserves finite products, first pruning step, basic folding method, generalized answer sets, sort univ, operational derivability, slack indicator, quantifier level, saturated derivation, default negated literals, equational logic program, retraction function, nonmonotonic semantics, commit operator, partial inductive definitions, condition constructors, narrowing tree, embedded implications, basic superposition, partial stable models, wise men puzzle Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, International Conference, International Symposium, New Generation Computing, Computing Science Department, Dale Miller, Journal of Automated Reasoning, New York, Uppsala University, Department of Mathematics, James Lipton, Duke University, Edinburgh University Press, Fundamenta Informaticae, Handbook of Logic, Higher Order Babel, Journal of Symbolic Computations, Peter Freyd, Plenum Press, Principles of Programming Languages, Some Output, The Gödel Programming Language, Utrecht University New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Hardware > Design & Architecture
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Science & Math > Mathematics
