KI 2007: Advances in Artificial Intelligence [electronic resource] : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings / edited by Joachim Hertzberg, Michael Beetz, Roman Englert.

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
1 online resource (XV, 516 pages)
1st ed. 2007.
Computer Science (Springer-11645)
Lecture notes in computer science. Lecture notes in artificial intelligence 4667
Lecture Notes in Artificial Intelligence ; 4667
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Artificial intelligence.
Data mining.
Logic, Symbolic and mathematical.
Natural language processing (Computer science).
Local subjects:
Artificial Intelligence. (search)
Data Mining and Knowledge Discovery. (search)
Mathematical Logic and Formal Languages. (search)
Natural Language Processing (NLP). (search)
System Details:
text file PDF
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, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops - ten of them this year - and two tutorials. They are not coveredin this volume, but the conference Web will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search - all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a "small anniversary," being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago - in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.
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
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
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.
Hertzberg, Joachim. editor., Editor,
Beetz, Michael. editor., Editor,
Englert, Roman, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-540-74565-5 doi
Access Restriction:
Restricted for use by site license.