Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AIIA 99:Advances in Artificial Intelligence [[electronic resource] ] : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello
| AIIA 99:Advances in Artificial Intelligence [[electronic resource] ] : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XI, 394 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-46238-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465610103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIIA 99:Advances in Artificial Intelligence : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello
| AIIA 99:Advances in Artificial Intelligence : 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / / edited by Evelina Lamma, Paolo Mello |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XI, 394 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-46238-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910143634403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||