Coverart for item
The Resource Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings, Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)

Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings, Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)

Label
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Title
Logics in artificial intelligence
Title remainder
European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Statement of responsibility
Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
Title variation
JELIA '98
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998. The 25 revised full papers presented were carefully selected from a total of 65 submissions. Also included are two abstracts of invited talks. The papers are organized in topical sections on logic programming, epistemic logics, theorem proving, non-monotonic reasoning, non-standard logics, knowledge representation, and higher order logics
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
006.3
Illustrations
illustrations
Index
index present
Language note
English
LC call number
Q334
LC item number
.E985 1998
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
European Workshop JELIA'98
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Dix, J.
  • Fariñas del Cerro, Luis
  • Furbach, Ulrich
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1489.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Kunstmatige intelligentie
  • Logica
  • Automatisches Beweisverfahren
  • Kongress
  • Logische Programmierung
  • Nichtmonotones Schließen
  • Nonstandard-Logik
  • Inteligencia artificial
  • Logique symbolique et mathématique
  • Intelligence artificielle
Label
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings, Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving --?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment
Control code
681493992
Dimensions
unknown
Extent
1 online resource (x, 390 pages)
Form of item
online
Isbn
9783540495451
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49545-2
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)681493992
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings, Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving --?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment
Control code
681493992
Dimensions
unknown
Extent
1 online resource (x, 390 pages)
Form of item
online
Isbn
9783540495451
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49545-2
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)681493992
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...