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...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science. Lecture notes in artificial intelligence
1792 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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 |
| LEADER | 06729nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 970682 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155194682 | ||
| 020 | |a 9783540462385 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Associazione Italiana per l'Intelligenza Artificiale. |b Congrès |n (06 |d :1999 |c :Bologne, Italie). | |
| 245 | 1 | 0 | |a AI*IA 99 : |b advances in artificial intelligence : 6th Congress of Italian Association for Artificial Intelligence Bologna, Italy, September 14 17, 1999 : selected papers |c [edited by] Evelina Lamma, Paola Mello. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1792 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 receiving much attention from many researchers and practitioners of different countries. The sixth congress was held in Bologna, 14-17 September 1999, and was organized in twelve scientific sessions and one demo session. The papers here collected report on significant work carried out in different areas of artificial intelligence, in Italy and other countries. Areas such as automated reasoning, knowledge representation, planning, and machine learning continue to be thoroughly investigated. The collection also shows a growing interest in the field of multi-agent systems, perception and robotics, and temporal reasoning. Many people contributed in different ways to the success of the congress and to this volume. First of all, the members of the program committee who efficiently handled the reviewing of the 64 papers submitted to the congress, and later on the reviewing of the 41 papers submitted for publication in this volume. They provided three reviews for each manuscript, by relying on the support of valuable additional reviewers. The members of the organizing committee, namely Rosangela Barruffi, Paolo Bellavista, Anna Ciampolini, Marco Cremonini, Enrico Denti, Marco Gavanelli, Mauro Gaspari, Michela Milano, Rebecca Montanari, Andrea Omicini, Fabrizio Riguzzi, Cesare Stefanelli, and Paolo Torroni, worked hardy supporting at solving problems during and after the congress. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Lamma, Evelina, |d 1960- |4 pbd | |
| 700 | 1 | |a Mello, Paola, |d 1958- |4 pbd | |
| 776 | 0 | |0 049433474 |t AI*IA 99 |o advances in artificial intelligence |o 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 |o selected papers |f Evelina Lamma, Paolo Mello (eds.) |d 2000 |c New York |n Springer |p 1 vol. (XI-392 p.) |s Lecture notes in computer science |z 3-540-67350-4 | |
| 776 | 0 | |t AI*IA 99:Advances in Artificial Intelligence |b Texte imprimé |z 9783662194133 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-46238-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-90TZX1QB-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750601078 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-46238-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753961628 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-46238-4 |z Accès INSA CVL | |
| 997 | |0 970682 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||