Skip to main content
SpringerLink
Log in
Book cover

Logic Programming

25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Patricia M. Hill

    1. School of Computing, University of Leeds, Leeds, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David S. Warren

    1. Deptartment of Computer Science, Stony Brook University, Stony Brook, USA

    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 5649)

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

Included in the following conference series:

Conference proceedings info: ICLP 2009.

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

Access this book

Log in via an institution
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

Table of contents (64 papers)

  1. Front Matter

    Download chapter PDF

  4. Best Papers

    1. Using Histograms to Better Answer Queries to Probabilistic Logic Programs

      • Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian
      Pages 40-54

    2. Non-discriminating Arguments and Their Uses

      • Henning Christiansen, John P. Gallagher
      Pages 55-69

  5. Applications I

    1. Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

      • Henning Christiansen, Ole Torp Lassen
      Pages 70-83

    2. Stabilization of Information Sharing for Queries Answering in Multiagent Systems

      • Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
      Pages 84-98

    3. Logic Programming for Multiagent Planning with Negotiation

      • Tran Cao Son, Enrico Pontelli, Chiaki Sakama
      Pages 99-114

  6. Implementation I

    1. Answer Set Programming with Constraints Using Lazy Grounding

      • Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
      Pages 115-129

    2. Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs

      • Xiaoping Chen, Jianmin Ji, Fangzhen Lin
      Pages 130-144

  7. Theory

    1. Modular Nonmonotonic Logic Programming Revisited

      • Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 145-159

    2. Merging Logic Programs under Answer Set Semantics

      • James Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 160-174

    3. Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs

      • MirosÅ‚aw TruszczyÅ„ski
      Pages 175-189

  8. Implementation II

    1. A Tabling Implementation Based on Variables with Multiple Bindings

      • Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo
      Pages 190-204
Back to top

Other volumes

  1. Logic Programming

Keywords

About this book

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.

Editors and Affiliations

  • School of Computing, University of Leeds, Leeds, UK

    Patricia M. Hill

  • Deptartment of Computer Science, Stony Brook University, Stony Brook, USA

    David S. Warren

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation