This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.
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)
First Sentence:
For as long as there have been algorithms, the question of their termination - though undecidable, in general - has had to be addressed. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
control flow compilation, extended answer sets, theoretical operational semantics, stratifiable operator, confluence checker, refined operational semantics, regular type inference, stratifiable approximation, tabling environment, negation algorithm, finite constructive negation, inner pruning, moded level mapping, query packs, solver events, lazy compilation, local selection rules, domain reduction functions, tabled answers, nested programs, adorned predicate, annotated disjunctions, answer set solvers, whose answer sets, gripper problem Key Phrases - Capitalized Phrases (CAPs): (learn more)
International Conference, Lecture Notes, Kernel Set, Springer-Verlag Berlin Heidelberg, Springer Verlag, International Workshop, Nachum Dershowitz, Bottom Set, Nicola Leone, Morgan Kaufmann, New York, Garcia de la Banda, Given Circum, Entailment Theorem, Limiting Resolution, Proceedings of the Fifth, European Commission, Harmonious Dependency, Quasi-Simplification Ordering, Santos Costa, Thomas Eiter, University of Porto, Wolfgang Faber, Ciao Prolog, Electronic Notes New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
For as long as there have been algorithms, the question of their termination - though undecidable, in general - has had to be addressed. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
control flow compilation, extended answer sets, theoretical operational semantics, stratifiable operator, confluence checker, refined operational semantics, regular type inference, stratifiable approximation, tabling environment, negation algorithm, finite constructive negation, inner pruning, moded level mapping, query packs, solver events, lazy compilation, local selection rules, domain reduction functions, tabled answers, nested programs, adorned predicate, annotated disjunctions, answer set solvers, whose answer sets, gripper problem Key Phrases - Capitalized Phrases (CAPs): (learn more)
International Conference, Lecture Notes, Kernel Set, Springer-Verlag Berlin Heidelberg, Springer Verlag, International Workshop, Nachum Dershowitz, Bottom Set, Nicola Leone, Morgan Kaufmann, New York, Garcia de la Banda, Given Circum, Entailment Theorem, Limiting Resolution, Proceedings of the Fifth, European Commission, Harmonious Dependency, Quasi-Simplification Ordering, Santos Costa, Thomas Eiter, University of Porto, Wolfgang Faber, Ciao Prolog, Electronic Notes New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 48
books:
See all 48 books this book cites
- Logic Programming (Apic Studies in Data Processing) by K. Clark on 5 pages
- Inductive Logic Programming (Apic Studies in Data Processing) by Stephen Muggleton on 4 pages
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on 4 pages
- Logic Programming (Lecture Notes in Artificial Intelligence) by A. Voronkov on page 164, page 283, and page 298
- From Logic Programming to Prolog by Krzysztof Apt on page 56, and page 449
See all 48 books this book cites
Books on Related Topics
(learn more)
|
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. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
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 > Microprocessors & System Design
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering
- Books > Computers & Technology > Software
- Books > Science & Math > Mathematics
