Advertisement

Logics in Artificial Intelligence

8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

  • Sergio Flesca
  • Sergio Greco
  • Giovambattista Ianni
  • Nicola Leone
Conference proceedings JELIA 2002

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2424)

Table of contents

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

  9. Theory

    1. Interpolation Theorems for Nonmonotonic Reasoning Systems
      Eyal Amir
      Pages 233-244
    2. Minimal Answer Computation and SOL
      Koji Iwanuma, Katsumi Inoue
      Pages 245-258
    3. Decidability of Interval Temporal Logics over Split-Frames via Granularity
      Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
      Pages 259-270

  10. Reasoning under Uncertainty

    1. Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
      Yann Loyer, Umberto Straccia
      Pages 271-282
    2. A Qualitative Reasoning with Nuanced Information
      Mazen El-Sayed, Daniel Pacholczyk
      Pages 283-295

  11. Satisfiability

    1. Dependent and Independent Variables in Propositional Satisfiability
      Enrico Giunchiglia, Marco Maratea, Armando Tacchella
      Pages 296-307
    2. A DPLL-Based Calculus for Ground Satisfiability Modulo Theories
      Cesare Tinelli
      Pages 308-319

  12. Paraconsistent Reasoning

    1. Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
      Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 320-331
    2. Three-Valued Logics for Inconsistency Handling
      Sébastien Konieczny, Pierre Marquis
      Pages 332-344
    3. Paraconsistent Logic Programs
      João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
      Pages 345-356

  13. Actions and Causation

    1. Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
      Dongmo Zhang, Norman Foo
      Pages 357-368
    2. Reasoning about Actions in Prioritized Default Theory
      Tran Cao Son, Enrico Pontelli
      Pages 369-381
    3. Towards a Conditional Logic of Actions and Causation
      Laura Giordano, Camilla Schwind
      Pages 382-393

  14. Logics for Agents

    1. Axiomatising Nash-Consistent Coalition Logic
      Helle Hvid Hansen, Marc Pauly
      Pages 394-406
    2. Representing Possibilities in Relation to Constraints and Agents
      Richard J. Wallace
      Pages 407-418
    3. An Abductive Logic Programming Architecture for Negotiating Agents
      Fariba Sadri, Francesca Toni, Paolo Torroni
      Pages 419-431

  15. Semantics

    1. Preferred Answer Sets for Ordered Logic Programs
      Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 432-443
    2. Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
      G. Brewka, Ilkka Niemelä, Tommi Syrjänen
      Pages 444-456
    3. An Infinite-Valued Semantics for Logic Programs with Negation
      Panos Rondogiannis, William W. Wadge
      Pages 456-468

  16. Optimization Issues in Answer Set Semantics

    1. More on noMoRe
      Thomas Linke, Christian Anger, Kathrin Konczak
      Pages 468-480
    2. Answer Set Programming by Ant Colony Optimization
      Pascal Nicolas, Frédéric Saubion, Igor Stéphan
      Pages 481-492
    3. Testing the Equivalence of Logic Programs under Stable Model Semantics
      Tomi Janhunen, Emilia Oikarinen
      Pages 493-504

  17. System Session

    1. Argumentative Reasoning with ABEL
      Rolf Haenni
      Pages 505-508
    2. COBA: A Consistency-Based Belief Revision System
      James P. Delgrande, Aaron Hunter, Torsten Schaub
      Pages 509-512
    3. Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems
      Raphael Finkel, Victor W. Marek, Mirosλaw Truszczyński
      Pages 513-516
    4. \( \mathcal{L}\mathcal{D}\mathcal{L} - \mathcal{M}_{ine} \) : Integrating Data Mining with Intelligent Query Answering
      Fosca Giannotti, Giuseppe Manco
      Pages 517-520
    5. NoMoRe: Non-monotonic Reasoning with Logic Programs
      Christian Anger, Kathrin Konczak, Thomas Linke
      Pages 521-524
    6. Process Miner — A Tool for Mining Process Schemes from Event-Based Data
      Guido Schimm
      Pages 525-528
    7. SMILES: A Multi-purpose Learning System
      V. Estruch, C. Ferri, J. Hernández, M.J. Ramírez
      Pages 529-532
    8. The aspps System
      Deborah East, Mirosλaw Truszczyński
      Pages 533-536

About these proceedings

Keywords

Artificial intelligence agents complexity evolution intelligence logic multi-agent system optimization semantic web semantics uncertainty

Editors and affiliations

  • Sergio Flesca
    • 1
  • Sergio Greco
    • 1
  • Giovambattista Ianni
    • 2
  • Nicola Leone
    • 2
  1. 1.DEISUniversity of CalabriaRendeItaly
  2. 2.Department of MathematicsUniversity of CalabriaRendeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45757-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44190-8
  • Online ISBN 978-3-540-45757-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering