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.
KI 2012: Advances in Artificial Intelligence [[electronic resource] ] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings / / edited by Birte Glimm, Antonio Krüger
| KI 2012: Advances in Artificial Intelligence [[electronic resource] ] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings / / edited by Birte Glimm, Antonio Krüger |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 267 p. 89 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages |
| ISBN | 3-642-33347-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification of Behaviour Networks Using Finite-State Automata -- Formal Semantics of Model Fields in Annotation-Based Specifications.- Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.- A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning -- Plan Recognition by Program Execution in Continuous Temporal Domains.- Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.- Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.- Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules -- Gated Boosting: Efficient Classifier Boosting and Combining. Formal Semantics of Model Fields in Annotation-Based Specifications.- Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.- A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning -- Plan Recognition by Program Execution in Continuous Temporal Domains.- Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.- Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.- Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules -- Gated Boosting: Efficient Classifier Boosting and Combining. |
| Record Nr. | UNISA-996465586803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNISA-996466459503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Machine theory Information storage and retrieval systems Database Management Artificial Intelligence Formal Languages and Automata Theory Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNINA-9910483752703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Semantic Web - ISWC 2010 [[electronic resource] ] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II / / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
| The Semantic Web - ISWC 2010 [[electronic resource] ] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II / / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXII, 374 p.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Application software Software engineering Information storage and retrieval Database management Data mining Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery |
| ISBN |
1-283-47746-7
9786613477460 3-642-17749-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466038303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Semantic Web - ISWC 2010 [[electronic resource] ] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I / / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
| The Semantic Web - ISWC 2010 [[electronic resource] ] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I / / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXI, 833 p. 201 illus., 103 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Application software Data mining Information storage and retrieval Database management Computers and civilization Computer Communication Networks Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Information Storage and Retrieval Database Management Computers and Society |
| ISBN |
1-283-47745-9
9786613477453 3-642-17746-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466036603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||