Logic programming and nonmonotonic reasoning [electronic resource] : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.).
- Conference Author:
- LPNMR 2004 (2004 : Fort Lauderdale, Fla.)
- Published:
- Berlin ; New York : Springer, [2004]
- Copyright Date:
- ©2004
- Physical Description:
- ix, 364 pages : illustrations ; 24 cm.
- Additional Creators:
- Lifschitz, Vladimir
Niemelä, Ilkka, 1961- - Access Online:
- serialssolutions.com
- Series:
- Lecture notes in computer science ; 2923. Lecture notes in artificial intelligence
- Restrictions on Access:
- License restrictions may limit access.
- Contents:
- Machine generated contents note: Constraints and Probabilistic Networks: A Look at the Interface / Rina Dechter -- Toward a Universal Inference Engine / Henry Kautz -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative / Miroslaw Truszczynski / Torsten Schaub / Paul Borchert / Christian Anger -- Semantics for Dynamic Logic Programming: A Principle-Based Approach / Antonio Brogi / Federico Banti / Joao A. Leite / Jose J. Alferes -- Probabilistic Reasoning with Answer Sets / Nelson Rushton / Chitta Baral / Michael Gelfond -- Answer Sets: From Constraint Programming towards Qualitative Optimization / Gerhard Brewka -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties / Marc Denecker / Eugenia Ternovska -- Reasoning about Actions and Change in Answer Set Programming / Loizos Michael / Yannis Dimopoulos / Antonis C. Kakas -- Almost Definite Causal Theories / Semra Dogandag / Vladimir Lifschitz / Paolo Ferraris -- Simplifying Logic Programs under Uniform and Strong Equivalence / Stefan Woltran / Hans Tompits / Michael Fink / Thomas Eiter -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming / Thomas Eiter / Axel Polleres -- Definitions in Answer Set Programming / Selim T. Erdogan / Vladimir Lifschitz -- Graphs and Colorings for Answer Set Programming: Abridged Report / Kathrin Konczak / Torsten Schaub / Thomas Linke -- Nondefinite vs. Definite Causal Theories / Joohyung Lee -- Logic Programs with Monotone Cardinality Atoms / Victor W. Marek / Ilkka Niemela / Miroslaw Truszczynski -- Set Constraints in Logic Programming / Victor W. Marek / Jeffrey B. Remmel -- Verifying the Equivalence of Logic Programs in the Disjunctive Case / Emilia Oikarinen / Tomi Janhunen -- Uniform Equivalence for Equilibrium Logic and Logic Programs / David Pearce / Agustin Valverde -- Partial Stable Models for Logic Programs with Aggregates / Nikolay Pelov / Marc Denecker / Maurice Bruynooghe -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs / Gerald Pfeifer -- Using Criticalities as a Heuristic for Answer Set Programming / Varol Akman / Orkunt Sabuncu / Ferda N. Alpaslan -- Planning with Preferences Using Logic Programming / Enrico Pontelli / Tran Cao Son -- Planning with Sensing Actions and Incomplete Information Using Logic Programming / Tran Cao Son / Phan Huy Tu / Chitta Baral -- Deduction in Ontologies via ASP / Terrance Swift -- Strong Equivalence for Causal Theories / Hudson Turner -- Answer Set Programming with Clause Learning / John S. Schlipf / Jeffrey Ward -- Properties of Iterated Multiple Belief Revision / Dongmo Zhang -- System Description: DLV with Aggregates / Simona Perri / Gerald Pfeifer / Nicola Leone / Giuseppe Ielpa / Wolfgang Faber / Tina Dell'Armi -- GNT - A Solver for Disjunctive Logic Programs / Tomi Janhunen / Ilkka Niemela -- LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs / Tomi Janhunen / Emilia Oikarinen -- DLV[superscript DB]: Bridging the Gap between ASP Systems and DBMSs / Giorgio Terracina / Nicola Leone / Vincenzino Lio -- Cmodels-2: SAT-Based Answer Set Solver Enhanced to Non-tight Programs / Marco Maratea / Yuliya Lierler -- WSAT(CC) - A Fast Local-Search ASP Solver / Miroslaw Truszczynski / Lengning Liu -- Smodels with CLP - A Treatment of Aggregates in ASP / Islam Elkabani / Enrico Pontelli / Tran Cao Son -- nlp: A Compiler for Nested Logic Programming / Vladimir Sarsakov / Torsten Schaub / Hans Tompits / Stefan Woltran.
- Subject(s):
- Genre(s):
- ISBN:
- 354020721X (softcover : alk. paper)
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 7855297