Our Cyber Weeks Sale has begun: Stock up on $7 Computer Science eBooks today!

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.)

Buy this book

eBook $74.99
price for USA in USD (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 $99.00
price for USA in USD
  • ISBN 978-3-540-65141-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

  • The Well-Founded Semantics Is the Principle of Inductive Definition

    Denecker, Marc

    Pages 1-16

  • Combining Introspection and Communication with Rationality and Reactivity in Agents

    Dell’Acqua, Pierangelo (et al.)

    Pages 17-32

  • Disjunctive Logic Program = Horn Program + Control Program

    Lu, Wenjin (et al.)

    Pages 33-46

  • Semantics of Partial-Order Programs

    Osorio, Mauricio

    Pages 47-62

  • Persistence and Minimality in Epistemic Logic

    Hoek, Wiebe (et al.)

    Pages 62-77

Buy this book

eBook $74.99
price for USA in USD (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 $99.00
price for USA in USD
  • ISBN 978-3-540-65141-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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