20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Logic programming
| Autor | Vladimir Lifschitz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 15, 2004 |
| Idioma | inglés |
| Páginas | 480 |
| Formato | Paperback |
| ISBN-13 | 9783540226710 |
| ISBN-10 | 3540226710 |
| OCLC | 56425791 |
| LCCN | 2004110708 |
| Número de Cutter |
L722l |
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings<br />Author: Bart Demoen, Vladimir Lifschitz<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22671-0<br /> DOI: 10.1007/b99475<br /><br />Table of Contents:<p></p><ul><li>Termination by Abstraction </li><li>Answer Set Programming and the Design of Deliberative Agents </li><li>Abstract Domains Based on Regular Types </li><li>Termination of Logic Programs Using Various Dynamic Selection Rules </li><li>Improving Prolog Programs: Refactoring for Prolog </li><li>Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP </li><li>The Refined Operational Semantics of Constraint Handling Rules </li><li>Compiling Ask Constraints </li><li>Constraint Handling Rules and Tabled Execution </li><li>Possible Worlds Semantics for Probabilistic Logic Programs </li><li>Limiting Resolution: From Foundations to Implementation </li><li>Generalised Kernel Sets for Inverse Entailment </li><li>On Programs with Linearly Ordered Multiple Preferences </li><li>Splitting an Operator </li><li>Simplifying Logic Programs Under Answer Set Semantics </li><li>On Acyclic and Head-Cycle Free Nested Logic Programs </li><li>Fast Query Evaluation with (Lazy) Control Flow Compilation </li><li>Speculative Computations in Or-Parallel Tabled Logic Programs </li><li>αProlog: A Logic Programming Language with Names, Binding and α-Equivalence </li><li>Implementation Results in Classical Constructive Negation</li></ul>