Skip to main content
  • Conference proceedings
  • © 2004

Logics in Artificial Intelligence

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): JELIA: European Conference on Logics in Artificial Intelligence

Conference proceedings info: JELIA 2004.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (70 papers)

  1. Front Matter

  2. 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
  3. 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

Other Volumes

  1. Logics in Artificial Intelligence

Editors and Affiliations

  • CENTRIA, Universidade Nova de Lisboa, Portugal

    Jóse Júlio Alferes

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

Bibliographic Information

  • Book Title: Logics in Artificial Intelligence

  • Book Subtitle: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

  • Editors: Jóse Júlio Alferes, João Leite

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b100483

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23242-1Published: 24 September 2004

  • eBook ISBN: 978-3-540-30227-8Published: 10 September 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 746

  • Topics: Artificial Intelligence, Programming Techniques, Mathematical Logic and Formal Languages

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access