ask others

11. LPNMR 2011: Vancouver, Canada

> Home > Conferences and Workshops > LPNMR

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/2011
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/2011
James P. Delgrande, Wolfgang Faber:
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Lecture Notes in Computer Science 6645, Springer 2011, ISBN 978-3-642-20894-2

Invited Talks

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Poole11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Poole11
David Poole:
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI. 1-9
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Pearce11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Pearce11
David Pearce:
Foundations and Extensions of Answer Set Programming: The Logical Approach. 10-11
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Baral11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Baral11
Chitta Baral:
Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. 12

Technical Papers

Long Technical Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/DamasioM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/DamasioM11
Carlos Viegas Damásio, João Moura Pires:
Modularity of P-Log Programs. 13-25
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/DrescherEFKW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/DrescherEFKW11
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. 26-39
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Baumann11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Baumann11
Ringo Baumann:
Splitting an Argumentation Framework. 40-53
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GebserGKS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GebserGKS11
Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub:
Reactive Answer Set Programming. 54-66
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/BautersSVC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/BautersSVC11
Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Communicating ASP and the Polynomial Hierarchy. 67-79
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/AguadoCPV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/AguadoCPV11
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal:
Loop Formulas for Splitable Temporal Logic Programs. 80-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/EiterFIKS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFIKS11
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. 93-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/EiterFS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFS11
Thomas Eiter, Michael Fink, Peter Schüller:
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. 107-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/FinkGW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/FinkGW11
Michael Fink, Lucantonio Ghionna, Antonius Weinzierl:
Relational Information Exchange and Aggregation in Multi-Context Systems. 120-133
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/OetschPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/OetschPT11
Johannes Oetsch, Jörg Pührer, Hans Tompits:
Stepping through an Answer-Set Program. 134-147
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/AlvianoGL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/AlvianoGL11
Mario Alviano, Gianluigi Greco, Nicola Leone:
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. 148-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/LiuGJNY11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/LiuGJNY11
Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You:
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. 161-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/SlotaL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/SlotaL11
Martin Slota, João Leite:
Back and Forth between Rules and SE-Models. 174-186

Short Technical Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/LamG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/LamG11
Ho-Pun Lam, Guido Governatori:
What Are the Necessity Rules in Defeasible Reasoning? 187-192
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/BikakisA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/BikakisA11
Antonis Bikakis, Grigoris Antoniou:
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. 193-198
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GarciaGKTKFG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GarciaGKTKFG11
Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García:
On Influence and Contractions in Defeasible Logic Programming. 199-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/LierlerL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/LierlerL11
Yuliya Lierler, Vladimir Lifschitz:
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. 205-210
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/SaadB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/SaadB11
Emad Saad, Gerhard Brewka:
Aggregates in Answer Set Optimization. 211-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/BarilaroRT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/BarilaroRT11
Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina:
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. 217-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/CerroH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/CerroH11
Luis Fariñas del Cerro, Andreas Herzig:
Contingency-Based Equilibrium Logic. 223-228
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/CostantiniF11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/CostantiniF11
Stefania Costantini, Andrea Formisano:
Weight Constraints with Preferences in ASP. 229-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GoncalvesA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GoncalvesA11
Ricardo Gonçalves, José Júlio Alferes:
Parametrized Equilibrium Logic. 236-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/JanhunenNOPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/JanhunenNOPT11
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. 242-247
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/LeeP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/LeeP11
Joohyung Lee, Ravi Palla:
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). 248-253
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/OetschT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/OetschT11
Johannes Oetsch, Hans Tompits:
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. 254-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Gelfond11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Gelfond11
Michael Gelfond:
New Semantics for Epistemic Specifications. 260-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/JanotaM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/JanotaM11
Mikolás Janota, João Marques-Silva:
cmMUS: A Tool for Circumscription-Based MUS Membership Testing. 266-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GomesA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GomesA11
Ana Sofia Gomes, José Júlio Alferes:
Transaction Logic with External Actions. 272-277
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/OsorioCZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/OsorioCZ11
Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
An Application of Clasp in the Study of Logics. 278-283

Application Descriptions

Long Application Description

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Balduccini11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Balduccini11
Marcello Balduccini:
Industrial-Size Scheduling with ASP+CP. 284-296

Short Application Descriptions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/BarkerG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/BarkerG11
Steve Barker, Valerio Genovese:
Secommunity: A Framework for Distributed Access Control. 297-303
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/Jarvisalo11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/Jarvisalo11
Matti Järvisalo:
Itemset Mining as a Challenge Application for Answer Set Enumeration. 304-310
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/AkerEEP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/AkerEEP11
Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu:
Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots. 311-316

System Descriptions

Long System Descriptions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/FebbraroRR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/FebbraroRR11
Onofrio Febbraro, Kristian Reale, Francesco Ricca:
ASPIDE: Integrated Development Environment for Answer Set Programming. 317-330
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/NguyenSPS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/NguyenSPS11
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
ASP-Prolog for Negotiation among Dishonest Agents. 331-344

Short System Descriptions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GebserKKS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GebserKKS11
Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub:
Advances in gringo Series 3. 345-351
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GebserKKSSZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GebserKKSSZ11
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller:
A Portfolio Solver for Answer Set Programming: Preliminary Report. 352-357
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GebserKKS11a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GebserKKS11a
Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub:
plasp: A Prototype for PDDL-Based Planning in ASP. 358-363
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/GebserKKSS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/GebserKKSS11
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor:
Cluster-Based ASP Solving with claspar. 364-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/CabalarD11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/CabalarD11
Pedro Cabalar, Martín Diéguez:
STeLP - A Tool for Temporal Answer Set Programming. 370-375
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/ZhouSY11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/ZhouSY11
Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You:
Compiling Answer Set Programs into Event-Driven Action Rules. 376-381
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/OetschPSTZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/OetschPSTZ11
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl:
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. 382-387

ASP Competition

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri:
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. 388-403

maintained by

at