AI*IA 99:Advances in Artificial Intelligence

1. Front Matter

   Pages I-XI

   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

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.

• Artificial intelligence
• Extension
• automated reasoning
• data mining
• description logic
• formal logics
• intelligence
• intelligent systems
• internet aplications
• learning
• machine intelligence
• modeling
• multi-agent system
• natural language processing
• perception

• DEIS, University of Bologna, Bologna, Italy

  Evelina Lamma, Paola Mello

Policies and ethics