Logics in Artificial Intelligence

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

  • Jürgen Dix
  • Luís Fariñas del Cerro
  • Ulrich Furbach
Conference proceedings JELIA 1998
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1489)

Table of contents

  1. Front Matter
    Pages I-X
  2. Logic Programming

    1. Pierangelo Dell’Acqua, Fariba Sadri, Francesca Toni
      Pages 17-32
    2. Wenjin Lu, Ulrich Furbach
      Pages 33-46
    3. Mauricio Osorio
      Pages 47-62
  3. Epistemic Logics

    1. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
      Pages 62-77
    2. Leendert W. N. van der Torre, Yao-Hua Tan
      Pages 77-91
    3. Leendert W. N. van der Torre
      Pages 92-106
  4. Theorem Proving

    1. Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal
      Pages 154-168
    2. Christof Monz, Maarten de Rijke
      Pages 184-198
  5. Non-monotonic Reasoning

  6. Non-standard Logics

    1. Jeremy E. Dawson, Rajeev Goré
      Pages 264-278
    2. Stéphane Demri, Beata Konikowska
      Pages 279-293

About these proceedings

Introduction

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.

Keywords

Extension Resolution algorithms artificial intelligence boolean satisfiability problem control intelligence knowledge representation logic logic programming nonmonotonic reasoning proof proving semantics theorem proving

Editors and affiliations

  • Jürgen Dix
    • 1
  • Luís Fariñas del Cerro
    • 2
  • Ulrich Furbach
    • 3
  1. 1.Department of Computer ScienceUniversity of MarylandCollege ParkUSA
  2. 2.I.R.I.T. Université Paul SabatierToulouse CedexFrance
  3. 3.Fachbereich 4: InformatikUniversität KoblenzKoblenzGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49545-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65141-3
  • Online ISBN 978-3-540-49545-1
  • Series Print ISSN 0302-9743