Logics in Artificial Intelligence

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

  • Jóse Júlio Alferes
  • João Leite
Conference proceedings JELIA 2004

DOI: 10.1007/b100483

Part of the Lecture Notes in Computer Science book series (LNCS, 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

  • 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