Advertisement

Logics in Artificial Intelligence

European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

  • Manuel Ojeda-Aciego
  • Inma P. de Guzmán
  • Gerhard Brewka
  • Luís Moniz Pereira
Conference proceedings JELIA 2000

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1919)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

    1. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
      Pages 2-20
    2. The Open image in new window Approach: Integrating Object Oriented Design and Formal Verification
      Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle et al.
      Pages 21-36
    3. Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
      Pages 37-56
  3. Regular Contributions

    1. Knowledge Representation

    2. Reasoning about Actions

    3. Belief Revision

    4. Theorem Proving

      1. Gloria Gutiérrez, Inma P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
        Pages 179-192
      2. Pedro J. Martín, Antonio Gavilanes
        Pages 193-208
      3. Alexandre Riazanov, Andrei Voronkov
        Pages 209-223
    5. Argumentation

    6. Agents

      1. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
        Pages 254-268
      2. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
        Pages 269-283
      3. Antonio Moreno, Ulises Cortés, Ton Sales
        Pages 284-299
      4. Michael Wooldridge, Alessio Lomuscio
        Pages 300-312
    7. Decidability and Complexity

      1. Thomas Eiter, Thomas Lukasiewicz
        Pages 313-328
      2. Holger Sturm, Frank Wolter, Michael Zakharyaschev
        Pages 329-344
    8. Updates

      1. José Júlio Alferes, Luís Moniz Pereira
        Pages 345-360
      2. Paolo Liberatore
        Pages 361-375
    9. Preferences

      1. James P. Delgrande, Torsten Schaub, Hans Tompits
        Pages 376-390
      2. Marina De Vos, Dirk Vermeir
        Pages 391-406
  4. Back Matter
    Pages 407-407

About these proceedings

Keywords

Action agents artificial intelligence complexity intelligence knowledge knowledge representation proving theorem proving

Editors and affiliations

  • Manuel Ojeda-Aciego
    • 1
  • Inma P. de Guzmán
    • 1
  • Gerhard Brewka
    • 2
  • Luís Moniz Pereira
    • 3
  1. 1.Department of Applied Mathematics, E.T.S.I. InformáticaUniversity of MálagaMálagaSpain
  2. 2.Intelligent Systems Department, Computer Science InstituteUniversity of LeipzigLeipzigGermany
  3. 3.Center for Artificial Intelligence, Department of Computer ScienceUniversity of LisbonCaparicaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-40006-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41131-4
  • Online ISBN 978-3-540-40006-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering