LPNMR'09: Accepted Papers

Technical Papers

• Michael Thomas. The Complexity of Circumscriptive Inference in Post's Lattice
• Jos de Bruijn and Stijn Heymans. Complexity of the Stable Model Semantics for Queries on Incomplete Databases
• Miroslaw Truszczynski. Trichotomy results for reasoning with disjunctive logic
• Claire Lefèvre and Pascal Nicolas. A First Order Forward Chaining Approach for Answer Set Computing
• Jörg Pührer and Hans Tompits. Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
• Antonis Bikakis and Grigoris Antoniou. Argumentation about Context in Ambient Intelligence
• Wolfgang Faber and Stefan Woltran. Manifold Answer-Set Programs for Meta-Reasoning
• Marcello Balduccini. Splitting a CR-Prolog Program
• Marcello Balduccini. How Flexible Is Answer Set Programming? An Experiment in Formalizing Common-sense in ASP
• Yisong Wang, Jia-Huai You and Mingyi Zhang. Weight Constraint Programs with Functions
• Yi-Dong Shen and Jia-Huai You. A Default Approach to Semantics of Logic Programs with Constraint Atoms
• Gerhard Brewka and Thomas Eiter. Argumentation Context Systems: A Framework for Abstract Group Argumentation
• Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen and Ilkka Niemelä. A Module-Based Framework for Multi-Language Constraint Modeling
• Reinhard Pichler, Stefan Ruemmele and Stefan Woltran. Belief Revision with Bounded Treewidth
• Emilia Oikarinen and Matti Järvisalo. Max-ASP: Maximum Satisfiability of Answer Set Programs
• Gayathri Namasivayam and Mirek Truszczynski. Simple Random Logic Programs
• Pedro Cabalar, David Pearce and Agustín Valverde. A revised concept of safety for general answer set programs
• Tim Kimber, Krysia Broda and Alessandra Russo. Induction on Failure: Learning Connected Horn Theories
• Minh Dao-Tran, Thomas Eiter, Michael Fink and Thomas Krennwallner. Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs
• Ping Hou and Marc Denecker. A Deductive System for FO(ID) Based on Least Fixpoint Logic
• Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone. Magic Sets for the Bottom-up Evaluation of Finitely Recursive Programs
• Tomi Janhunen, Ilkka Niemelä and Mark Sevalnev. Computing Stable Models via Reductions to Difference Logic
• Joohyung Lee and Yunsong Meng. On Reductive Semantics of Aggregates in Answer Set Programming
• Loizos Michael and Antonis Kakas. Knowledge Qualification through Argumentation
• Hui Wan and Michael Kifer. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

Application Papers

• James Delgrande, Torsten Grote and Aaron Hunter. A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming
• Johannes Oetsch, Martina Seidl, Hans Tompits and Stefan Woltran. ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
• Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone and Francesco Ricca. An ASP-Based System for e-Tourism
• Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem and Volkan Patoglu. Bridging the Gap between High-Level Reasoning and Low-Level Control

Short Technical Papers

• Vernon Asuncion and Yan Zhang. Translating Preferred Answer Set Programs to Propositional Logic
• Marcello Balduccini. CR-Prolog as a Specification Language for Constraint Satisfaction Problems
• Luis Moniz Pereira and Alexandre Miguel Pinto. Layer Supported Models of Logic Programs
• Guohua Liu. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
• Chiaki Sakama. Social Default Theories
• Agostino Dovier, Andrea Formisano and Enrico Pontelli. Representing Multi-Agent Systems in CLP
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. Prototypical reasoning with low complexity Description Logics: typicality in EL⊥
• Luke Hopton, Owen Cliffe, Marina De Vos and Julian Padget. AQL: A Query Language for Action Domains Modelled using Answer Set Programming
• Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano and Francesco Pagano. Applying ASP to UML model validation.
• Duygu Cakmak, Esra Erdem and Halit Erdogan. Computing weighted solutions in answer set programming
• Chitta Baral, Tran Son and Enrico Pontelli. Modeling Multi-Agent Domains in an Action Languages: an Empirical Study using C
• Mauricio Osorio Galindo and Simone Pascucci. The Logical Consequence Role in LPNMR: a Parameterized Computation Approach

Short Application Papers

• Viren Kumar and James Delgrande. Using ASP To Solve the Multicore Scheduling Problem
• Salvatore Iiritano, Nicola Leone and Francesco Ricca. Some DLV Applications for Knowledge Management
• Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser and Torsten Schaub. Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs

System Descriptions

• Marc Finthammer, Christoph Beierle, Benjamin Berger and Gabriele Kern-Isberner. An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic
• Claire Lefèvre and Pascal Nicolas. The First Version of a new ASP Solver : ASPeRiX
• Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach and Bettina Schnor. A Simple Distributed Conflict-Driven Answer Set Solver
• Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub and Sven Thiele. On the Input Language of ASP Grounder Gringo
• Martin Gebser, Benjamin Kaufmann and Torsten Schaub. The Conflict-Driven Answer Set Solver clasp: Progress Report
• Annamaria Bria, Wolfgang Faber and Nicola Leone. nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver
• Nicola Leone, Francesco Ricca and Giorgio Terracina. An ASP-Based Data Integration System
• Victor Noel and Antonis Kakas. Gorgias-C: Extending Argumentation with Constraint Solving
• Joohyung Lee and Ravi Palla. System F2LP - Computing Answer Sets of First-Order Formulas
• Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone. An ASP System with Functions, Lists, and Sets

Application Summaries

• Georg Boenn, Martin Brain, Marina De Vos and John ffitch. ANTON: Composing Logic and Logic Composing
• Tom Crick, Marina De Vos, Martin Brain and John Fitch. Generating Optimal Code using Answer Set Programming
• Owen Cliffe, Marina De Vos and Julian Padget. Modelling Normative Frameworks using Answer Set Programing
• Esra Erdem, Ozan Erdem and Ferhan Ture. HAPLO-ASP: Haplotype Inference using Answer Set Programming
• Esra Erdem. PHYLO-ASP: Phylogenetics using Answer Set Programming
• Francois Gagnon and Babak Esfandiari. Using Answer Set Programming to Enhance Operating System Discovery
• Alessandra Mileo, Davide Merico and Roberto Bisiani. Non-monotonic reasoning and Wireless Sensor Networks for Secure and Independent Living: the SINDI system
• Alessandro Dal Palu, Agostino Dovier and Enrico Pontelli. Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

---