Sciweavers

KI
2007
Springer
13 years 9 months ago
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
Lutz Böhnstedt, Alexander Ferrein, Gerhard La...
KI
2007
Springer
13 years 9 months ago
Negation in Spatial Reasoning
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
Stefan Schleipen, Marco Ragni, Thomas Fangmeier
KI
2007
Springer
13 years 9 months ago
Relational Neural Gas
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
Barbara Hammer, Alexander Hasenfuss
KI
2007
Springer
13 years 9 months ago
Emotion Based Control Architecture for Robotics Applications
Assistance and service systems are one of the main research topics in robotics today. A major problem for creating these systems is that they have to work and navigate in the real ...
Jochen Hirth, Tim Braun, Karsten Berns
KI
2007
Springer
13 years 9 months ago
Extending Markov Logic to Model Probability Distributions in Relational Domains
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
Dominik Jain, Bernhard Kirchlechner, Michael Beetz
KI
2007
Springer
13 years 9 months ago
Pinpointing in the Description Logic EL+
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
Franz Baader, Rafael Peñaloza, Boontawee Su...
KI
2007
Springer
13 years 9 months ago
Deep Inference for Automated Proof Tutoring?
Christoph Benzmüller, Dominik Dietrich, Marvi...
KI
2007
Springer
13 years 9 months ago
Semantic Graph Visualisation for Mobile Semantic Web Interfaces
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...
Daniel Sonntag, Philipp Heim
KI
2007
Springer
13 years 9 months ago
LiSA: A Robot Assistant for Life Sciences
This paper presents a mobile service robot that assists users in biological and pharmaceutical laboratories by carrying out routine jobs such as filling and transportation of micr...
Erik Schulenburg, Norbert Elkmann, Markus Fritzsch...