TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Publications

Faculty of Computer Science

Publications and Technical Reports
in Year 2006

1
S. Bader and S. Hölldobler.
The Core Method: Connectionist Model Generation.
In Proceedings of the 16th International Conference on Artificial Neural Networks (ICANN), volume II of LNCS, pages 1-13. Springer, 2006.
Download: PDF file
© Springer-Verlag Berlin Heidelberg 2006, the original publication is available at www.springerlink.com.

2
Sebastian Bader, Pascal Hitzler, and Steffen Hölldobler.
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence.
Journal of Information, 9(1):7-20, January 2006.
Download: PDF file.

3
Dzung Dinh-Khac, Steffen Hölldobler, and Dinh-Khang Tran.
The Fuzzy Linguistic Description Logic $\cal {ALC}_{FL}$.
In Proceedings of the Eleventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), pages 2096-2103, July 2006.

4
Dzung Dinh-Khac and Steffen Hölldobler.
The Fuzzy Linguistic Description Logic $\mathcal{{ALC}_{FL}}$.
Technical Report WV-06-02, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, 2006.
Download: PDF file.

5
Bertram Fronhöfer and Akihiro Yamamoto.
Hypothesis Finding with Proof Theoretical Appropriateness Criteria.
Theoretical Computer Science, 350:140-162, 2006.
2006 Elsevier.

6
Steffen Hölldobler, Eldar Karabaev, and Olga Skvortsova.
FLUCAP: A Heuristic Search Planner for First-Order MDPs.
Journal of Artificial Intelligence Research, 27:419-439, 2006.
Download: PDF file.

7
Steffen Hölldobler and Olga Skvortsova.
LIFT-UP: Lifted First-Order Planning Under Uncertainty.
In Proceedings of the 6th International Workshop on the Implementation of Logics, pages 80-99, 2006.

8
Ozan Kahramanogullari.
Reducing Nondeterminism in the Calculus of Structures.
Technical Report WV-06-01, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, 2006.
Download: PDF file.

9
E. Karabaev, G. Rammé, and O. Skvortsova.
Efficient Symbolic Reasoning for First-Order MDPs.
In Proceedings of the Workshop on "Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds" at the 17th European Conference on Artificial Intelligence (ECAI'2006), Riva del Garda, Italy, 2006.
Download: PDF file.

10
Markus Krötzsch.
Generalized ultrametric spaces in quantitative domain theory.
Theoretical Computer Science, 368:30-49, December 2006.

11
Olga Skvortsova.
A new context-based $\theta$-subsumption algorithm.
In Sixteenth International Conference on Inductive Logic Programming (ILP'2006), pages 188-191, Santiago de Compostela, Spain, August 2006.
Download: PDF file.

12
Olga Skvortsova.
Say "No" to Grounding: An Inference Algorithm for First-Order MDPs.
In Doctoral Consortium Notes at ICAPS'2006, Cumbria, UK, June 2006.
Download: PDF file.

13
Andreas Witzel.
Neural-Symbolic Integration - Constructive Approaches.
Technical Report WV-06-03, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, 2006.
Download: PDF file.