Logic Programming

21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

  • Maurizio Gabbrielli
  • Gopal Gupta
Conference proceedings ICLP 2005

DOI: 10.1007/11562931

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3668)

Table of contents (51 papers)

  1. Front Matter
  2. Preference Reasoning
    Francesca Rossi
    Pages 5-8
  3. The G12 Project: Mapping Solver Independent Models to Efficient Solutions
    Peter J. Stuckey, Maria Garcia de la Banda, Michael Maher, Kim Marriott, John Slaney, Zoltan Somogyi et al.
    Pages 9-13
  4. A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization
    José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
    Pages 21-36
  5. Towards an Integration of Answer Set and Constraint Solving
    S. Baselice, P. A. Bonatti, M. Gelfond
    Pages 52-66
  6. A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems
    Agostino Dovier, Andrea Formisano, Enrico Pontelli
    Pages 67-82
  7. Guard and Continuation Optimization for Occurrence Representations of CHR
    Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 83-97
  8. Coordination of Many Agents
    Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
    Pages 98-112
  9. A Distributed and Probabilistic Concurrent Constraint Programming Language
    Luca Bortolussi, Herbert Wiklicky
    Pages 143-158
  10. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
    Henning Christiansen, Veronica Dahl
    Pages 159-173
  11. Abduction of Linear Arithmetic Constraints
    Michael J. Maher
    Pages 174-188
  12. Hybrid Probabilistic Logic Programs with Non-monotonic Negation
    Emad Saad, Enrico Pontelli
    Pages 204-220
  13. Reducing Inductive Definitions to Propositional Satisfiability
    Nikolay Pelov, Eugenia Ternovska
    Pages 221-234

About these proceedings

Keywords

agent-oriented logic programming algorithm algorithms computational logics constraint logic programming deduction formal verification inductive logic programming logic programming mathematical logic model checking modeling ontology programming language semantics

Editors and affiliations

  • Maurizio Gabbrielli
    • 1
  • Gopal Gupta
    • 2
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaItaly
  2. 2.Department of Computer ScienceUniversity of Texas at DallasRichardson

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29208-1
  • Online ISBN 978-3-540-31947-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349