LEADER 07455nam 22007335 450 001 996465586803316 005 20220222003426.0 010 $a3-642-33347-8 024 7 $a10.1007/978-3-642-33347-7 035 $a(CKB)3400000000086229 035 $a(SSID)ssj0000767537 035 $a(PQKBManifestationID)11424744 035 $a(PQKBTitleCode)TC0000767537 035 $a(PQKBWorkID)10740947 035 $a(PQKB)11465429 035 $a(DE-He213)978-3-642-33347-7 035 $a(MiAaPQ)EBC3070048 035 $a(PPN)168324210 035 $a(EXLCZ)993400000000086229 100 $a20120908d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKI 2012: Advances in Artificial Intelligence$b[electronic resource] $e35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings /$fedited by Birte Glimm, Antonio Krüger 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIV, 267 p. 89 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v7526 300 $aInternational conference proceedings. 311 $a3-642-33346-X 320 $aIncludes bibliographical references and author index. 327 $aVerification 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. 330 $aThis book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and application of all aspects of AI. 410 0$aLecture Notes in Artificial Intelligence ;$v7526 606 $aArtificial intelligence 606 $aInformation storage and retrieval 606 $aComputer simulation 606 $aUser interfaces (Computer systems) 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval. 615 0$aComputer simulation. 615 0$aUser interfaces (Computer systems). 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aInformation Storage and Retrieval. 615 24$aSimulation and Modeling. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aGlimm$b Birte$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKrüger$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aGerman Conference on Artificial Intelligence 906 $aBOOK 912 $a996465586803316 996 $aKI 2012: Advances in Artificial Intelligence$92830473 997 $aUNISA