AI*IA 99:Advances in Artificial Intelligence 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers
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 rec...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2000, 2000
|
| Edition: | 1st ed. 2000 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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
- 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?