Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Esra Erdem

    1. Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fangzhen Lin

    1. Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay,, Hong Kong

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Torsten Schaub

    1. Institut für Informatik, Universität Potsdam, Potsdam, Germany

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LPNMR 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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (75 papers)

  1. Session 2. Technical Papers

    1. Simple Random Logic Programs

      • Gayathri Namasivayam, Mirosław Truszczyński
      Pages 223-235

    2. Max-ASP: Maximum Satisfiability of Answer Set Programs

      • Emilia Oikarinen, Matti Järvisalo
      Pages 236-249

    3. Belief Revision with Bounded Treewidth

      • Reinhard Pichler, Stefan Rümmele, Stefan Woltran
      Pages 250-263

    4. Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection

      • Jörg Pührer, Hans Tompits
      Pages 264-276

    5. A Default Approach to Semantics of Logic Programs with Constraint Atoms

      • Yi-Dong Shen, Jia-Huai You
      Pages 277-289

    6. The Complexity of Circumscriptive Inference in Post’s Lattice

      • Michael Thomas
      Pages 290-302

    7. Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

      • Mirosław Truszczyński
      Pages 303-315

    8. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

      • Hui Wan, Michael Kifer
      Pages 316-328

    9. Weight Constraint Programs with Functions

      • Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
      Pages 329-341

  2. Session 3. Original Application Papers

    1. Bridging the Gap between High-Level Reasoning and Low-Level Control

      • Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu
      Pages 342-354

    2. A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming

      • James P. Delgrande, Torsten Grote, Aaron Hunter
      Pages 355-367

    3. An ASP-Based System for e-Tourism

      • Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca
      Pages 368-381

    4. cc⊤ on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions

      • Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
      Pages 382-395

  3. Session 4. Short Papers

    1. Translating Preferred Answer Set Programs to Propositional Logic

      • Vernon Asuncion, Yan Zhang
      Pages 396-401

    2. CR-Prolog as a Specification Language for Constraint Satisfaction Problems

      • Marcello Balduccini
      Pages 402-408

    3. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using \(\mathcal{C}\)

      • Chitta Baral, Tran Cao Son, Enrico Pontelli
      Pages 409-415

    4. Computing Weighted Solutions in Answer Set Programming

      • Duygu Çakmak, Esra Erdem, Halit Erdoğan
      Pages 416-422

    5. Representing Multi-agent Planning in CLP

      • Agostino Dovier, Andrea Formisano, Enrico Pontelli
      Pages 423-429

    6. Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 430-436

    7. AQL: A Query Language for Action Domains Modelled Using Answer Set Programming

      • Luke Hopton, Owen Cliffe, Marina De Vos, Julian Padget
      Pages 437-443
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

About this book

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

Editors and Affiliations

  • Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey

    Esra Erdem

  • Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay,, Hong Kong

    Fangzhen Lin

  • Institut für Informatik, Universität Potsdam, Potsdam, Germany

    Torsten Schaub

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation