KI 2003: Advances in Artificial Intelligence (Record no. 33948)

000 -LEADER
fixed length control field 05189nam a22004935i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540394518
-- 978-3-540-39451-8
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
245 10 - TITLE STATEMENT
Title KI 2003: Advances in Artificial Intelligence
Sub Title 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings /
Statement of responsibility, etc edited by Andreas Günter, Rudolf Kruse, Bernd Neumann.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2003.
300 ## - PHYSICAL DESCRIPTION
Number of Pages XII, 668 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial intelligence.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial Intelligence (incl. Robotics).
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Günter, Andreas.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kruse, Rudolf.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Neumann, Bernd.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/b13477
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2003.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK4654 http://dx.doi.org/10.1007/b13477 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha