Lecture Notes in Artificial Intelligence

Logics in Artificial Intelligence

European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

Editors: Del Cerro, Farinas Luis, Furbach, Ulrich (Eds.)

Free Preview

Buy this book

eBook 67,40 €
price for Spain (gross)
  • ISBN 978-3-540-49545-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-65141-3
  • 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 volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.

Table of contents (27 chapters)

Table of contents (27 chapters)
  • The Well-Founded Semantics Is the Principle of Inductive Definition

    Pages 1-16

    Denecker, Marc

  • Combining Introspection and Communication with Rationality and Reactivity in Agents

    Pages 17-32

    Dell’Acqua, Pierangelo (et al.)

  • Disjunctive Logic Program = Horn Program + Control Program

    Pages 33-46

    Lu, Wenjin (et al.)

  • Semantics of Partial-Order Programs

    Pages 47-62

    Osorio, Mauricio

  • Persistence and Minimality in Epistemic Logic

    Pages 62-77

    Hoek, Wiebe (et al.)

Buy this book

eBook 67,40 €
price for Spain (gross)
  • ISBN 978-3-540-49545-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-65141-3
  • 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...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics in Artificial Intelligence
Book Subtitle
European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
Editors
  • Farinas Luis Del Cerro
  • Ulrich Furbach
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1489
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49545-1
DOI
10.1007/3-540-49545-2
Softcover ISBN
978-3-540-65141-3
Edition Number
1
Number of Pages
X, 390
Topics