Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

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. Hyper tableaux....Pages 1-17 An algorithm for the retrieval of unifiers from discrimination trees....Pages 18-33 Building proofs or counterexamples by analogy in a resolution framework....Pages 34-49 What you always wanted to know about rigid E -unification....Pages 50-69 Labelled proofs for quantified modal logic....Pages 70-86 A uniform tableaux method for nonmonotonic modal logics....Pages 87-103 Design and implementation of diagnostic strategies using modal logic....Pages 104-118 A modal action logic based framework for organization specification and analysis....Pages 119-133 McCarthy's idea....Pages 134-142 Strong and explicit negation in non-monotonic reasoning and logic programming....Pages 143-163 Only persistence makes nonmonotonicity monotonous....Pages 164-175 Ordering-based representations of rational inference....Pages 176-191 Semi-representability of default theories in rational default logic....Pages 192-207 A query answering algorithm for Lukaszewicz' general open default theory....Pages 208-223 Infinitary default logic for specification of nonmonotonic reasoning....Pages 224-236 A system for computing constrained default logic extensions....Pages 237-250 The Oz programming model....Pages 251-251 An abductive framework for negation in disjunctive logic programming....Pages 252-267 Characterizing D-WFS: Confluence and iterated GCWA....Pages 268-283 Modules and specifications....Pages 284-300 Logic programming with integrity constraints....Pages 301-302 Temporal reasoning over linear discrete time....Pages 303-319 Similarity saturation for first order linear temporal logic with UNLESS....Pages 320-336 Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions....Pages 337-353 Informational logic for automated reasoning....Pages 354-372 Extensions for open default theories via the domain closure assumption....Pages 373-387 Revising and updating using a back-up semantics....Pages 388-403 A simple signed system for paraconsistent reasoning....Pages 404-416 "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."--PUBLISHER'S WEBSITE