Lecture Notes in Artificial Intelligence
cover

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

eBook 67,40 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70643-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-61630-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)

Table of contents (28 chapters)
  • Hyper tableaux

    Pages 1-17

    Baumgartner, Peter (et al.)

  • An algorithm for the retrieval of unifiers from discrimination trees

    Pages 18-33

    Nivelle, Hans

  • Building proofs or counterexamples by analogy in a resolution framework

    Pages 34-49

    Bourely, Christophe (et al.)

  • What you always wanted to know about rigid E-unification

    Pages 50-69

    Degtyarev, Anatoli (et al.)

  • Labelled proofs for quantified modal logic

    Pages 70-86

    Artosi, Alberto (et al.)

Buy this book

eBook 67,40 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70643-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-61630-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

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