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