Home > Authors > Vladimir Lifschitz > Logic programming
Logic programming
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...
See on goodreads
