AI*IA 99: Advances in Artificial Intelligence: 6th Congress of Italian Association for Artificial Intelligence Bologna, Italy, September 14–17, 1999 Selected Papers
Author: Evelina Lamma, Paola Mello
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67350-7
DOI: 10.1007/3-540-46238-4

Table of Contents:

Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled
A Description Logic for Image Retrieval
Certainty-factor-like Structures in Bayesian Networks
Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks
Abduction with Negation as Failure for Active and Reactive Rules
An Implementation for Abductive Logic Agents
Solving the Satisfiability Problem Through Boolean Networks
Applying the Davis-Putnam procedure to non-clausal formulas
The SAT-Based Approach for Classical Modal Logics
Local Search Techniques for Disjunctive Logic Programs
Labelled Tableaux for Non-Normal Modal Logics
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
TimeNetManager — A Software Tool for Generating Random Temporal Networks
A fuzzy extension of Allen’s Interval Algebra
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
Relational Learning: Hard Problems and Phase Transitions
A Machine Learning Approach to Web Mining
Experiences with a Logic-based Knowledge Discovery Support Environment
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the “Hidden” Activation Functions

Includes bibliographical references and index
Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled / D. Nardi and R. Rosati -- A description logic for image retrieval / E. Di Sciascio, F. M. Donini and M. Mongiello -- Certainty-factor-like structures in Bayesian networks / P. Lucas -- Sensitivity analysis for threshold decision making with Bayesian belief networks / L. C. van der Gaag and V. M. H. Coupe -- Abduction with negation as failure for active and reactive rules / F. Sadri and F. Toni -- An implementation for abductive logic agents / A. Ciampolini, E. Lamma and P. Mello / [et al.] -- Solving the satisfiability problem through boolean networks / M. Milano and A. Roli -- Applying the Davis-Putnam procedure to non-clausal formulas / E. Giunchiglia and R. Sebastiani -- The SAT-based approach for classical modal logics / E. Giunchiglia, F. Giunchiglia and A. Tacchella -- Local search techniques for disjunctive logic programs / N. Leone, S. Perri and P. Rullo -- Labelled tableaux for non-normal modal logics / G. Governatori and A. Luppi -- Pairing transitive closure and reduction to efficiently reason about partially ordered events / M. Franceschet and A. Montanari -- TimeNetManager -- a software tool for generating random temporal networks / A. Cesta, A. Oddi and A. Susi -- A fuzzy extension of Allen's Interval Algebra / S. Badaloni and M. Giacomin -- Non binary CSPs and heuristics for modeling and diagnosing dynamic systems / A. Panati -- Relational learning: hard problems and phase transitions / M. Botta, A. Giordana and L. Saitta / [et al.] -- A machine learning approach to web mining / F. Esposito, D. Malerba and L. Di Pace / [et al.] -- Experiences with a logic-based knowledge discovery support environment / F. Giannotti, G. Manco and D. Pedreschi / [et al.] -- Conceptual change in learning naive physics: the computational model as a theory revision process / F. Esposito, G. Semeraro and N. Fanizzi / [et al.] -- Using the Hermite regression formula to design a neural architecture with automatic learning of the "hidden" activation functions / S. Gaglio, G. Pilato and F. Sorbello / [et al.] -- XIG: generating from interchange format using mixed representations / E. Pianta and L. M. Tovena -- Natural language access to public administration data: the TAMIC-P system / C. Bagnasco, A. Cappelli and B. Magnini / [et al.] -- On the application of personalization techniques to news servers on the WWW / L. Ardissono, L. Console and I. Torre -- Levels of delegation and levels of adoption as the basis for adjustable autonomy / R. Falcone and C. Castelfranchi -- Notes on formalizing coordination / A. Agostini -- Autonomous spacecraft resource management: a multi-agent approach / N. Monekosso and P. Remagnino -- Multi-agent scene interpretation / P. Remagnino, J. Orwell and G. A. Jones -- An algorithm for recruitment of agents in agency design / F. Amigoni and M. Villa -- Towards a conceptual representation of actions / A. Chella, M. Frixione and S. Gaglio -- Cellular automata based inverse perspective transform as a tool for indoor robot navigation / G. Adorni, S. Cagnoni and M. Mordonini -- On plan adaptation through planning graph analysis / A. Gerevini and I. Serina -- Real-time motion planning in autonomous vehicles: a hybrid approach / M. Piaggio and A. Sgorbissa -- Solving employee timetabling problems by generalized local search / A. Schaerf and A. Meisels