Logics in Artificial Intelligence

9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings

  • Jóse Júlio Alferes
  • João Leite

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Multi-agent Systems

    1. Mehdi Dastani, Leendert van der Torre
      Pages 5-17
    2. Samir Chopra, Eric Pacuit, Rohit Parikh
      Pages 18-30
    3. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
      Pages 31-43
    4. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 44-56
    5. Laura Giordano, Alberto Martelli, Camilla Schwind
      Pages 57-69
    6. Stefan Wölfl
      Pages 70-81
    7. Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
      Pages 82-94
    8. Natasha Alechina, Brian Logan, Mark Whitsey
      Pages 95-107
  4. Logic Programming and Nonmonotonic Reasoning

    1. Maarten Mariën, David Gilis, Marc Denecker
      Pages 108-120
    2. Gregory R. Wheeler, Carlos Damásio
      Pages 121-133
    3. Tomi Janhunen, Emilia Oikarinen
      Pages 134-146
    4. David Pearce, Agustín Valverde
      Pages 147-160
    5. Katsumi Inoue, Chiaki Sakama
      Pages 174-186
    6. Tommi Syrjänen
      Pages 187-199
    7. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
      Pages 200-212

About these proceedings

Keywords

Artificial intelligence complexity description logics intelligence logic multi-agent system nonmonotonic reasoning programming proving theorem proving uncertainty

Editors and affiliations

  • Jóse Júlio Alferes
    • 1
  • João Leite
    • 2
  1. 1.CENTRIA, Universidade Nova de LisboaPortugal
  2. 2.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/b100483
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23242-1
  • Online ISBN 978-3-540-30227-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book