Advertisement

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
  5. Reasoning Under Uncertainty

    1. Miodrag Rašković, Zoran Ognjanović, Zoran Marković
      Pages 226-238
    2. P. Mateus, A. Sernadas
      Pages 239-251
    3. C. V. Damásio, J. Medina, M. Ojeda-Aciego
      Pages 252-265
  6. Logic Programming

    1. Linh Anh Nguyen
      Pages 266-278
    2. Juan José Moreno-Navarro, Susana Muñoz-Hernández
      Pages 279-293
    3. Pedro Cabalar, David Lorenzo
      Pages 294-306
  7. Actions and Causation

    1. Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
      Pages 307-319
    2. Alberto Finzi, Thomas Lukasiewicz
      Pages 320-333
  8. Complexity Issues

  9. Description Logics

    1. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
      Pages 400-412
    2. Stefan Schlobach
      Pages 413-425
  10. Belief Revision

  11. Modal, Spacial, and Temporal Logics

    1. Philippe Balbiani, Tinko Tinchev
      Pages 474-486
    2. Mehmet Giritli
      Pages 487-499
    3. Espen H. Lian, Tore Langholm, Arild Waaler
      Pages 500-512
    4. Davide Bresolin, Angelo Montanari, Gabriele Puppis
      Pages 513-525
  12. Theorem Proving

  13. Applications

    1. Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli
      Pages 578-590
    2. Peter Baumgartner, Aljoscha Burchardt
      Pages 591-603

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
  • 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