Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006047465/catalog> ?p ?o. }

• catalog contributor b8474204.
• catalog contributor b8474205.
• catalog contributor b8474206.
• catalog contributor b8474207.
• catalog created "c1995.".
• catalog date "1995".
• catalog date "c1995.".
• catalog dateCopyrighted "c1995.".
• catalog description "A Transformation of Propositional Prolog Programs into Classical Logic / R. F. Stark".
• catalog description "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".
• catalog description "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".
• catalog description "Includes bibliographical references and index.".
• catalog description "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.".
• catalog extent "viii, 415 p. :".
• catalog identifier "0387594876 (New York : acid-free paper)".
• catalog identifier "3540594876 (Berlin : acid-free paper)".
• catalog isPartOf "Lecture notes in artificial intelligence ; 928, Lecture notes in computer science".
• catalog isPartOf "Lecture notes in computer science ; 928.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1995".
• catalog issued "c1995.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/1 20".
• catalog subject "Logic programming Congresses.".
• catalog subject "Nonmonotonic reasoning Congresses.".
• catalog subject "QA76.63 .L74 1995".
• catalog subject "QA76.63 L74 1995".
• catalog subject "Reasoning Congresses.".
• catalog tableOfContents "A Transformation of Propositional Prolog Programs into Classical Logic / R. F. Stark".
• catalog tableOfContents "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".
• catalog tableOfContents "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".
• catalog tableOfContents "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.".
• catalog title "Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings / W.M. Marek, A. Nerode, M. Truszczyński, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "text".