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

DOI: 10.1007/3-540-49545-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1489)

Table of contents (27 papers)

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

    1. Combining Introspection and Communication with Rationality and Reactivity in Agents
      Pierangelo Dell’Acqua, Fariba Sadri, Francesca Toni
      Pages 17-32
    2. Disjunctive Logic Program = Horn Program + Control Program
      Wenjin Lu, Ulrich Furbach
      Pages 33-46
    3. Semantics of Partial-Order Programs
      Mauricio Osorio
      Pages 47-62
  3. Epistemic Logics

    1. Persistence and Minimality in Epistemic Logic
      Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
      Pages 62-77
    2. Prohairetic Deontic Logic (PDL)
      Leendert W. N. van der Torre, Yao-Hua Tan
      Pages 77-91
    3. Phased Labeled Logics of Conditional Goals
      Leendert W. N. van der Torre
      Pages 92-106
  4. Theorem Proving

    1. ℧-Resolution: An Inference Rule for Regular Multiple-Valued Logics
      Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal
      Pages 154-168
    2. A Resolution Calculus for Dynamic Semantics
      Christof Monz, Maarten de Rijke
      Pages 184-198
  5. Non-monotonic Reasoning

  6. Non-standard Logics

    1. A Mechanised Proof System for Relation Algebra Using Display Logic
      Jeremy E. Dawson, Rajeev Goré
      Pages 264-278
    2. Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
      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

  • 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