Ebook: 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.

---

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.

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -
....