Lecture Notes in Artificial Intelligence

Free Preview

Logic Programming and Nonmonotonic Reasoning

7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Editors: Lifschitz, Vladimir, Niemelä, Ilkka (Eds.)

Free Preview

Buy this book

eBook $84.99

price for USA in USD

Buy eBook

ISBN 978-3-540-24609-1
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover $109.00

price for USA in USD

Buy Softcover

ISBN 978-3-540-20721-4
Free shipping for individuals worldwide
Institutional customers should get in touch with their account manager
Please be advised Covid-19 shipping restrictions apply. Please review prior to ordering
Usually ready to be dispatched within 3 to 5 business days, if in stock

Table of contents (35 chapters)

Table of contents (35 chapters)

Constraints and Probabilistic Networks: A Look At The Interface

Pages 1-1

Dechter, Rina

Preview Buy Chapter $29.95
Toward A Universal Inference Engine

Pages 2-2

Kautz, Henry

Preview Buy Chapter $29.95
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative

Pages 3-7

Borchert, Paul (et al.)

Preview Buy Chapter $29.95
Semantics for Dynamic Logic Programming: A Principle-Based Approach

Pages 8-20

Alferes, José J. (et al.)

Preview Buy Chapter $29.95
Probabilistic Reasoning With Answer Sets

Pages 21-33

Baral, Chitta (et al.)

Preview Buy Chapter $29.95

Answer Sets: From Constraint Programming Towards Qualitative Optimization

Pages 34-46

Brewka, Gerhard

Preview Buy Chapter $29.95
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties

Pages 47-60

Denecker, Marc (et al.)

Preview Buy Chapter $29.95
Reasoning About Actions and Change in Answer Set Programming

Pages 61-73

Dimopoulos, Yannis (et al.)

Preview Buy Chapter $29.95
Almost Definite Causal Theories

Pages 74-86

Doğandağ, Semra (et al.)

Preview Buy Chapter $29.95
Simplifying Logic Programs Under Uniform and Strong Equivalence

Pages 87-99

Eiter, Thomas (et al.)

Preview Buy Chapter $29.95
Towards Automated Integration of Guess and Check Programs in Answer Set Programming

Pages 100-113

Eiter, Thomas (et al.)

Preview Buy Chapter $29.95
Towards Automated Integration of Guess and Check Programs in Answer Set Programming

Pages 114-126

Eiter, Thomas (et al.)

Preview Buy Chapter $29.95
Graphs and Colorings for Answer Set Programming: Abridged Report

Pages 127-140

Konczak, Kathrin (et al.)

Preview Buy Chapter $29.95
Nondefinite vs. Definite Causal Theories

Pages 141-153

Lee, Joohyung

Preview Buy Chapter $29.95
Logic Programs With Monotone Cardinality Atoms

Pages 154-166

Marek, Victor W. (et al.)

Preview Buy Chapter $29.95
Set Constraints in Logic Programming

Pages 167-179

Marek, Victor W. (et al.)

Preview Buy Chapter $29.95
Verifying the Equivalence of Logic Programs in the Disjunctive Case

Pages 180-193

Oikarinen, Emilia (et al.)

Preview Buy Chapter $29.95
Uniform Equivalence for Equilibrium Logic and Logic Programs

Pages 194-206

Pearce, David (et al.)

Preview Buy Chapter $29.95
Partial Stable Models for Logic Programs with Aggregates

Pages 207-219

Pelov, Nikolay (et al.)

Preview Buy Chapter $29.95
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs

Pages 220-233

Pfeifer, Gerald

Preview Buy Chapter $29.95
Using Criticalities as a Heuristic for Answer Set Programming

Pages 234-246

Sabuncu, Orkunt (et al.)

Preview Buy Chapter $29.95
Planning with Preferences Using Logic Programming

Pages 247-260

Son, Tran Cao (et al.)

Preview Buy Chapter $29.95
Planning with Sensing Actions and Incomplete Information Using Logic Programming

Pages 261-274

Son, Tran Cao (et al.)

Preview Buy Chapter $29.95
Deduction in Ontologies via ASP

Pages 275-288

Swift, Terrance

Preview Buy Chapter $29.95
Strong Equivalence for Causal Theories

Pages 289-301

Turner, Hudson

Preview Buy Chapter $29.95

Answer Set Programming with Clause Learning

Pages 302-313

Ward, Jeffrey (et al.)

Preview Buy Chapter $29.95
Properties of Iterated Multiple Belief Revision

Pages 314-325

Zhang, Dongmo

Preview Buy Chapter $29.95
System Description: DLV with Aggregates

Pages 326-330

Dell’Armi, Tina (et al.)

Preview Buy Chapter $29.95
GNT — A Solver for Disjunctive Logic Programs

Pages 331-335

Janhunen, Tomi (et al.)

Preview Buy Chapter $29.95
LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs

Pages 336-340

Janhunen, Tomi (et al.)

Preview Buy Chapter $29.95
DLV DB : Bridging the Gap between ASP Systems and DBMSs

Pages 341-345

Leone, Nicola (et al.)

Preview Buy Chapter $29.95
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs

Pages 346-350

Lierler, Yuliya (et al.)

Preview Buy Chapter $29.95
WSAT(CC) — A Fast Local-Search ASP Solver

Pages 351-355

Liu, Lengning (et al.)

Preview Buy Chapter $29.95
Smodels with CLP—A Treatment of Aggregates in ASP

Pages 356-360

Pontelli, Enrico (et al.)

Preview Buy Chapter $29.95
nlp: A Compiler for Nested Logic Programming

Pages 361-364

Sarsakov, Vladimir (et al.)

Preview Buy Chapter $29.95

Read this book on SpringerLink

Buy this book

eBook $84.99

price for USA in USD

Buy eBook

ISBN 978-3-540-24609-1
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover $109.00

price for USA in USD

Buy Softcover

ISBN 978-3-540-20721-4
Free shipping for individuals worldwide
Institutional customers should get in touch with their account manager
Please be advised Covid-19 shipping restrictions apply. Please review prior to ordering
Usually ready to be dispatched within 3 to 5 business days, if in stock

Services for this Book

Download Product Flyer Download High-Resolution Cover

Recommended for you

Bibliographic Information

Bibliographic Information

Book Title

Logic Programming and Nonmonotonic Reasoning

Book Subtitle

7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Editors

Vladimir Lifschitz
Ilkka Niemelä

Series Title

Lecture Notes in Artificial Intelligence

Series Volume

2923

Copyright

2004

Publisher

Springer-Verlag Berlin Heidelberg

Copyright Holder

Springer-Verlag Berlin Heidelberg

eBook ISBN: 978-3-540-24609-1
DOI: 10.1007/b94792
Softcover ISBN: 978-3-540-20721-4
Edition Number: 1

Number of Pages

X, 370

Topics

Software Engineering / Programming and Operating Systems