| 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. |
