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

Front Matter....Pages -
SAT, SMT and Applications....Pages 1-1
Logic-Based Modeling in Systems Biology....Pages 2-2
Integrating Answer Set Programming and Satisfiability Modulo Theories....Pages 3-3
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP....Pages 4-16
Splitting a CR-Prolog Program....Pages 17-29
Contextual Argumentation in Ambient Intelligence....Pages 30-43
Argumentation Context Systems: A Framework for Abstract Group Argumentation....Pages 44-57
A Revised Concept of Safety for General Answer Set Programs....Pages 58-70
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs....Pages 71-86
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs....Pages 87-100
Complexity of the Stable Model Semantics for Queries on Incomplete Databases....Pages 101-114
Manifold Answer-Set Programs for Meta-reasoning....Pages 115-128
A Deductive System for FO(ID) Based on Least Fixpoint Logic....Pages 129-141
Computing Stable Models via Reductions to Difference Logic....Pages 142-154
A Module-Based Framework for Multi-language Constraint Modeling....Pages 155-168
Induction on Failure: Learning Connected Horn Theories....Pages 169-181
On Reductive Semantics of Aggregates in Answer Set Programming....Pages 182-195
A First Order Forward Chaining Approach for Answer Set Computing....Pages 196-208
Knowledge Qualification through Argumentation....Pages 209-222
Simple Random Logic Programs....Pages 223-235
Max-ASP: Maximum Satisfiability of Answer Set Programs....Pages 236-249
Belief Revision with Bounded Treewidth....Pages 250-263
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection....Pages 264-276
A Default Approach to Semantics of Logic Programs with Constraint Atoms....Pages 277-289
The Complexity of Circumscriptive Inference in Post’s Lattice....Pages 290-302
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs....Pages 303-315
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence....Pages 316-328
Weight Constraint Programs with Functions....Pages 329-341
Bridging the Gap between High-Level Reasoning and Low-Level Control....Pages 342-354
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming....Pages 355-367
An ASP-Based System for e-Tourism....Pages 368-381
cc⊤ on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions....Pages 382-395
Translating Preferred Answer Set Programs to Propositional Logic....Pages 396-401
CR-Prolog as a Specification Language for Constraint Satisfaction Problems....Pages 402-408
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using $\\mathcal{C}$ ....Pages 409-415
Computing Weighted Solutions in Answer Set Programming....Pages 416-422
Representing Multi-agent Planning in CLP....Pages 423-429
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results....Pages 430-436
A QL : A Query Language for Action Domains Modelled Using Answer Set Programming....Pages 437-443
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs....Pages 444-449
Layer Supported Models of Logic Programs....Pages 450-456
Applying ASP to UML Model Validation....Pages 457-463
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach....Pages 464-469
Social Default Theories....Pages 470-476
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver....Pages 477-482
An ASP System with Functions, Lists, and Sets....Pages 483-489
A Simple Distributed Conflict-Driven Answer Set Solver....Pages 490-495
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic....Pages 496-501
On the Input Language of ASP Grounder Gringo ....Pages 502-508
The Conflict-Driven Answer Set Solver clasp : Progress Report....Pages 509-514
System f2lp – Computing Answer Sets of First-Order Formulas....Pages 515-521
The First Version of a New ASP Solver : ASPeRiX ....Pages 522-527
An ASP-Based Data Integration System....Pages 528-534
 Gorgias-C : Extending Argumentation with Constraint Solving....Pages 535-541
ANTON: Composing Logic and Logic Composing....Pages 542-547
Modelling Normative Frameworks Using Answer Set Programing....Pages 548-553
Generating Optimal Code Using Answer Set Programming....Pages 554-559
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results....Pages 560-566
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming....Pages 567-572
HAPLO-ASP: Haplotype Inference Using Answer Set Programming....Pages 573-578
Using Answer Set Programming to Enhance Operating System Discovery....Pages 579-584
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System....Pages 585-590
Some DLV Applications for Knowledge Management....Pages 591-597
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs....Pages 598-603
Optimal Multicore Scheduling: An Application of ASP Techniques....Pages 604-609
From Data Integration towards Knowledge Mediation....Pages 610-612
Integrating Answer Set Modules into Agent Programs....Pages 613-615
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)....Pages 616-618
Using Lightweight Inference to Solve Lightweight Problems....Pages 619-621
Present and Future Challenges for ASP Systems....Pages 622-624
ASP: The Future Is Bright....Pages 625-627
Exploiting ASP in Real-World Applications: Main Strengths and Challenges....Pages 628-630
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode....Pages 631-633
Towards an Embedded Approach to Declarative Problem Solving in ASP....Pages 634-636
The Second Answer Set Programming Competition....Pages 637-654
Back Matter....Pages -