9. LPNMR 2007:
Tempe,
AZ,
USA
Chitta Baral, Gerhard Brewka, John S. Schlipf (Eds.):
Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings.
Lecture Notes in Computer Science 4483 Springer 2007, ISBN 978-3-540-72199-4 BibTeX
I. Invited Talks/Competition
II. Technical Papers
- Marcello Balduccini:
cr-models: An Inference Engine for CR-Prolog.
18-30
Electronic Edition (link) BibTeX
- Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
Debugging ASP Programs by Means of ASP.
31-43
Electronic Edition (link) BibTeX
- Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.
44-57
Electronic Edition (link) BibTeX
- Philippe Chapdelaine, Miki Hermann, Ilka Schnoor:
Complexity of Default Logic on Generalized Conjunctive Queries.
58-70
Electronic Edition (link) BibTeX
- James P. Delgrande, Torsten Schaub, Hans Tompits:
A Preference-Based Framework for Updating Logic Programs.
71-83
Electronic Edition (link) BibTeX
- Marc Denecker, Joost Vennekens:
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.
84-96
Electronic Edition (link) BibTeX
- Wolfgang Faber, Nicola Leone:
On the Complexity of Answer Set Programming with Aggregates.
97-109
Electronic Edition (link) BibTeX
- Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs.
110-122
Electronic Edition (link) BibTeX
- Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran:
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
123-135
Electronic Edition (link) BibTeX
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Enumeration.
136-148
Electronic Edition (link) BibTeX
- Martin Gebser, Joohyung Lee, Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs.
149-161
Electronic Edition (link) BibTeX
- Ping Hou, Johan Wittocx, Marc Denecker:
A Deductive System for PC(ID).
162-174
Electronic Edition (link) BibTeX
- Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
175-187
Electronic Edition (link) BibTeX
- Vladimir Lifschitz, David Pearce, Agustín Valverde:
A Characterization of Strong Equivalence for Logic Programs with Variables.
188-200
Electronic Edition (link) BibTeX
- Marc Meister, Khalil Djelloul, Jacques Robin:
A Unified Semantics for Constraint Handling Rules in Transaction Logic.
201-213
Electronic Edition (link) BibTeX
- Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir:
Conditional Planning with External Functions.
214-227
Electronic Edition (link) BibTeX
- Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen:
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.
228-240
Electronic Edition (link) BibTeX
- Yi Zhou, Fangzhen Lin, Yan Zhang:
General Default Logic.
241-253
Electronic Edition (link) BibTeX
III. System Descriptions
- Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli:
The LP-OD System: Logic Programming Meets Outlier Detection.
254-259
Electronic Edition (link) BibTeX
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver.
260-265
Electronic Edition (link) BibTeX
- Martin Gebser, Torsten Schaub, Sven Thiele:
GrinGo : A New Grounder for Answer Set Programming.
266-271
Electronic Edition (link) BibTeX
- Aaron Hunter, James P. Delgrande, Joel Faber:
Using Answer Sets to Solve Belief Change Problems.
272-277
Electronic Edition (link) BibTeX
- Gayathri Namasivayam, Miroslaw Truszczynski:
An Smodels System with Limited Lookahead Computation.
278-283
Electronic Edition (link) BibTeX
- Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Programming Applications in CIFF.
284-289
Electronic Edition (link) BibTeX
- Phan Huy Tu, Tran Cao Son, Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences.
290-296
Electronic Edition (link) BibTeX
Posters
Copyright © Sat May 16 23:29:03 2009
by Michael Ley (ley@uni-trier.de)
