AI*IA 99: Advances in Artificial Intelligence: 6th Congress of Italian Association for Artificial Intelligence Bologna, Italy, September 14–17, 1999 Selected Papers

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Daniele Nardi, Riccardo Rosati (auth.), Evelina Lamma, Paola Mello (eds.)
Series: Lecture Notes in Computer Science 1792 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000

Language: English
Pages: 394
Tags: Artificial Intelligence (incl. Robotics)

Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled....Pages 1-12
A Description Logic for Image Retrieval....Pages 13-24
Certainty-factor-like Structures in Bayesian Networks....Pages 25-36
Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks....Pages 37-48
Abduction with Negation as Failure for Active and Reactive Rules....Pages 49-60
An Implementation for Abductive Logic Agents....Pages 61-71
Solving the Satisfiability Problem Through Boolean Networks....Pages 72-83
Applying the Davis-Putnam procedure to non-clausal formulas....Pages 84-94
The SAT-Based Approach for Classical Modal Logics....Pages 95-106
Local Search Techniques for Disjunctive Logic Programs....Pages 107-118
Labelled Tableaux for Non-Normal Modal Logics....Pages 119-130
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events....Pages 131-142
TimeNetManager — A Software Tool for Generating Random Temporal Networks....Pages 143-154
A fuzzy extension of Allen’s Interval Algebra....Pages 155-165
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems....Pages 166-177
Relational Learning: Hard Problems and Phase Transitions....Pages 178-189
A Machine Learning Approach to Web Mining....Pages 190-201
Experiences with a Logic-based Knowledge Discovery Support Environment....Pages 202-213
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process....Pages 214-225
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the “Hidden” Activation Functions....Pages 226-237
XIG: Generating from Interchange Format using Mixed Representations....Pages 238-248
Natural Language Access to Public Administration Data: the TAMIC-P System....Pages 249-260
On the application of personalization techniques to news servers on the WWW....Pages 261-272
Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy....Pages 273-284
Notes on formalizing coordination?....Pages 285-296
Autonomous Spacecraft Resource Management: A Multi-Agent Approach....Pages 297-308
Multi-Agent Scene Interpretation....Pages 309-320
An Algorithm for Recruitment of Agents in Agency Design....Pages 321-332
Towards a Conceptual Representation of Actions....Pages 333-344
Cellular Automata based Inverse Perspective Transform as a Tool for Indoor Robot Navigation....Pages 345-355
On Plan Adaptation through Planning Graph Analysis....Pages 356-367
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach....Pages 368-378
Solving Employee Timetabling Problems by Generalized Local Search....Pages 380-389