The Resource Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 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 26-28, 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 26-28, 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 26-28, 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 cross-fertilization 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 3-valued 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 well-founded semantics faster
- Loop checking and the well-founded 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
- Trans-epistemic 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 26-28, 1995 Proceedings
- Title
- Logic Programming and Nonmonotonic Reasoning
- Title remainder
- Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 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 cross-fertilization 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 26-28, 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 3-valued 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 well-founded semantics faster -- Loop checking and the well-founded 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 -- Trans-epistemic 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/3-540-59487-6
- 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 26-28, 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 3-valued 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 well-founded semantics faster -- Loop checking and the well-founded 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 -- Trans-epistemic 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/3-540-59487-6
- 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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logic-Programming-and-Nonmonotonic-Reasoning-/-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/Logic-Programming-and-Nonmonotonic-Reasoning-/-TE4FQsxwjg/">Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 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 26-28, 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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logic-Programming-and-Nonmonotonic-Reasoning-/-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/Logic-Programming-and-Nonmonotonic-Reasoning-/-TE4FQsxwjg/">Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 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>
