Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub.

Format:

Book

Contributor:

Erdem, Esra, editor.

Lin, Fangzhen, editor.

Schaub, Torsten, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 5753.

Lecture Notes in Artificial Intelligence ; 5753

Language:

English

Subjects (All):

Artificial intelligence.

Discrete mathematics.

Computers.

Computer science--Mathematics.

Computer science.

Computer logic.

Logic, Symbolic and mathematical.

Artificial Intelligence.

Discrete Mathematics.

Theory of Computation.

Discrete Mathematics in Computer Science.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Local Subjects:

Artificial Intelligence.

Discrete Mathematics.

Theory of Computation.

Discrete Mathematics in Computer Science.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XV, 656 pages).

Edition:

First edition 2009.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

System Details:

text file PDF

Summary:

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR 2009 aims at providing a comprehensive surrvey of the state ofo the art of ASP/LPNMR Applications. LPNMR 2009 received 75 submissions, of which 55 were technical ones, 8 original applications, 9 system description ones and 3 short papers. Out of these 25 technical, 4 original applications, 10 system description, and 13 short papers were accepted.

Contents:

Session 1. Invited Talks

SAT, SMT and Applications

Logic-Based Modeling in Systems Biology

Integrating Answer Set Programming and Satisfiability Modulo Theories

Session 2. Technical Papers

How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP

Splitting a CR-Prolog Program

Contextual Argumentation in Ambient Intelligence

Argumentation Context Systems: A Framework for Abstract Group Argumentation

A Revised Concept of Safety for General Answer Set Programs

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Complexity of the Stable Model Semantics for Queries on Incomplete Databases

Manifold Answer-Set Programs for Meta-reasoning

A Deductive System for FO(ID) Based on Least Fixpoint Logic

Computing Stable Models via Reductions to Difference Logic

A Module-Based Framework for Multi-language Constraint Modeling

Induction on Failure: Learning Connected Horn Theories

On Reductive Semantics of Aggregates in Answer Set Programming

A First Order Forward Chaining Approach for Answer Set Computing

Knowledge Qualification through Argumentation

Simple Random Logic Programs

Max-ASP: Maximum Satisfiability of Answer Set Programs

Belief Revision with Bounded Treewidth

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

A Default Approach to Semantics of Logic Programs with Constraint Atoms

The Complexity of Circumscriptive Inference in Post's Lattice

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

Weight Constraint Programs with Functions

Session 3. Original Application Papers

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

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

An ASP-Based System for e-Tourism

cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions

Session 4. Short Papers

Translating Preferred Answer Set Programs to Propositional Logic

CR-Prolog as a Specification Language for Constraint Satisfaction Problems

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using

Computing Weighted Solutions in Answer Set Programming

Representing Multi-agent Planning in CLP

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

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

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs

Layer Supported Models of Logic Programs

Applying ASP to UML Model Validation

The Logical Consequence Role in LPNMR: A Parameterized Computation Approach

Social Default Theories

Session 5. System Descriptions

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver

An ASP System with Functions, Lists, and Sets

A Simple Distributed Conflict-Driven Answer Set Solver

An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic

On the Input Language of ASP Grounder Gringo

The Conflict-Driven Answer Set Solver clasp: Progress Report

System f2lp - Computing Answer Sets of First-Order Formulas

The First Version of a New ASP Solver : ASPeRiX

An ASP-Based Data Integration System

Gorgias-C: Extending Argumentation with Constraint Solving

Session 6. Summaries of Existing Successful Applications Papers

ANTON: Composing Logic and Logic Composing

Modelling Normative Frameworks Using Answer Set Programing

Generating Optimal Code Using Answer Set Programming

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming

HAPLO-ASP: Haplotype Inference Using Answer Set Programming

Using Answer Set Programming to Enhance Operating System Discovery

Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System

Session 7. Short Application Papers

Some DLV Applications for Knowledge Management

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs

Optimal Multicore Scheduling: An Application of ASP Techniques

Session 8 (Panel on Future Applications). Position Papers by the Panelists

From Data Integration towards Knowledge Mediation

Integrating Answer Set Modules into Agent Programs

What Next for ASP? (A Not-Entirely-Well-Informed Opinion)

Using Lightweight Inference to Solve Lightweight Problems

Present and Future Challenges for ASP Systems

ASP: The Future Is Bright

Exploiting ASP in Real-World Applications: Main Strengths and Challenges

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

Towards an Embedded Approach to Declarative Problem Solving in ASP

System Competition. Summary of System Competition

The Second Answer Set Programming Competition.

Other Format:

Printed edition:

ISBN:

978-3-642-04238-6

9783642042386

Access Restriction:

Restricted for use by site license.