7. LPNMR 2004: Fort Lauderdale, FL, USA

Vladimir Lifschitz, Ilkka Niemelä (Eds.): Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Lecture Notes in Computer Science 2923 Springer 2004, ISBN 3-540-20721-X BibTeX

Invited Papers

Rina Dechter:
Constraints and Probabilistic Networks: A Look At The Interface. 1
Electronic Edition (link) BibTeX
Henry A. Kautz:
Toward A Universal Inference Engine. 2
Electronic Edition (link) BibTeX
Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski:
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. 3-7
Electronic Edition (link) BibTeX

Regular Papers

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite:
Semantics for Dynamic Logic Programming: A Principle-Based Approach. 8-20
Electronic Edition (link) BibTeX
Chitta Baral, Michael Gelfond, J. Nelson Rushton:
Probabilistic Reasoning With Answer Sets. 21-33
Electronic Edition (link) BibTeX
Gerhard Brewka:
Answer Sets: From Constraint Programming Towards Qualitative Optimization. 34-46
Electronic Edition (link) BibTeX
Marc Denecker, Eugenia Ternovska:
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. 47-60
Electronic Edition (link) BibTeX
Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael:
Reasoning About Actions and Change in Answer Set Programming. 61-73
Electronic Edition (link) BibTeX
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz:
Almost Definite Causal Theories. 74-86
Electronic Edition (link) BibTeX
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Simplifying Logic Programs Under Uniform and Strong Equivalence. 87-99
Electronic Edition (link) BibTeX
Thomas Eiter, Axel Polleres:
Towards Automated Integration of Guess and Check Programs in Answer Set Programming. 100-113
Electronic Edition (link) BibTeX
Kathrin Konczak, Thomas Linke, Torsten Schaub:
Graphs and Colorings for Answer Set Programming: Abridged Report. 127-140
Electronic Edition (link) BibTeX
Joohyung Lee:
Nondefinite vs. Definite Causal Theories. 141-153
Electronic Edition (link) BibTeX
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic Programs With Monotone Cardinality Atoms. 154-166
Electronic Edition (link) BibTeX
V. Wiktor Marek, Jeffrey B. Remmel:
Set Constraints in Logic Programming. 167-179
Electronic Edition (link) BibTeX
Emilia Oikarinen, Tomi Janhunen:
Verifying the Equivalence of Logic Programs in the Disjunctive Case. 180-193
Electronic Edition (link) BibTeX
David Pearce, Agustín Valverde:
Uniform Equivalence for Equilibrium Logic and Logic Programs. 194-206
Electronic Edition (link) BibTeX
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
Partial Stable Models for Logic Programs with Aggregates. 207-219
Electronic Edition (link) BibTeX
Gerald Pfeifer:
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. 220-233
Electronic Edition (link) BibTeX
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman:
Using Criticalities as a Heuristic for Answer Set Programming. 234-246
Electronic Edition (link) BibTeX
Tran Cao Son, Enrico Pontelli:
Planning with Preferences Using Logic Programming. 247-260
Electronic Edition (link) BibTeX
Tran Cao Son, Phan Huy Tu, Chitta Baral:
Planning with Sensing Actions and Incomplete Information Using Logic Programming. 261-274
Electronic Edition (link) BibTeX
Terrance Swift:
Deduction in Ontologies via ASP. 275-288
Electronic Edition (link) BibTeX
Hudson Turner:
Strong Equivalence for Causal Theories. 289-301
Electronic Edition (link) BibTeX
Jeffrey Ward, John S. Schlipf:
Answer Set Programming with Clause Learning. 302-313
Electronic Edition (link) BibTeX
Dongmo Zhang:
Properties of Iterated Multiple Belief Revision. 314-325
Electronic Edition (link) BibTeX

System Descriptions

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV with Aggregates. 326-330
Electronic Edition (link) BibTeX
Tomi Janhunen, Ilkka Niemelä:
GNT - A Solver for Disjunctive Logic Programs. 331-335
Electronic Edition (link) BibTeX
Tomi Janhunen, Emilia Oikarinen:
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. 336-340
Electronic Edition (link) BibTeX
Nicola Leone, Vincenzino Lio, Giorgio Terracina:
DLV DB: Adding Efficient Data Management Features to ASP. 341-345
Electronic Edition (link) BibTeX
Yuliya Lierler, Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. 346-350
Electronic Edition (link) BibTeX
Lengning Liu, Miroslaw Truszczynski:
WSAT(CC) - A Fast Local-Search ASP Solver. 351-355
Electronic Edition (link) BibTeX
Enrico Pontelli, Tran Cao Son, Islam Elkabani:
Smodels with CLP?A Treatment of Aggregates in ASP. 356-360
Electronic Edition (link) BibTeX
Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
nlp: A Compiler for Nested Logic Programming. 361-364
Electronic Edition (link) BibTeX