Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Logic Programming

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Maurizio Gabbrielli

    1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gopal Gupta

    1. Department of Computer Science, University of Texas at Dallas, Richardson

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICLP 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (51 papers)

  1. Front Matter

    Download chapter PDF

  2. OWL: A Description Logic Based Ontology Language

    • Ian Horrocks
    Pages 1-4

  3. Preference Reasoning

    • Francesca Rossi
    Pages 5-8

  4. 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

  5. Use of Logic Programming for Complex Business Rules

    • Walter G. Wilson
    Pages 14-20

  6. 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

  7. On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)

    • Enrico Giunchiglia, Marco Maratea
    Pages 37-51

  8. Towards an Integration of Answer Set and Constraint Solving

    • S. Baselice, P. A. Bonatti, M. Gelfond
    Pages 52-66

  9. A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems

    • Agostino Dovier, Andrea Formisano, Enrico Pontelli
    Pages 67-82

  10. Guard and Continuation Optimization for Occurrence Representations of CHR

    • Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 83-97

  11. Coordination of Many Agents

    • Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
    Pages 98-112

  12. Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

    • Thom Frühwirth
    Pages 113-127

  13. An Optimised Semantic Web Query Language Implementation in Prolog

    • Jan Wielemaker
    Pages 128-142

  14. A Distributed and Probabilistic Concurrent Constraint Programming Language

    • Luca Bortolussi, Herbert Wiklicky
    Pages 143-158

  15. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

    • Henning Christiansen, Veronica Dahl
    Pages 159-173

  16. Abduction of Linear Arithmetic Constraints

    • Michael J. Maher
    Pages 174-188

  17. Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming

    • Hans Tompits, Stefan Woltran
    Pages 189-203

  18. Hybrid Probabilistic Logic Programs with Non-monotonic Negation

    • Emad Saad, Enrico Pontelli
    Pages 204-220

  19. Reducing Inductive Definitions to Propositional Satisfiability

    • Nikolay Pelov, Eugenia Ternovska
    Pages 221-234

  20. Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation

    • Diptikalyan Saha, C. R. Ramakrishnan
    Pages 235-249
Back to top

Other volumes

  1. Logic Programming

Editors and Affiliations

  • Dipartimento di Scienze dell’Informazione, Università di Bologna, Italy

    Maurizio Gabbrielli

  • Department of Computer Science, University of Texas at Dallas, Richardson

    Gopal Gupta

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation