LEADER 06213nam 22006135 450 001 9910144047903321 005 20251116234406.0 010 $a3-540-39451-6 024 7 $a10.1007/b13477 035 $a(CKB)1000000000212186 035 $a(SSID)ssj0000324242 035 $a(PQKBManifestationID)11254459 035 $a(PQKBTitleCode)TC0000324242 035 $a(PQKBWorkID)10304205 035 $a(PQKB)11053487 035 $a(DE-He213)978-3-540-39451-8 035 $a(MiAaPQ)EBC3087726 035 $a(PPN)155168746 035 $a(BIP)13617839 035 $a(BIP)9287336 035 $a(EXLCZ)991000000000212186 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKI 2003: Advances in Artificial Intelligence $e26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings /$fedited by Andreas Günter, Rudolf Kruse, Bernd Neumann 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XII, 668 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2821 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-20059-2 320 $aIncudes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression -- Leveraging Metadata Creation for the Semantic Web with CREAM -- Negotiation Technologies -- Pushing the Limit in Visual Data Exploration: Techniques and Applications -- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle -- Logics and Ontologies -- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Satisfiability and Completeness of Converse-PDL Replayed -- Optimality Theory through Default Logic -- Towards a Systematic Account of Different Logic Programming Semantics -- How to Build a Foundational Ontology -- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections -- Cognitive Modeling -- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences -- Designing Agents with MicroPsi Node Nets -- Conscious Behavior through Reflexive Dialogs -- Reasoning Methods -- What Observations Really Tell Us -- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k -- Computing Minimum-Cardinality Diagnoses Using OBDDs -- Presenting Sets of Problem Solutions Concisely -- Machine Learning -- Automatic Document Categorization -- A Logical Approach to Data-Driven Classification -- Spatial Inference ? Combining Learning and Constraint Solving -- Hybrid Approaches for Case Retrieval and Adaptation -- Neural Networks -- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images -- Sequential Learning Algorithm of Neural Networks Systems for Time Series -- A k-Winner-Takes-All Classifier for Structured Data -- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks -- Reasoning under Uncertainty -- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment -- On Identifying Tree-Structured Perfect Maps -- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection -- Fusing Probabilistic Information on Maximum Entropy -- A Probabilistic Approach for Dynamic State Estimation Using Visual Information -- Approaches to Semi-supervised Learning of Fuzzy Classifiers -- Instance-Based Learning of Credible Label Sets -- Self Learning or How to Make a Knowledge Base Curious about Itself -- Tolerance Spaces and Approximative Representational Structures -- Planning and Constraints -- Planning in Answer Set Programming Using Ordered Task Decomposition -- The Process Semantics Based Reasoning about Continuous Change -- A Flexible Meta-solver Framework for Constraint Solver Collaboration -- Spatial Modeling -- Tripartite Line Tracks ? Bipartite Line Tracks -- Consistent 3D Model Construction with Autonomous Mobile Robots -- Who Can Connect in RCC? -- An Arrangement Calculus, Its Complexity and Algorithmic Properties -- User Modeling -- Multimodal User State Recognition in a Modern Dialogue System -- Tailoring the Presentation of Plans to Users? Knowledge and Capabilites -- Agent Technology -- An Agents? Definition Framework and a Methodology for Deriving Agents? Taxonomies -- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom -- Monitoring Agents Using Declarative Planning. 330 $aThis book constitutes the refereed proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, held in Hamburg, Germany in September 2003.The 42 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 90 submissions from 22 countries. The papers are organized in topical sections on logics and ontologies, cognitive modeling, reasoning methods, machine learning, neural networks, reasoning under uncertainty, planning and constraints, spatial modeling, user modeling, and agent technology. 410 0$aLecture Notes in Artificial Intelligence ;$v2821 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aGünter$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKruse$b Rudolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNeumann$b Bernd$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aGerman Conference on Artificial Intelligence 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144047903321 996 $aKI 2003: Advances in Artificial Intelligence$92262771 997 $aUNINA