AI*IA 99 : advances in artificial intelligence : 6th Congress of 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...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science. Lecture notes in artificial intelligence
1792 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • AI*IA 99, advances in artificial intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, selected papers, Evelina Lamma, Paolo Mello (eds.), 2000, New York, Springer, 1 vol. (XI-392 p.), Lecture notes in computer science, 3-540-67350-4 • AI*IA 99:Advances in Artificial Intelligence, Texte imprimé, 9783662194133 |
Aurkibidea:
- 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.