Ai*ia 99: Advances in Artificial Intelligence: 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 19

ISBN-13: 9783540673507 / Angielski / Miękka / 2000 / 394 str.

Associazione Italiana Per Lintelligenza Artificiale; P. Mello; E. Lamma

Opis

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99, held in Bologna, Italy, in September 1999.
The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book from a total of 64 congress submissions. The papers are organized in topical sections on knowledge representation; automated reasoning; temporal and qualitative reasoning; machine learning, data mining, and theory revision; natural language processing and web interfaces; multi-agent systems; perception and robotics; and planning and scheduling.

Spis treści

Knowledge Representation.- 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.- Automated Reasoning.- 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.- Temporal and Qualitative Reasoning.- 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.- Machine Learning, Data Mining and Theory Revision.- 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.- Natural Language and WWW Interfaces.- XIG: Generating from Interchange Format using Mixed Representations.- Natural Language Access to Public Administration Data: the TAMIC-P System.- On the application of personalization techniques to news servers on the WWW.- Multi-agent Systems.- Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy.- Notes on formalizing coordination?.- Autonomous Spacecraft Resource Management: A Multi-Agent Approach.- Multi-Agent Scene Interpretation.- An Algorithm for Recruitment of Agents in Agency Design.- Perception and Robotics.- Towards a Conceptual Representation of Actions.- Cellular Automata based Inverse Perspective Transform as a Tool for Indoor Robot Navigation.- Planning and Scheduling.- On Plan Adaptation through Planning Graph Analysis.- Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach.- Solving Employee Timetabling Problems by Generalized Local Search.