The Resource Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings, V.W. Marek, A. Nerode, M. Truszczyński, eds

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

Label
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings
Title
Logic programming and nonmonotonic reasoning
Title remainder
third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings
Statement of responsibility
V.W. Marek, A. Nerode, M. Truszczyński, eds
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.63
LC item number
.L74 1995
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
LPNMR '95
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1932-
http://library.link/vocab/relatedWorkOrContributorName
  • Marek, Wiktor
  • Nerode, Anil
  • Truszczyński, Mirosław
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science
Series volume
928,
http://library.link/vocab/subjectName
  • Logic programming
  • Nonmonotonic reasoning
  • logique défaut
  • sémantique
  • base donnée déductive
  • contrainte
  • abduction
  • raisonnement non monotone
  • programmation en logique
  • Programmation logique
  • Raisonnement non-monotone
  • Logic programming
  • Nonmonotonic reasoning
  • Logisch programmeren
  • Programmation logique
  • Raisonnement
Label
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings, V.W. Marek, A. Nerode, M. Truszczyński, eds
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • Complexity Results for Abductive Logic Programming
  • Loop Checking and the Well-Founded Semantics
  • V. Lifschitz, N. McCain, T.C. Przymusinski and R.F. Stark
  • 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
  • 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
  • Annotated Revision Specification Programs
  • Reasoning with Stratified Default Theories
  • P. Cholewinski
  • Incremental Methods for Optimizing Partial Instantiation
  • R.T. Ng and X. Tian
  • 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
  • A Transformation of Propositional Prolog Programs into Classical Logic
  • R.F. Stark
  • 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
  • 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
Dimensions
24 cm.
Extent
viii, 415 pages
Isbn
9780387594873
Lccn
95023976
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)32664684
  • (OCoLC)ocm32664684
Label
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings, V.W. Marek, A. Nerode, M. Truszczyński, eds
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • Complexity Results for Abductive Logic Programming
  • Loop Checking and the Well-Founded Semantics
  • V. Lifschitz, N. McCain, T.C. Przymusinski and R.F. Stark
  • 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
  • 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
  • Annotated Revision Specification Programs
  • Reasoning with Stratified Default Theories
  • P. Cholewinski
  • Incremental Methods for Optimizing Partial Instantiation
  • R.T. Ng and X. Tian
  • 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
  • A Transformation of Propositional Prolog Programs into Classical Logic
  • R.F. Stark
  • 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
  • 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
Dimensions
24 cm.
Extent
viii, 415 pages
Isbn
9780387594873
Lccn
95023976
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)32664684
  • (OCoLC)ocm32664684

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...