Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Alferes, Jose Julio.
• Moniz Pereira, Luis.
• Orlowska, Eva.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Artificial Intelligence ; 1126

ISBN:

9783540706434 [3540706437]    

注記:

Hyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framew
This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.

ローカル注記:

学内専用E-BOOKS (local access only)