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 (70 papers)

  1. Front Matter
  2. Invited Talks

  3. Multi-agent Systems

    1. Games for Cognitive Agents
      Mehdi Dastani, Leendert van der Torre
      Pages 5-17
    2. Knowledge-Theoretic Properties of Strategic Voting
      Samir Chopra, Eric Pacuit, Rohit Parikh
      Pages 18-30
    3. The CIFF Proof Procedure for Abductive Logic Programming with Constraints
      U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
      Pages 31-43
    4. Hierarchical Decision Making by Autonomous Agents
      Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 44-56
    5. Verifying Communicating Agents by Model Checking in a Temporal Action Logic
      Laura Giordano, Alberto Martelli, Camilla Schwind
      Pages 57-69
    6. Qualitative Action Theory
      Stefan Wölfl
      Pages 70-81
    7. Practical Reasoning for Uncertain Agents
      Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
      Pages 82-94
    8. Modelling Communicating Agents in Timed Reasoning Logics
      Natasha Alechina, Brian Logan, Mark Whitsey
      Pages 95-107
  4. Logic Programming and Nonmonotonic Reasoning

    1. On the Relation Between ID-Logic and Answer Set Programming
      Maarten Mariën, David Gilis, Marc Denecker
      Pages 108-120
    2. An Implementation of Statistical Default Logic
      Gregory R. Wheeler, Carlos Damásio
      Pages 121-133
    3. Capturing Parallel Circumscription with Disjunctive Logic Programs
      Tomi Janhunen, Emilia Oikarinen
      Pages 134-146
    4. Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning
      David Pearce, Agustín Valverde
      Pages 147-160
    5. Equivalence of Logic Programs Under Updates
      Katsumi Inoue, Chiaki Sakama
      Pages 174-186
    6. Cardinality Constraint Programs
      Tommi Syrjänen
      Pages 187-199
    7. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
      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