Skip to main content
SpringerLink
Log in

AI*IA 99:Advances in Artificial Intelligence

6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Evelina Lamma

    1. DEIS, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paola Mello

    1. DEIS, University of Bologna, Bologna, 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 1792)

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

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Table of contents (33 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Knowledge Representation

    1. Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled

      • Daniele Nardi, Riccardo Rosati
      Pages 1-12

    2. A Description Logic for Image Retrieval

      • Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
      Pages 13-24

    3. Certainty-factor-like Structures in Bayesian Networks

      • Peter Lucas
      Pages 25-36

    4. Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks

      • Linda C. van der Gaag, Veerle M. H. Coupé
      Pages 37-48

  3. Automated Reasoning

    1. Abduction with Negation as Failure for Active and Reactive Rules

      • Fariba Sadri, Francesca Toni
      Pages 49-60

    2. An Implementation for Abductive Logic Agents

      • A. Ciampolini, E. Lamma, P. Mello, C. Stefanelli, P. Torroni
      Pages 61-71

    3. Solving the Satisfiability Problem Through Boolean Networks

      • Michela Milano, Andrea Roli
      Pages 72-83

    4. Applying the Davis-Putnam procedure to non-clausal formulas

      • Enrico Giunchiglia, Roberto Sebastiani
      Pages 84-94

    5. The SAT-Based Approach for Classical Modal Logics

      • Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
      Pages 95-106

    6. Local Search Techniques for Disjunctive Logic Programs

      • Nicola Leone, Simona Perri, Pasquale Rullo
      Pages 107-118

    7. Labelled Tableaux for Non-Normal Modal Logics

      • Guido Governatori, Alessandro Luppi
      Pages 119-130

  4. Temporal and Qualitative Reasoning

    1. Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

      • Massimo Franceschet, Angelo Montanari
      Pages 131-142

    2. TimeNetManager — A Software Tool for Generating Random Temporal Networks

      • Amedeo Cesta, Angelo Oddi, Angelo Susi
      Pages 143-154

    3. A fuzzy extension of Allen’s Interval Algebra

      • S. Badaloni, M. Giacomin
      Pages 155-165

    4. Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems

      • Andrea Panati
      Pages 166-177

  5. Machine Learning, Data Mining and Theory Revision

    1. Relational Learning: Hard Problems and Phase Transitions

      • M. Botta, A. Giordana, L. Saitta, M. Sebag
      Pages 178-189

    2. A Machine Learning Approach to Web Mining

      • Floriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo
      Pages 190-201

    3. Experiences with a Logic-based Knowledge Discovery Support Environment

      • Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini
      Pages 202-213

    4. Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process

      • F. Esposito, G. Semeraro, N. Fanizzi, S. Ferilli
      Pages 214-225
Back to top

Keywords

About this book

This book contains the extended versions of 33 papers selected among those originally presented at the Sixth Congress of the Italian Association for Artificial Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in the field of Artificial Intelligence, and has been receiving much attention from many researchers and practitioners of different countries. The sixth congress was held in Bologna, 14-17 September 1999, and was organized in twelve scientific sessions and one demo session. The papers here collected report on significant work carried out in different areas of artificial intelligence, in Italy and other countries. Areas such as automated reasoning, knowledge representation, planning, and machine learning continue to be thoroughly investigated. The collection also shows a growing interest in the field of multi-agent systems, perception and robotics, and temporal reasoning. Many people contributed in different ways to the success of the congress and to this volume. First of all, the members of the program committee who efficiently handled the reviewing of the 64 papers submitted to the congress, and later on the reviewing of the 41 papers submitted for publication in this volume. They provided three reviews for each manuscript, by relying on the support of valuable additional reviewers. The members of the organizing committee, namely Rosangela Barruffi, Paolo Bellavista, Anna Ciampolini, Marco Cremonini, Enrico Denti, Marco Gavanelli, Mauro Gaspari, Michela Milano, Rebecca Montanari, Andrea Omicini, Fabrizio Riguzzi, Cesare Stefanelli, and Paolo Torroni, worked hardy supporting at solving problems during and after the congress.

Editors and Affiliations

  • DEIS, University of Bologna, Bologna, Italy

    Evelina Lamma, Paola Mello

Bibliographic Information

  • Book Title: AI*IA 99:Advances in Artificial Intelligence

  • Book Subtitle: 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers

  • Editors: Evelina Lamma, Paola Mello

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-46238-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2000

  • Softcover ISBN: 978-3-540-67350-7Published: 29 March 2000

  • eBook ISBN: 978-3-540-46238-5Published: 26 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 394

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation