Logics in Artificial Intelligence
European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings
Editors: Alferes, Jose Julio, Moniz Pereira, Luis, Orlowska, Eva (Eds.)
Buy this book
- About this book
-
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.
- Table of contents (28 chapters)
-
-
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
-
Table of contents (28 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logics in Artificial Intelligence
- Book Subtitle
- European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings
- Editors
-
- Jose Julio Alferes
- Luis Moniz Pereira
- Eva Orlowska
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 1126
- Copyright
- 1996
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-70643-4
- DOI
- 10.1007/3-540-61630-6
- Softcover ISBN
- 978-3-540-61630-6
- Edition Number
- 1
- Number of Pages
- X, 426
- Topics
