Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

by Erdem, Esra; Lin, Fangzhen; Schaub, Torsten

• ISBN13: 9783642042379
• ISBN10: 3642042376
• Edition: 1st
• Format: Paperback
• Copyright: 2009-10-01
• Publisher: Springer-Verlag New York Inc

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.

Table of Contents

Invited Talks
SAT, SMT and Applications	p. 1
Logic-Based Modeling in Systems Biology	p. 2
Integrating Answer Set Programming and Satisfiability Modulo Theories	p. 3
Technical Papers
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP	p. 4
Splitting a CR-Prolog Program	p. 17
Contextual Argumentation in Ambient Intelligence	p. 30
Argumentation Context Systems: A Framework for Abstract Group Argumentation	p. 44
A Revised Concept of Safety for General Answer Set Programs	p. 58
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs	p. 71
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs	p. 87
Complexity of the Stable Model Semantics for Queries on Incomplete Databases	p. 101
Manifold Answer-Set Programs for Meta-reasoning	p. 115
A Deductive System for PO(ID) Based on Least Fixpoint Logic	p. 129
Computing Stable Models via Reductions to Difference Logic	p. 142
A Module-Based Framework for Multi-language Constraint Modeling	p. 155
Induction on Failure: Learning Connected Horn Theories	p. 169
On Reductive Semantics of Aggregates in Answer Set Programming	p. 182
A First Order Forward Chaining Approach for Answer Set Computing	p. 196
Knowledge Qualification through Argumentation	p. 209
Simple Random Logic Programs	p. 223
Max-ASP: Maximum Satisfiability of Answer Set Programs	p. 236
Belief Revision with Bounded Treewidth	p. 250
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection	p. 264
A Default Approach to Semantics of Logic Programs with Constraint Atoms	p. 277
The Complexity of Circumscriptive Inference in Post's Lattice	p. 290
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs	p. 303
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence	p. 316
Weight Constraint Programs with Functions	p. 329
Original Application Papers
Bridging the Gap between High-Level Reasoning and Low-Level Control	p. 342
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming	p. 355
An ASP-Based System for e-Tourism	p. 368
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions	p. 382
Short Papers
Translating Preferred Answer Set Programs to Propositional Logic	p. 396
CR-Prolog as a Specification Language for Constraint Satisfaction Problems	p. 402
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using C	p. 409
Computing Weighted Solutions in Answer Set Programming	p. 416
Representing Multi-agent Planning in CLP	p. 423
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results	p. 430
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming	p. 437
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs	p. 444
Layer Supported Models of Logic Programs	p. 450
Applying ASP to UML Model Validation	p. 457
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach	p. 464
Social Default Theories	p. 470
System Descriptions
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver	p. 477
An ASP System with Functions, Lists, and Sets	p. 483
A Simple Distributed Conflict-Driven Answer Set Solver	p. 490
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic	p. 496
On the Input Language of ASP Grounder Gringo	p. 502
The Conflict-Driven Answer Set Solver clasp: Progress Report	p. 509
System F2LP - Computing Answer Sets of First-Order Formulas	p. 515
The First Version of a New ASP Solver: ASPeRiX	p. 522
An ASP-Based Data Integration System	p. 528
GORGIAS-C: Extending Argumentation with Constraint Solving	p. 535
Summaries of Existing Successful Applications Papers
ANTON: Composing Logic and Logic Composing	p. 542
Modelling Normative Frameworks Using Answer Set Programing	p. 548
Generating Optimal Code Using Answer Set Programming	p. 554
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results	p. 560
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming	p. 567
HAPLO-ASP: Haplotype Inference Using Answer Set Programming	p. 573
Using Answer Set Programming to Enhance Operating System Discovery	p. 579
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System	p. 585
Short Application Papers
Some DLV Applications for Knowledge Management	p. 591
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs	p. 598
Optimal Multicore Scheduling: An Application of ASP Techniques	p. 604
(Panel on Future Applications). Position Papers by the Panelists
From Data Integration towards Knowledge Mediation	p. 610
Integrating Answer Set Modules into Agent Programs	p. 613
What Next for ASP? (A Not-Entirely-Well-informed Opinion)	p. 616
Using Lightweight Inference to Solve Lightweight Problems	p. 619
Present and Future Challenges for ASP Systems (Extended Abstract)	p. 622
ASP: The Future Is Bright: A Position Paper	p. 625
Exploiting ASP in Real-World Applications: Main Strengths and Challenges	p. 628
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode	p. 631
Towards an Embedded Approach to Declarative Problem Solving in ASP	p. 634
System Competition. Summary of System Competition
The Second Answer Set Programming Competition	p. 637
Author Index	p. 655
Table of Contents provided by Ingram. All Rights Reserved.