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 2003: Advances in Artificial Intelligence [[electronic resource] ] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / / edited by Amedeo Cappelli, Franco Turini
| AIIA 2003: Advances in Artificial Intelligence [[electronic resource] ] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / / edited by Amedeo Cappelli, Franco Turini |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 558 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-39853-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Representation and Reasoning -- A Complete Subsumption Algorithm -- Temporal Decision Trees for Diagnosis: An Extension -- Obligations as Social Constructs -- Automatically Decomposing Configuration Problems -- Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning -- A Methodology for the Induction of Ontological Knowledge from Semantic Annotations -- Qualitative Spatial Reasoning in a Logical Framework -- On Managing Temporal Information for Handling Durative Actions in LPG -- An Abductive Proof Procedure Handling Active Rules -- Soft Computing -- BackPropagation through Cyclic Structures -- A Neural Architecture for Segmentation and Modelling of Range Data -- A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction -- Adaptive Allocation of Data-Objects in the Web Using Neural Networks -- Machine Learning -- Improving the SLA Algorithm Using Association Rules -- Incremental Induction of Rules for Document Image Understanding -- Explaining Bagging with Monte Carlo Theory -- Pairwise Data Clustering Using Monotone Game Dynamics -- Abduction in Classification Tasks -- Data Mining -- MQL: An Algebraic Query Language for Knowledge Discovery -- Preprocessing and Mining Web Log Data for Web Personalization -- Multi-relational Structural Bayesian Classifier -- Intelligent Agents -- Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic -- Combining Intelligent Agents and Animation -- An Abductive Interpretation for Open Agent Societies -- Reasoning about Conversation Protocols in a Logic-Based Agent Language -- Distributed Intelligent Management of Active Networks -- Planning -- Planning under Uncertainty in Linear Time Logic -- Planning with Fuzzy Resources -- Planning by Abstraction Using HW[] -- The Role of Different Solvers in Planning and Scheduling Integration -- Robotics -- Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors -- An Early Cognitive Approach to Visual Motion Analysis -- Content Based Image Retrieval for Unsegmented Images -- A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture -- Image-Based Monte-Carlo Localisation without a Map -- Natural Language Processing -- Making Explicit the Hidden Semantics of Hierarchical Classifications -- Sub-symbolic Encoding of Words -- A Relation-Based Schema for Treebank Annotation -- Applications -- Personalized Recommendation of TV Programs -- A Simulation-Based Decision Support System for Forest Fire Fighting -- Knowledge Maintenance and Sharing in the KM Context: The Case of P–Truck -- A CSP-Based Interactive Decision Aid for Space Mission Planning -- E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation -- Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach -- Invited Speakers -- Two Paradigms for Natural-Language Processing -- Robotics and AI: From Intelligent Robots to Neuro-robotics. |
| Record Nr. | UNISA-996465800603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIIA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / / edited by Amedeo Cappelli, Franco Turini
| AIIA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / / edited by Amedeo Cappelli, Franco Turini |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 558 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Logic, Symbolic and mathematical Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-39853-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Representation and Reasoning -- A Complete Subsumption Algorithm -- Temporal Decision Trees for Diagnosis: An Extension -- Obligations as Social Constructs -- Automatically Decomposing Configuration Problems -- Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning -- A Methodology for the Induction of Ontological Knowledge from Semantic Annotations -- Qualitative Spatial Reasoning in a Logical Framework -- On Managing Temporal Information for Handling Durative Actions in LPG -- An Abductive Proof Procedure Handling Active Rules -- Soft Computing -- BackPropagation through Cyclic Structures -- A Neural Architecture for Segmentation and Modelling of Range Data -- A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction -- Adaptive Allocation of Data-Objects in the Web Using Neural Networks -- Machine Learning -- Improving the SLA Algorithm Using Association Rules -- Incremental Induction of Rules for Document Image Understanding -- Explaining Bagging with Monte Carlo Theory -- Pairwise Data Clustering Using Monotone Game Dynamics -- Abduction in Classification Tasks -- Data Mining -- MQL: An Algebraic Query Language for Knowledge Discovery -- Preprocessing and Mining Web Log Data for Web Personalization -- Multi-relational Structural Bayesian Classifier -- Intelligent Agents -- Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic -- Combining Intelligent Agents and Animation -- An Abductive Interpretation for Open Agent Societies -- Reasoning about Conversation Protocols in a Logic-Based Agent Language -- Distributed Intelligent Management of Active Networks -- Planning -- Planning under Uncertainty in Linear Time Logic -- Planning with Fuzzy Resources -- Planning by Abstraction Using HW[] -- The Role of Different Solvers in Planning and Scheduling Integration -- Robotics -- Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors -- An Early Cognitive Approach to Visual Motion Analysis -- Content Based Image Retrieval for Unsegmented Images -- A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture -- Image-Based Monte-Carlo Localisation without a Map -- Natural Language Processing -- Making Explicit the Hidden Semantics of Hierarchical Classifications -- Sub-symbolic Encoding of Words -- A Relation-Based Schema for Treebank Annotation -- Applications -- Personalized Recommendation of TV Programs -- A Simulation-Based Decision Support System for Forest Fire Fighting -- Knowledge Maintenance and Sharing in the KM Context: The Case of P–Truck -- A CSP-Based Interactive Decision Aid for Space Mission Planning -- E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation -- Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach -- Invited Speakers -- Two Paradigms for Natural-Language Processing -- Robotics and AI: From Intelligent Robots to Neuro-robotics. |
| Record Nr. | UNINA-9910768183403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / / Laurent Fribourg, Franco Turini, (eds.)
| Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / / Laurent Fribourg, Franco Turini, (eds.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/1 |
| Altri autori (Persone) |
FribourgLaurent
TuriniFranco |
| Soggetto topico | Logic programming - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Logic Program Synthesis and Transformation — Meta-Programming in Logic |
| Record Nr. | UNISA-996466162603316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||