Skip to main content
Springer Nature Link
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Jóse Júlio Alferes

    1. CENTRIA, Universidade Nova de Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Leite

    1. Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: JELIA 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (70 papers)

  1. Front Matter

    Download chapter PDF

  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. Characterizations for Relativized Notions of Equivalence in Answer Set Programming

      • Stefan Woltran
      Pages 161-173

    6. Equivalence of Logic Programs Under Updates

      • Katsumi Inoue, Chiaki Sakama
      Pages 174-186

    7. Cardinality Constraint Programs

      • Tommi Syrjänen
      Pages 187-199

    8. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

      • Wolfgang Faber, Nicola Leone, Gerald Pfeifer
      Pages 200-212
Back to top

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

Publish with us

Policies and ethics

Back to top