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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
      Pages 294-308
    4. Inman P. de Guzmán, Manuel Ojeda-Aciego, Augustín Valverde
      Pages 309-323
  7. Knowledge Representation

    1. Manfred Kerber
      Pages 342-354
    2. Marco Cadoli, Luigi Palopoli, Francesco Scarcello
      Pages 355-367
  8. Higher Order Logics

    1. Jianguo Lu, Masateru Harao, Masami Hagiya
      Pages 368-381
  9. Invited Talks

  10. Back Matter
    Pages 391-391

About these proceedings


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.


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
  • 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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences