| Description |
1 online resource (xviii, 570 pages) : illustrations |
| Series |
Lecture notes in artificial intelligence ; 8148 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 8148
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
| Contents |
Towards Reactive Multi-Context Systems / Gerhard Brewka -- Logic Programming in the 1970s / Robert Kowalski -- Integrating Temporal Extensions of Answer Set Programming / Felicidad Aguado, Gilberto Pérez -- Forgetting under the Well-Founded Semantics / José Júlio Alferes, Matthias Knorr -- The Fourth Answer Set Programming Competition: Preliminary Report / Mario Alviano, Francesco Calimeri -- WASP: A Native ASP Solver Based on Constraint Learning / Mario Alviano, Carmine Dodaro -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics / Mario Alviano, Wolfgang Faber -- ARVis: Visualizing Relations between Answer Sets / Thomas Ambroz, Günther Charwat -- Symbolic System Synthesis Using Answer Set Programming / Benjamin Andres, Martin Gebser -- Accurate Computation of Sensitizable Paths Using Answer Set Programming / Benjamin Andres, Matthias Sauer |
|
Hex Semantics via Approximation Fixpoint Theory / Christian Antić, Thomas Eiter, Michael Fink -- Encoding Higher Level Extensions of Petri Nets in Answer Set Programming / Saadat Anwar, Chitta Baral, Katsumi Inoue -- Cplus 2ASP: Computing Action Language C + in Answer Set Programming / Joseph Babb, Joohyung Lee -- Towards Answer Set Programming with Sorts / Evgenii Balai, Michael Gelfond -- Prolog and ASP Inference under One Roof / Marcello Balduccini, Yuliya Lierler -- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information / Chitta Baral, Nguyen H. Vo -- Towards Query Answering in Relational Multi-Context Systems / Rosamaria Barilaro, Michael Fink -- Spectra in Abstract Argumentation: An Analysis of Minimal Change / Ringo Baumann, Gerhard Brewka -- Normalizing Cardinality Rules Using Merging and Sorting Constructions / Jori Bomanson, Tomi Janhunen |
|
Experience Based Nonmonotonic Reasoning / Daniel Borchmann -- An ASP Application in Integrative Biology: Identification of Functional Gene Units / Philippe Bordron, Damien Eveillard -- Evaluating Answer Set Clause Learning for General Game Playing / Timothy Cerexhe, Orkunt Sabuncu -- VCWC: A Versioning Competition Workflow Compiler / Günther Charwat, Giovambattista Ianni -- A Sequential Model for Reasoning about Bargaining in Logic Programs / Wu Chen, Dongmo Zhang, Maonian Wu -- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming / Guillaume Collet, Damien Eveillard -- Negation as a Resource: A Novel View on Answer Set Semantics / Stefania Costantini, Andrea Formisano -- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics / James Delgrande, Pavlos Peppas -- Efficient Approximation of Well-Founded Justification and Well-Founded Domination / Christian Drescher, Toby Walsh |
|
Approximate Epistemic Planning with Postdiction as Answer-Set Programming / Manfred Eppe, Mehul Bhatt, Frank Dylla -- Combining Equilibrium Logic and Dynamic Logic / Luis Fariñas del Cerro, Andreas Herzig -- ActHEX: Implementing HEX Programs with Action Atoms / Michael Fink, Stefano Germano -- Debugging Answer-Set Programs with Ouroboros -- Extending the SeaLion Plugin / Melanie Frühstück, Jörg Pührer -- Game Semantics for Non-monotonic Intensional Logic Programming / Chrysida Galanaki, Christos Nomikos -- Matchmaking with Answer Set Programming / Martin Gebser, Thomas Glase, Orkunt Sabuncu -- Ricochet Robots: A Transverse ASP Benchmark / Martin Gebser, Holger Jost, Roland Kaminski -- Decidability and Implementation of Parametrized Logic Programs / Ricardo Gonçalves, José Júlio Alferes -- Non-monotonic Temporal Goals / Ricardo Gonçalves, Matthias Knorr |
|
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics / Amelia Harrison, Vladimir Lifschitz -- An Application of ASP to the Field of Second Language Acquisition / Daniela Inclezan -- Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming / Jianmin Ji, Fangzhen Lin -- Concrete Results on Abstract Rules / Markus Krötzsch, Despoina Magka -- Linear Logic Programming for Narrative Generation / Chris Martens, Anne-Gwenn Bosser -- Implementing Informal Semantics of ASP / Artur Mikitiuk, Miroslaw Truszczynski -- Implementing Belief Change in the Situation Calculus and an Application / Maurice Pagnucco, David Rajaratnam -- Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints / Axel Polleres, Melanie Frühstück -- Conflict-Based Program Rewriting for Solving Configuration Problems / Anna Ryabokon, Gerhard Friedrich |
|
Program Updating by Incremental and Answer Subsumption Tabling / Ari Saptawijaya, Luís Moniz Pereira -- Characterization Theorems for Revision of Logic Programs / Nicolas Schwind, Katsumi Inoue -- Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming / Peter Schüller -- Early Recovery in Logic Program Updates / Martin Slota, Martin Baláž, João Leite -- Preference Handling for Belief-Based Rational Decisions / Samy Sá, João Alcântara -- Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System / Giorgio Terracina, Alessandra Martello -- Justifications for Logic Programming / Carlos Viegas Damásio, Anastasia Analyti -- Belief Change in Nonmonotonic Multi-Context Systems / Yisong Wang, Zhiqiang Zhuang, Kewen Wang -- On Optimal Solutions of Answer Set Optimization Problems / Ying Zhu, Miroslaw Truszczynski |
| Summary |
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 |
| Notes |
International conference proceedings |
|
Online resource; title from PDF title page (SpringerLink, viewed September 16, 2013) |
| Subject |
Logic programming -- Congresses
|
|
Nonmonotonic reasoning -- Congresses
|
|
Logic.
|
|
Logic
|
|
logic.
|
|
Logic
|
|
Logic programming
|
|
Nonmonotonic reasoning
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Cabalar, Pedro, editor
|
|
Son, Tran Cao, 1962- editor.
|
| ISBN |
9783642405648 |
|
3642405649 |
|
