KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /
The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10-13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resu...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Colección: | Lecture Notes in Artificial Intelligence,
4667 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Invited Talks
- The Role of AI in Shaping Smart Services and Smart Systems
- Early History and Perspectives of Automated Deduction
- Cognitive Technical Systems - What Is the Role of Artificial Intelligence?
- Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence?
- Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic
- Location-Based Activity Recognition
- Papers
- Pinpointing in the Description Logic
- Integrating Action Calculi and Description Logics
- Any-World Access to OWL from Prolog
- Applying Logical Constraints to Ontology Matching
- Resolving Inconsistencies in Probabilistic Knowledge Bases
- Extending Markov Logic to Model Probability Distributions in Relational Domains
- A Multilingual Framework for Searching Definitions on Web Snippets
- A SPARQL Semantics Based on Datalog
- Negation in Spatial Reasoning
- Relational Neural Gas
- A General Framework for Encoding and Evolving Neural Networks
- Making a Robot Learn to Play Soccer Using Reward and Punishment
- Perception and Developmental Learning of Affordances in Autonomous Robots
- A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations
- On Constructing a Communicative Space in HRI
- Natural Language Descriptions of Human Behavior from Video Sequences
- Detecting Humans in 2D Thermal Images by Generating 3D Models
- Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval
- Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform
- Solving Decentralized Continuous Markov Decision Problems with Structured Reward
- Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog
- On the Construction and Evaluation of Flexible Plan-Refinement Strategies
- Learning How to Play Hex
- Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks
- A Stochastic Local Search Approach to Vertex Cover
- Posters
- A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game
- Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology
- Deep Inference for Automated Proof Tutoring?
- Exploiting Past Experience - Case-Based Decision Support for Soccer Agents
- Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs
- Text Generation in the SmartWeb Multimodal Dialogue System
- A Method to Optimize the Parameter Selection in Short Term Load Forecasting
- Visual Robot Localization and Mapping Based on Attentional Landmarks
- Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
- Emotion Based Control Architecture for Robotics Applications
- Inductive Synthesis of Recursive Functional Programs
- Training on the Job - Collecting Experience with Hierarchical Hybrid Automata
- Selecting Users for Sharing Augmented Personal Memories
- Semantic Reflection - Knowledge Based Design of Intelligent Simulation Environments
- Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot
- Improving the Detection of Unknown Computer Worms Activity Using Active Learning
- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems
- Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems
- LiSA: A Robot Assistant for Life Sciences
- Semantic Graph Visualisation for Mobile Semantic Web Interfaces
- A Qualitative Model for Visibility Relations.