AI*IA 99:Advances in Artificial Intelligence: 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers
Associazione italiana per l'intelligenza artificiale. Congress, Evelina Lamma, Paola Mello · Medical Entomology and Zoology · 2000
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.