Research Catalog

Title

Logic programming and non-monotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings / W.M. Marek, A. Nerode, M. Truszczyński, eds.

Author

LPNMR '95 (1995 : Lexington, Ky.)

Publication

Berlin ; New York : Springer Verlag, 1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Marek, Wiktor.
• Nerode, Anil, 1932-
• Truszczyński, Mirosław.

Description

viii, 415 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 928. Lecture notes in artificial intelligence

Uniform Title

• Lecture notes in computer science ; 928.
• Lecture notes in computer science. Lecture notes in artificial intelligence.

Subject

• Logic programming > Congresses
• Reasoning > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Complexity Results for Abductive Logic Programming / T. Eiter, G. Gottlob and N. Leone -- A Terminological Interpretation of (Abductive) Logic Programming / M. Denecker -- Abduction over 3-valued Extended Logic Programs / C. V. Damasio and L. M. Pereira -- On Logical Constraints in Logic Programming / V. W. Marek, A. Nerode and J. B. Remmel -- An Operator for Composing Deductive Data Bases with Theories of Constraints / D. Aquilino, P. Asirelli, C. Renso and F. Turini -- Update Rules in Datalog Programs / M. Halfeld Ferrari Alves, D. Laurent and N. Spyratos -- Characterizations of the Stable Semantics by Partial Evaluation / S. Brass and J. Dix -- Game Characterizations of Logic Program Properties / H. A. Blair -- Computing the Well-Founded Semantics Faster / K. A. Berman, J. S. Schlipf and J. V. Franco -- Loop Checking and the Well-Founded Semantics / V. Lifschitz, N. McCain, T. C. Przymusinski and R. F. Stark -- Annotated Revision Specification Programs / M. Fitting.
• Update by Means of Inference Rules / T. C. Przymusinski and H. Turner -- A Sphere World Semantics for Default Reasoning / J. C. P. da Silva and S. R. M. Veloso -- Revision by Communication / C. Witteveen and W. van der Hoek -- Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language / D. Gabbay, L. Giordano, A. Martelli and N. Olivetti -- Situation Calculus Specifications for Event Calculus Logic Programs / R. Miller -- On the Extension of Logic Programming with Negation through Uniform Proofs / L.-Y. Yuan and J.-H. You -- Default Consequence Relations as a Logical Framework for Logic Programs / A. Bochman -- Skeptical Rational Extensions / A. Mikitiuk and M. Truszczynski -- Reasoning with Stratified Default Theories / P. Cholewinski -- Incremental Methods for Optimizing Partial Instantiation / R. T. Ng and X. Tian -- A Transformation of Propositional Prolog Programs into Classical Logic / R. F. Stark.
• Nonmonotonic Inheritance, Argumentation and Logic Programming / P. M. Dung and T. C. Son -- An Abductive Framework for Extended Logic Programming / A. Brogi, E. Lamma, P. Mancarella and P. Mello -- Embedding Circumscriptive Theories in General Disjunctive Programs / C. Sakama and K. Inoue -- Stable Classes and Operator Pairs for Disjunctive Programs / J. Kalinski -- Nonmonotonicity and Answer Set Inference / D. Pearce -- Trans-Epistemic Semantics for Logic Programs / A. Rajasekar -- Computing the Acceptability Semantics / F. Toni and A. C. Kakas.

ISBN

• 3540594876 (Berlin : acid-free paper)
• 0387594876 (New York : acid-free paper)

LCCN

95023976

OCLC

• 319586764
• ocn319586764

Owning Institutions

Columbia University Libraries