KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...
KI
2009
Springer
14 years 2 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
KI
2009
Springer
14 years 2 months ago
2009
Springer
KI
2009
Springer
14 years 2 months ago
2009
Springer
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a novel approach for meta-level information extraction (IE). The common IE process model is extended by utilizing transfer knowledge and meta-features...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We generalize traditional goals of clustering towards distinguishing components in a non-parametric mixture model. The clusters are not necessarily based on point locatio...
KI
2009
Springer
14 years 2 months ago
2009
Springer
The article contributes a derivation of variational Bayes for a large class of topic models by generalising from the well-known model of latent Dirichcation. For an abstraction of ...