The Resource Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
Resource Information
The item Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 Summary
 This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
 Language
 eng
 Extent
 1 online resource
 Contents

 Complexity results for abductive logic programming
 A terminological interpretation of (abductive) logic programming
 Abduction over 3valued extended logic programs
 On logical constraints in logic programming
 An operator for composing deductive data bases with theories of constraints
 Update rules in datalog programs
 Characterizations of the stable semantics by partial evaluation
 Game characterizations of logic program properties
 Computing the wellfounded semantics faster
 Loop checking and the wellfounded semantics
 Annotated revision specification programs
 Update by means of inference rules
 A sphere world semantics for default reasoning
 Revision by communication
 Hypothetical updates, priority and inconsistency in a logic programming language
 Situation calculus specifications for event calculus logic programs
 On the extension of logic programming with negation through uniform proofs
 Default consequence relations as a logical framework for logic programs
 Skeptical rational extensions
 Reasoning with stratified default theories
 Incremental methods for optimizing partial instantiation
 A transformation of propositional Prolog programs into classical logic
 Nonmonotonic inheritance, argumentation and logic programming
 An abductive framework for extended logic programming
 Embedding circumscriptive theories in general disjunctive programs
 Stable classes and operator pairs for disjunctive programs
 Nonmonotonicity and answer set inference
 Transepistemic semantics for logic programs
 Computing the acceptability semantics
 Isbn
 9783540492825
 Label
 Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings
 Title
 Logic Programming and Nonmonotonic Reasoning
 Title remainder
 Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings
 Statement of responsibility
 edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
 Language
 eng
 Summary
 This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
 Cataloging source
 KIJ
 Dewey number
 006.3
 Image bit depth
 0
 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

 dictionaries
 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 Computer Science, Lecture Notes in Artificial Intelligence,
 Series volume
 928
 http://library.link/vocab/subjectName

 Computer science
 Artificial intelligence
 Logic, Symbolic and mathematical
 Artificial intelligence
 Computer science
 Logic, Symbolic and mathematical
 Computer Science
 Engineering & Applied Sciences
 Label
 Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Complexity results for abductive logic programming  A terminological interpretation of (abductive) logic programming  Abduction over 3valued extended logic programs  On logical constraints in logic programming  An operator for composing deductive data bases with theories of constraints  Update rules in datalog programs  Characterizations of the stable semantics by partial evaluation  Game characterizations of logic program properties  Computing the wellfounded semantics faster  Loop checking and the wellfounded semantics  Annotated revision specification programs  Update by means of inference rules  A sphere world semantics for default reasoning  Revision by communication  Hypothetical updates, priority and inconsistency in a logic programming language  Situation calculus specifications for event calculus logic programs  On the extension of logic programming with negation through uniform proofs  Default consequence relations as a logical framework for logic programs  Skeptical rational extensions  Reasoning with stratified default theories  Incremental methods for optimizing partial instantiation  A transformation of propositional Prolog programs into classical logic  Nonmonotonic inheritance, argumentation and logic programming  An abductive framework for extended logic programming  Embedding circumscriptive theories in general disjunctive programs  Stable classes and operator pairs for disjunctive programs  Nonmonotonicity and answer set inference  Transepistemic semantics for logic programs  Computing the acceptability semantics
 Control code
 827359856
 Dimensions
 unknown
 Extent
 1 online resource
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9783540492825
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/3540594876
 Other physical details
 volumes: digital.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)827359856
 Label
 Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Complexity results for abductive logic programming  A terminological interpretation of (abductive) logic programming  Abduction over 3valued extended logic programs  On logical constraints in logic programming  An operator for composing deductive data bases with theories of constraints  Update rules in datalog programs  Characterizations of the stable semantics by partial evaluation  Game characterizations of logic program properties  Computing the wellfounded semantics faster  Loop checking and the wellfounded semantics  Annotated revision specification programs  Update by means of inference rules  A sphere world semantics for default reasoning  Revision by communication  Hypothetical updates, priority and inconsistency in a logic programming language  Situation calculus specifications for event calculus logic programs  On the extension of logic programming with negation through uniform proofs  Default consequence relations as a logical framework for logic programs  Skeptical rational extensions  Reasoning with stratified default theories  Incremental methods for optimizing partial instantiation  A transformation of propositional Prolog programs into classical logic  Nonmonotonic inheritance, argumentation and logic programming  An abductive framework for extended logic programming  Embedding circumscriptive theories in general disjunctive programs  Stable classes and operator pairs for disjunctive programs  Nonmonotonicity and answer set inference  Transepistemic semantics for logic programs  Computing the acceptability semantics
 Control code
 827359856
 Dimensions
 unknown
 Extent
 1 online resource
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9783540492825
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/3540594876
 Other physical details
 volumes: digital.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)827359856
Subject
 Artificial intelligence
 Artificial intelligence
 Computer Science
 Computer science
 Computer science
 Computer science
 Engineering & Applied Sciences
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Artificial intelligence
Member of
 Lecture notes in computer science, Lecture notes in artificial intelligence, 928
 Lecture notes in computer science, Lecture notes in artificial intelligence, 928.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/LogicProgrammingandNonmonotonicReasoning/TE4FQsxwjg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/LogicProgrammingandNonmonotonicReasoning/TE4FQsxwjg/">Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/LogicProgrammingandNonmonotonicReasoning/TE4FQsxwjg/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/LogicProgrammingandNonmonotonicReasoning/TE4FQsxwjg/">Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 2628, 1995 Proceedings, edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>