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

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 -