Advertisement

Logics in Artificial Intelligence

8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

  • Sergio Flesca
  • Sergio Greco
  • Giovambattista Ianni
  • Nicola Leone
Conference proceedings JELIA 2002

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Multi-agent Systems

    1. Stefania Costantini, Arianna Tocchio
      Pages 1-13
    2. A. Ciampolini, E. Lamma, P. Mello, P. Torroni
      Pages 14-26
    3. Renate A. Schmidt, Dmitry Tishkovsky
      Pages 38-50
  3. Evolution and Changes

    1. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
      Pages 50-62
    2. José Júlio Alferes, Pierangelo Dell’Acqua, Luís Moniz Pereira
      Pages 62-74
  4. Description Logic and Semantic Web

  5. Complexity Issues

    1. Michael Dekhtyar, Alexander Dikovsky, Mars Valiev
      Pages 125-136
    2. Gianluigi Greco, Ester Zumpano
      Pages 137-148
  6. Probabilistic Logic

    1. S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, A. Valverde, P. Vojtáš
      Pages 149-160
    2. Christoph Beierle, Gabriele Kern-Isberner
      Pages 161-172
  7. Planning

    1. Jürgen Dix, Hector Munoz-Avila, Dana Nau, Lingling Zhang
      Pages 173-185
    2. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
      Pages 186-197
  8. Modal Logic and Causal Reasoning

    1. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
      Pages 198-210
  9. Theory

    1. Koji Iwanuma, Katsumi Inoue
      Pages 245-258
    2. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
      Pages 259-270
  10. Reasoning under Uncertainty

    1. Mazen El-Sayed, Daniel Pacholczyk
      Pages 283-295
  11. Satisfiability

    1. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
      Pages 296-307
  12. Paraconsistent Reasoning

    1. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 320-331
    2. Sébastien Konieczny, Pierre Marquis
      Pages 332-344
    3. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
      Pages 345-356
  13. Actions and Causation

    1. Tran Cao Son, Enrico Pontelli
      Pages 369-381
    2. Laura Giordano, Camilla Schwind
      Pages 382-393
  14. Logics for Agents

    1. Helle Hvid Hansen, Marc Pauly
      Pages 394-406
    2. Fariba Sadri, Francesca Toni, Paolo Torroni
      Pages 419-431
  15. Semantics

    1. Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 432-443
    2. G. Brewka, Ilkka Niemelä, Tommi Syrjänen
      Pages 444-456
    3. Panos Rondogiannis, William W. Wadge
      Pages 456-468
  16. Optimization Issues in Answer Set Semantics

    1. Thomas Linke, Christian Anger, Kathrin Konczak
      Pages 468-480
    2. Pascal Nicolas, Frédéric Saubion, Igor Stéphan
      Pages 481-492
    3. Tomi Janhunen, Emilia Oikarinen
      Pages 493-504
  17. System Session

    1. Rolf Haenni
      Pages 505-508
    2. James P. Delgrande, Aaron Hunter, Torsten Schaub
      Pages 509-512
    3. Raphael Finkel, Victor W. Marek, Mirosλaw Truszczyński
      Pages 513-516
    4. Christian Anger, Kathrin Konczak, Thomas Linke
      Pages 521-524
    5. V. Estruch, C. Ferri, J. Hernández, M.J. Ramírez
      Pages 529-532
    6. Deborah East, Mirosλaw Truszczyński
      Pages 533-536

About these proceedings

Keywords

Artificial intelligence agents complexity evolution intelligence logic multi-agent system optimization semantic web semantics uncertainty

Editors and affiliations

  • Sergio Flesca
    • 1
  • Sergio Greco
    • 1
  • Giovambattista Ianni
    • 2
  • Nicola Leone
    • 2
  1. 1.DEISUniversity of CalabriaRendeItaly
  2. 2.Department of MathematicsUniversity of CalabriaRendeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45757-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44190-8
  • Online ISBN 978-3-540-45757-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site