Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2002

Logics in Artificial Intelligence

European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

Editors:

  1. Sergio Flesca

    1. DEIS, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sergio Greco

    1. DEIS, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giovambattista Ianni

    1. Department of Mathematics, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Nicola Leone

    1. Department of Mathematics, University of Calabria, Rende, Italy

    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 2424)

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 2002.

Sections

Buy it now

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

  1. Front Matter

    Pages I-XIV
    PDF

  2. Multi-agent Systems

    1. A Logic Programming Language for Multi-agent Systems

      • Stefania Costantini, Arianna Tocchio
      Pages 1-13

    2. A Proof-System for the Safe Execution of Tasks in Multi-agent Systems

      • A. Ciampolini, E. Lamma, P. Mello, P. Torroni
      Pages 14-26

    4. Multi-agent Logics of Dynamic Belief and Knowledge

      • Renate A. Schmidt, Dmitry Tishkovsky
      Pages 38-50

  3. Evolution and Changes

    1. Evolving Logic Programs

      • José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
      Pages 50-62

    2. A Compilation of Updates plus Preferences

      • José Júlio Alferes, Pierangelo Dell’Acqua, Luís Moniz Pereira
      Pages 62-74

  4. Description Logic and Semantic Web

    1. Towards Service Description Logics

      • Piero A. Bonatti
      Pages 74-85

    3. A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

      • Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
      Pages 98-110

  5. Complexity Issues

    2. Complexity of Multi-agent Systems Behavior

      • Michael Dekhtyar, Alexander Dikovsky, Mars Valiev
      Pages 125-136

    3. Complexity and Algorithms for the Matching of Bag and Set Terms

      • Gianluigi Greco, Ester Zumpano
      Pages 137-148

  6. Probabilistic Logic

    1. Non-commutativity and Expressive Deductive Logic Databases

      • S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, A. Valverde, P. Vojtáš
      Pages 149-160

    2. Using Institutions for the Study of Qualitative and Quantitative Conditional Logics

      • Christoph Beierle, Gabriele Kern-Isberner
      Pages 161-172

  7. Planning

    1. Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment

      • Jürgen Dix, Hector Munoz-Avila, Dana Nau, Lingling Zhang
      Pages 173-185

    2. Answer Set Planning under Action Costs

      • Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
      Pages 186-197

  8. Modal Logic and Causal Reasoning

    1. On Fibring Semantics for BDI Logics

      • Guido Governatori, Vineet Padmanabhan, Abdul Sattar
      Pages 198-210
Back to top

Other Volumes

  1. Logics in Artificial Intelligence

Back to top

Keywords

Back to top

Editors and Affiliations

  • DEIS, University of Calabria, Rende, Italy

    Sergio Flesca, Sergio Greco

  • Department of Mathematics, University of Calabria, Rende, Italy

    Giovambattista Ianni, Nicola Leone

Back to top

Bibliographic Information

  • Book Title: Logics in Artificial Intelligence

  • Book Subtitle: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

  • Editors: Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45757-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2002

  • Softcover ISBN: 978-3-540-44190-8Published: 11 September 2002

  • eBook ISBN: 978-3-540-45757-2Published: 06 August 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 567

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation