Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Description

This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning. Front Matter....Pages - Towards Reactive Multi-Context Systems....Pages 1-10 Logic Programming in the 1970s....Pages 11-22 Integrating Temporal Extensions of Answer Set Programming....Pages 23-35 Forgetting under the Well-Founded Semantics....Pages 36-41 The Fourth Answer Set Programming Competition: Preliminary Report....Pages 42-53 WASP: A Native ASP Solver Based on Constraint Learning....Pages 54-66 The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics....Pages 67-72 ARVis: Visualizing Relations between Answer Sets....Pages 73-78 Symbolic System Synthesis Using Answer Set Programming....Pages 79-91 Accurate Computation of Sensitizable Paths Using Answer Set Programming....Pages 92-101 Hex Semantics via Approximation Fixpoint Theory....Pages 102-115 Encoding Higher Level Extensions of Petri Nets in Answer Set Programming....Pages 116-121 Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming....Pages 122-134 Towards Answer Set Programming with Sorts....Pages 135-147 Prolog and ASP Inference under One Roof....Pages 148-160 Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information....Pages 161-167 Towards Query Answering in Relational Multi-Context Systems....Pages 168-173 Spectra in Abstract Argumentation: An Analysis of Minimal Change....Pages 174-186 Normalizing Cardinality Rules Using Merging and Sorting Constructions....Pages 187-199 Experience Based Nonmonotonic Reasoning....Pages 200-205 An ASP Application in Integrative Biology: Identification of Functional Gene Units....Pages 206-218 Evaluating Answer Set Clause Learning for General Game Playing....Pages 219-232 VCWC: A Versioning Competition Workflow Compiler....Pages 233-238 A Sequential Model for Reasoning about Bargaining in Logic Programs....Pages 239-244 Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming....Pages 245-256 Negation as a Resource: A Novel View on Answer Set Semantics....Pages 257-263 AGM-Style Belief Revision of Logic Programs under Answer Set Semantics....Pages 264-276 Efficient Approximation of Well-Founded Justification and Well-Founded Domination....Pages 277-289 Approximate Epistemic Planning with Postdiction as Answer-Set Programming....Pages 290-303 Combining Equilibrium Logic and Dynamic Logic....Pages 304-316 ActHEX: Implementing HEX Programs with Action Atoms....Pages 317-322 Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin....Pages 323-328 Game Semantics for Non-monotonic Intensional Logic Programming....Pages 329-341 Matchmaking with Answer Set Programming....Pages 342-347 Ricochet Robots: A Transverse ASP Benchmark....Pages 348-360 Decidability and Implementation of Parametrized Logic Programs....Pages 361-373 Non-monotonic Temporal Goals....Pages 374-386 On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics....Pages 387-394 An Application of ASP to the Field of Second Language Acquisition....Pages 395-400 Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming....Pages 401-413 Concrete Results on Abstract Rules....Pages 414-426 Linear Logic Programming for Narrative Generation....Pages 427-432 Implementing Informal Semantics of ASP....Pages 433-438 Implementing Belief Change in the Situation Calculus and an Application....Pages 439-451 Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints....Pages 452-464 Conflict-Based Program Rewriting for Solving Configuration Problems....Pages 465-478 Program Updating by Incremental and Answer Subsumption Tabling....Pages 479-484 Characterization Theorems for Revision of Logic Programs....Pages 485-498 Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming....Pages 499-511 Early Recovery in Logic Program Updates....Pages 512-517 Preference Handling for Belief-Based Rational Decisions....Pages 518-523 Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System....Pages 524-529 Justifications for Logic Programming....Pages 530-542 Belief Change in Nonmonotonic Multi-Context Systems....Pages 543-555 On Optimal Solutions of Answer Set Optimization Problems....Pages 556-568 Back Matter....Pages -