32nd Annual Conference on
Artificial Intelligence
Paderborn | September 15 – 18, 2009
Accepted Papers / Posters
Papers accepted for oral presentation: | ||
authors | paperID | title |
Abou Assali, Amjad (1); | 133 | Case Retrieval in Ontology-Based CBR Systems |
Adrian, Benjamin (1); | 147 | iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text |
Artmann, Stefan | 115 | Behavioural Congruence in Turing Test-like Human-Computer Interaction |
Autexier, Serge; | 161 | Atomic Metadeduction |
Aziz, Muhammad Zaheer; | 242 | Early Clustering Approach Towards Modeling of Bottom-Up Visual Attention |
Azizi, Amir; | 129 | A new Method for Iris Feature Extraction Based on Contourlet Transform and Co-occurrence Matrix |
Belli, Fevzi (1); | 217 | Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies |
Ben Amor, Heni; | 170 | Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction |
Bercher, Pascal Tobias; | 182 | Solving Non-Deterministic Planning Problems with Pattern Database Heuristics |
Betz, Christoph; | 188 | Planning with h+ in Theory and Practice |
Breuss, Michael (1); | 218 | Fuzzy Logic for Hyperbolic Numerics |
Butz, Martin V.; | 233 | The Scared Robot: Motivations in a Simulated Robot Arm |
Cesta, Amedeo (1); | 180 | Flexible Timeline-based Plan Verification with UPPAAL-TIGA |
Chumerin, Nikolay (1); | 157 | P300 detection based on Feature Extraction in on-line Brain-Computer Interface |
Eberling, Markus | 120 | Towards Determining Cooperation based on Multiple Criteria |
Edelkamp, Stefan (1); | 113 | Perfect Hashing for State Spaces in BDD Representation |
Edelkamp, Stefan (1); | 184 | Solving Fully-Observable Non-Deterministic Planning Problems via Translation into a General Game |
Gadzicki, Konrad | 199 | Hierarchical Clustering of Sensorimotor Features |
Ganascia, Jean-Gabriel (6) | 140 | AI viewed as a "Science of the Culture" |
Garbacz, Pawel; | 225 | Beyond Public Announcement Logic, An Alternative Approach to some AI Puzzles |
Gottfried, Björn | 151 | Behaviour Monitoring and Interpretation: A Computational Approach to Ethology |
Guhe, Markus; | 208 | A Formal Cognitive Model of Mathematical Metaphors |
Günther, Maik; | 228 | A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation |
Hanser, Eva; | 166 | SceneMaker: Intelligent Multimodal Visualisation of Natural Language Scripts |
Hartanto, Ronny (1,2); | 187 | On the Benefit of Fusing DL-Reasoning with HTN-Planning |
Heinrich, Gregor (1,3); | 127 | Variational Bayes for generic topic models |
Hellbach, Sven (1); | 196 | Prediction and Classifiation of Motion Trajectories using Spatio-Temporal NMF |
Hollink, Vera; | 156 | Clustering Objects from Multiple Collections |
Hund, Marcus; | 239 | Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception |
Iqbal, Taswar (1); | 144 | Human Perception Based Counterfeit Detection for Automated Teller Machines |
Jegelka, Stefanie Sabrina (1); | 220 | Generalized clustering via kernel embeddings |
Kern-Isberner, Gabriele (1); | 125 | A Conceptual Agent Model based on a Uniform Approach to Various Belief Operations |
Klügl, Peter; | 181 | Meta-Level Information Extraction |
Kolomiyets, Oleksandr; | 229 | Machine Learning Approaches for Temporal Information Extraction: A comparative study |
Kopp, Stefan; | 191 | Requirements, Principles, and Building Blocks for Sociable Interactive Agents |
Kramer, Oliver; | 206 | Surrogate Constraint Functions for CMA Evolution Strategies |
Kramer, Oliver; | 207 | Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm |
Kurata, Yohei; | 139 | Toward Heterogeneous Cardinal Direction Calculus |
Lämmel, Gregor (1); | 121 | Towards system optimum: Finding optimal routing strategies in time dependent networks for large-scale evacuation problems |
Langer, Falk; | 197 | Fault detection in discrete event based distributed systems by forecasting message sequences with neural networks |
Lettow, Susanne | 203 | Artificial Minds, Artificial Subjects. AI Research and Philosophy of Mind since the 1960s |
Lipinski, John; | 226 | Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework |
Lison, Pierre; | 159 | Robust Processing of Situated Spoken Dialogue |
Liwicki, Marcus; | 146 | Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations |
Maier, Paul (1); | 134 | Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production |
Mandow, Lawrence; | 116 | A Memory-efficient Search Strategy for Multiobjective Shortest Path Problems |
Michaelsen, Eckart; | 141 | Interaction of Control and Knowledge in a Structural Recognition System |
Miksatko, Jan; | 118 | Hybrid Control for Embodied Agents Applications |
Müller, Michael; | 175 | Parameter Evolution: A Design Pattern for Active Vision |
Neumann, Florentin (1); | 122 | Variations of the Turing Test in the Age of Internet and Virtual Reality |
Nguyen, Nhung; | 173 | Modeling Peripersonal Action Space for Virtual Humans Using Touch and Proprioception |
Pardowitz, Michael; | 169 | Self-Emerging Action Gestalts for Task Segmentation |
Petersen, Nils; | 174 | Fast Hand Detection Using Posture Invariant Constraints |
Pfeiffer-Lessmann, Nadine; | 198 | Formalizing Joint Attention in Cooperative Interaction with a Virtual Human |
Pommerening, Florian; | 164 | Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning |
Prade, Henri; | 194 | Three basic forms of analogy-based reasoning: Postulates and inferences |
Priess, Heinz-Werner; | 205 | What you see is what you set – the position of moving objects. |
Reichle, Meike; | 224 | The SEASALT Architecture and its Realization within the docQuery Project |
Schaffernicht, Erik (1); | 162 | Machine Learning Techniques for Selforganizing Combustion Control |
Schattenberg, Bernd; | 240 | A Framework For Interactive Hybrid Planning |
Schäufler, Christian; | 132 | A Structuralistic Approach to Ontologies |
Scheffler, Tatjana; | 185 | Semi-Automatic Creation of Resources for Spoken Dialog Systems |
Schiller, Marvin (1,2); | 124 | Presenting Proofs with Adapted Granularity |
Schweizer, Immanuel; | 193 | An Exploitative Monte-Carlo Poker Agent |
Shafik, Mohamed; | 143 | Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells |
Stalph, Patrick O.; | 234 | Controlling a Four Degree of Freedom Arm in 3D using XCSF |
Steffen, Jan; | 167 | A Manifold Representation as Common Basis for Action Production and Recognition |
Steinbrecher, Matthias; | 195 | Assessing the Strength of Structural Changes in Cooccurrence Graphs |
Strass, Hannes; | 152 | On Defaults in Action Theories |
Suda, Martin (1); | 106 | External Sources of Axioms in Automated Theorem Proving |
Tönnies, Hauke | 216 | An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms |
Volkhardt, Michael; | 165 | Maximum a Posteriori Estimation of Dynamically Changing Distributions |
Voronkov, Andrei; | 186 | Comparing Unification Algorithms in First-Order Theorem Proving |
Wang, Hongqi (1,2); | 171 | Context-Based Clustering of Image Search Results |
Weiß, Katharina; | 219 | Attention speeds up visual information processing: Selection for perception or Selection for action? |
Wißner, Michael; | 227 | To See and to be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment |
Zhang, Yi (1); | 232 | Correlating Natural Language Parser Performance with Statistical Measures of the Text |
Papers accepted for poster presentation: | ||
authors | paperID | title |
Beckert, Bernhard; | 200 | Probabilistic Models for the Verification of Human-Computer Interaction |
Hilkenmeier, Frederic; | 192 | Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink |
Kerber, Manfred | 154 | Heuristics for Resolution in Propositional Logic |
Klügl, Franziska (1); | 119 | Agent-based Pedestrian Simulation of Train Evacuation Integrating Environmental Data |
Kramer, Oliver; | 231 | Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition |
Kruse, Michael; | 148 | PaderRescue - Project-group for Agent-based Disaster Management and Emergent Realtime Rescue for Emergency SCenarios in Uncertain Environments |
Malaka, Rainer (1); | 221 | Design Principles for Embodied Interaction: The Case of Ubiquitous Computing |
Matyas, Sebastian; | 211 | Building Geospatial Data Collections with Location-based Games |
Petruseva, Silvana | 179 | Forward chaining algorithm for solving the shortest path problem in arbitrary deterministic environment in linear time- applied for the Tower of Hanoi Problem |
Rafique, Amer Farhan; | 230 | Multidisciplinary Design of Air-Launched Space Launch Vehicle using Simulated Annealing |
Schwarz, Christian; Mohammed, Ammar | 209 | HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata |
Shad, Rouzbeh; | 137 | An intelligent fuzzy agent for spatial reasoning in GIS |
Volkov, Vladimir Yurievich | 117 | Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images |
Weber, Markus (1); | 176 | Context-Aware Service Discovery using Case-Based Reasoning Methods |
Zhang, Xiaowang (1,2); | 110 | An Argumentation-based Approach to Handling Inconsistencies in DL-Lite |
© 2009 Copyright GET Lab - University of Paderborn