ISBN-10:
354055887X
ISBN-13:
9783540558873
Pub. Date:
09/10/1992
Publisher:
Springer Berlin Heidelberg
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

by David Pearce, Gerd Wagner

Paperback

Current price is , Original price is $119.0. You
Select a Purchase Option (1992)
  • purchase options
    $111.38 $119.00 Save 6% Current price is $111.38, Original price is $119. You Save 6%.
  • purchase options

Product Details

ISBN-13: 9783540558873
Publisher: Springer Berlin Heidelberg
Publication date: 09/10/1992
Series: Lecture Notes in Computer Science , #633
Edition description: 1992
Pages: 412
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

A modal theory of arrows. Arrow logics I.- Knowledge without modality: A simplified framework for chronological ignorance.- Design complete sequential calculus for continuous fixpoint temporal logic.- Logical omniscience and classical logic.- Weak implication: Theory and applications.- Deriving inference rules for terminological logics.- Linear proofs and linear logic.- Relevance and revision.- Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report).- A framework for default logics.- A conceptualization of preferences in non-monotonic proof theory.- Reasoning with defeasible arguments: Examples and applications.- About deductive generalization.- Transition systems and dynamic semantics.- Declarative semantics for inconsistent database programs.- Tableau-based theorem proving and synthesis of ?-terms in the intuitionistic logic.- A constructive type system based on data terms.- An ordered resolution and paramodulation calculus for finite many-valued logics.- An efficient constraint language for polymorphic order-sorted resolution.- Default theory for Well Founded Semantics with explicit negation.- Computing answers for disjunctive logic programs.- Expanding logic programs.- Disjunctive logic programming, constructivity and strong negation.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews