AI*IA 99:Advances in Artificial Intelligence

6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers

Häftad, Engelska, 2000

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2000-03-29
Mått155 x 233 x 23 mm
Vikt616 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor394
Upplaga2000
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540673507

Tillhör följande kategorier

Artificiell intelligens inom Data och it

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-agentSystems.- 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.