KI 2009 : advances in artificial intelligence : 32nd annual German conference on AI, Paderborn, Germany, September 15-18, 2009 : proceedings
著者
書誌事項
KI 2009 : advances in artificial intelligence : 32nd annual German conference on AI, Paderborn, Germany, September 15-18, 2009 : proceedings
（Lecture notes in computer science, 5803 . Lecture notes in artificial intelligence）
Springer, c2009
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The 32nd Annual German Conference on Arti?cial Intelligence, KI 2009 (KI being the German acronym for AI), was held at the University of Paderborn, Germany on September 15-18, 2009, continuing a series of successful events. Starting back in 1975 as a national meeting, the conference now gathers - searchers and developers from academic ?elds and industries worldwide to share their research results covering all aspects of arti?cial intelligence. This year we received submissions from 23 countries and 4 continents. Besides the inter- tional orientation, we made a major e?ort to include as many branches of AI as possible under the roof of the KI conference. A total of 21 area chairs represe- ing di?erent communities within the ?eld of AI selected further members of the program committee and helped the local organizers to acquire papers. The new approach appealed to the AI community: we had 126 submissions, which cons- tuted an increase of more than 50%, and which resulted in 14 parallel sessions on the following topics agents and intelligent virtual environments AI and engineering automated reasoning cognition evolutionary computation Robotics experience and knowledge management history and philosophical foundations knowledge representation and reasoning machine learning and mining natural language processing planning and scheduling spatial and temporal reasoning vision and perception o?ering cutting edge presentations and discussions with leading experts. Thirty-one percent of the contributions came from outside German-speaking countries.
目次
Planning and Scheduling.- Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game.- Planning with h ?+? in Theory and Practice.- A Framework for Interactive Hybrid Planning.- A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems.- Perfect Hashing for State Spaces in BDD Representation.- On the Benefit of Fusing DL-Reasoning with HTN-Planning.- Flexible Timeline-Based Plan Verification.- Solving Non-deterministic Planning Problems with Pattern Database Heuristics.- An Exploitative Monte-Carlo Poker Agent.- Vision and Perception.- Interaction of Control and Knowledge in a Structural Recognition System.- Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?.- Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells.- Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception.- Fast Hand Detection Using Posture Invariant Constraints.- A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System.- What You See Is What You Set - The Position of Moving Objects.- Parameter Evolution: A Design Pattern for Active Vision.- Machine Learning and Data Mining.- Clustering Objects from Multiple Collections.- Generalized Clustering via Kernel Embeddings.- Context-Based Clustering of Image Search Results.- Variational Bayes for Generic Topic Models.- Evolutionary Computation.- Surrogate Constraint Functions for CMA Evolution Strategies.- Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm.- A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation.- Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System.- An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms.- Natural Language Processing.- Semi-automatic Creation of Resources for Spoken Dialog Systems.- Correlating Natural Language Parser Performance with Statistical Measures of the Text.- Comparing Two Approaches for the Recognition of Temporal Expressions.- Meta-level Information Extraction.- Robust Processing of Situated Spoken Dialogue.- iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text.- Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework.- SceneMaker: Automatic Visualisation of Screenplays.- Knowledge Representation and Reasoning.- A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.- External Sources of Axioms in Automated Theorem Proving.- Presenting Proofs with Adapted Granularity.- On Defaults in Action Theories.- Analogy, Paralogy and Reverse Analogy: Postulates and Inferences.- Cognition.- Early Clustering Approach towards Modeling of Bottom-Up Visual Attention.- A Formal Cognitive Model of Mathematical Metaphors.- Hierarchical Clustering of Sensorimotor Features.- P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface.- Human Perception Based Counterfeit Detection for Automated Teller Machines.- History and Philosophical Foundations.- Variations of the Turing Test in the Age of Internet and Virtual Reality.- A Structuralistic Approach to Ontologies.- AI Viewed as a "Science of the Culture".- Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.- Behavioural Congruence in Turing Test-Like Human-Computer Interaction.- AI and Engineering.- Machine Learning Techniques for Selforganizing Combustion Control.- Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production.- Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks.- Fuzzy Numerical Schemes for Hyperbolic Differential Equations.- Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies.- Automated Reasoning.- Comparing Unification Algorithms in First-Order Theorem Proving.- Atomic Metadeduction.- Spatial and Temporal Reasoning.- Toward Heterogeneous Cardinal Direction Calculus.- The Scared Robot: Motivations in a Simulated Robot Arm.- Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.- Assessing the Strength of Structural Changes in Cooccurrence Graphs.- Maximum a Posteriori Estimation of Dynamically Changing Distributions.- Agents and Intelligent Virtual Environments.- Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction.- To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment.- Requirements and Building Blocks for Sociable Embodied Agents.- Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema.- Hybrid Control for Embodied Agents Applications.- Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems.- Formalizing Joint Attention in Cooperative Interaction with a Virtual Human.- Towards Determining Cooperation Based on Multiple Criteria.- Experience and Knowledge Management.- The SEASALT Architecture and Its Realization within the docQuery Project.- Case Retrieval in Ontology-Based CBR Systems.- Behaviour Monitoring and Interpretation.- Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations.- Robotics.- Self-emerging Action Gestalts for Task Segmentation.- Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF.- A Manifold Representation as Common Basis for Action Production and Recognition.- Posters.- An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.- Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images.- Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data.- An Intelligent Fuzzy Agent for Spatial Reasoning in GIS.- Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm.- Heuristics for Resolution in Propositional Logic.- Context-Aware Service Discovery Using Case-Based Reasoning Methods.- Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem.- Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink.- Probabilistic Models for the Verification of Human-Computer Interaction.- HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.- Building Geospatial Data Collections with Location-Based Games.- Design Principles for Embodied Interaction: The Case of Ubiquitous Computing.- Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing.- Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition.
「Nielsen BookData」 より