[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Logics in Artificial Intelligence

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

  • Conference proceedings
  • © 2002

Overview

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)

Included in the following conference series:

Conference proceedings info: JELIA 2002.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 71.50
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 89.99
Price includes VAT (United Kingdom)
  • 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 (55 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter 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

    3. An Argumentation Framework for Merging Conflicting Knowledge Bases

      • Leila Amgoud, Simon Parsons
      Pages 27-37

    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

    2. P-\( \mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q} \)(D): A Probabilistic Extension of \( \mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q} \)(D) for Probabilistic Ontologies in the Semantic Web

      • Rosalba Giugno, Thomas Lukasiewicz
      Pages 86-97

    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

    1. Polynomial-Length Planning Spans the Polynomial Hierarchy

      • Hudson Turner
      Pages 111-124

    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

    2. A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning

      • Graham White
      Pages 211-222

    3. Second-Order Quantifier Elimination in Modal Contexts

      • Andrzej Szalas
      Pages 223-232
Back to top

Other volumes

  1. Logics in Artificial Intelligence

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

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

Publish with us

Policies and ethics

Back to top

Search

Navigation