+612 9045 4394
 
CHECKOUT
Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings :  7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings - Vladimir Lifschitz

Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings

7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings

By: Vladimir Lifschitz (Editor), Ikka Niemela (Editor)

Paperback Published: February 2004
ISBN: 9783540207214
Number Of Pages: 370

Share This Book:

Paperback

$135.50
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004.The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

Constraints and Probabilistic Networks: A Look at the Interfacep. 1
Toward a Universal Inference Enginep. 2
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiativep. 3
Semantics for Dynamic Logic Programming: A Principle-Based Approachp. 8
Probabilistic Reasoning with Answer Setsp. 21
Answer Sets: From Constraint Programming towards Qualitative Optimizationp. 34
A Logic of Non-monotone Inductive Definitions and Its Modularity Propertiesp. 47
Reasoning about Actions and Change in Answer Set Programmingp. 61
Almost Definite Causal Theoriesp. 74
Simplifying Logic Programs under Uniform and Strong Equivalencep. 87
Towards Automated Integration of Guess and Check Programs in Answer Set Programmingp. 100
Definitions in Answer Set Programmingp. 114
Graphs and Colorings for Answer Set Programming: Abridged Reportp. 127
Nondefinite vs. Definite Causal Theoriesp. 141
Logic Programs with Monotone Cardinality Atomsp. 154
Set Constraints in Logic Programmingp. 167
Verifying the Equivalence of Logic Programs in the Disjunctive Casep. 180
Uniform Equivalence for Equilibrium Logic and Logic Programsp. 194
Partial Stable Models for Logic Programs with Aggregatesp. 207
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programsp. 220
Using Criticalities as a Heuristic for Answer Set Programmingp. 234
Planning with Preferences Using Logic Programmingp. 247
Planning with Sensing Actions and Incomplete Information Using Logic Programmingp. 261
Deduction in Ontologies via ASPp. 275
Strong Equivalence for Causal Theoriesp. 289
Answer Set Programming with Clause Learningp. 302
Properties of Iterated Multiple Belief Revisionp. 314
System Description: DLV with Aggregatesp. 326
GNT - A Solver for Disjunctive Logic Programsp. 331
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programsp. 336
DLV[superscript DB]: Bridging the Gap between ASP Systems and DBMSsp. 341
Cmodels-2: SAT-Based Answer Set Solver Enhanced to Non-tight Programsp. 346
WSAT(CC) - A Fast Local-Search ASP Solverp. 351
Smodels with CLP - A Treatment of Aggregates in ASPp. 356
nlp: A Compiler for Nested Logic Programmingp. 361
Author Indexp. 365
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540207214
ISBN-10: 354020721X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 370
Published: February 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.11 x 15.49  x 2.29
Weight (kg): 0.58
Edition Type: Abridged