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 2004

1
Sebastian Bader and Pascal Hitzler.
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks.
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):273-300, 2004.
Download preprint: PS.GZ file (was Technical Report WV-03-11).

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.
In L. Li and K. K. Yen, editors, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, pages 22-33. International Information Institute, 2004.
Download: PDF file.

3
Sebastian Bader, Steffen Hölldobler, and Alexandre Scalzitti.
Semiring Artificial Neural Networks and Weighted Automata -- And an Application to Digital Image Encoding --.
In G. Palm S. Biundo, T. Frühwirth, editor, KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th AnnualGerman Conference on Artificial Intelligence, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, pages 281-294. Springer, 2004.
Download: PDF file. (was Technical Report WV-04-05).
© Springer-Verlag Berlin Heidelberg 2004, the original publication is available at www.springerlink.com.

4
Kai Brünnler and Alessio Guglielmi.
A First Order System with Finite Choice of Premises.
In Hendricks et al., editor, First-Order Logic Revisited. Logos Verlag, 2004.
To appear.

5
S. Bader F. Maire and F. Wathne.
Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes, volume 152 of Studies in Fuzziness and Soft Computing, chapter 1.
Springer, 2004.
Neural Information Processing: Research and Development.

6
Matthias Fichtner and Axel Großmann.
A probabilistic visual sensor model for mobile robot localisation in structured environments.
In Proceedings of the 2004 International Conference on Intelligent Robots and Systems (IROS-2004), Sendai, Japan, 2004.

7
Pascal Hitzler.
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.
In Dietmar Seipel, Michael Hanus, Ulrich Geske, and Oskar Bartenstein, editors, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on (Constraint) Logic Programming, Potsdam, Germany, March 2004, volume 327 of Technical Report, Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik, pages 13-27, March 2004.
Download: PS.GZ file.

8
Pascal Hitzler.
Default reasoning over domains and concept hierarchies.
In Proceedings of the 27th German Conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, pages 351-365. Springer, Berlin, 2004.
Download paper with additional full proofs in appendix: PS.GZ file.
© Springer-Verlag Berlin Heidelberg 2004, the original publication is available at www.springerlink.com.

9
Pascal Hitzler.
A generalized resolution theorem.
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1-2):25-30, 2004.
Download: PDF file.

10
Pascal Hitzler, Steffen Hölldobler, and Anthony K. Seda.
Logic Programs and Connectionist Networks.
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):245-272, 2004.
Download preprint: PDF file (was Technical Report WV-03-12).

11
Pascal Hitzler, G. Kalmbach, and Z. Riecanová, editors.
Begabtenförderung im MINT-Bereich, volume 9.
Aegis-Verlag, Ulm, 2004.
ISBN 3-87005-053-5.

12
Pascal Hitzler and Guo-Qiang Zhang.
A cartesian closed category of approximable concept structures.
In Karl-Erich Wolff, Heather D. Pfeiffer, and Harry S. Delugach, editors, Conceptual Structures at Work, Proceedings of the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004, volume 3127 of Lecture Notes in Artificial Intelligence, pages 170-185. Springer, 2004.
Download: PDF file
© Springer-Verlag Berlin Heidelberg 2004, the original publication is available at www.springerlink.com.

13
S. Hölldobler, H.-P. Störr, T.D. Khang, and Nguyen Hoang Nga.
The Subsumption Problem in the Fuzzy Description Logic $\mathcal{ALC}_{FH}$.
In Proceedings Tenth International Conference IPMU 2004:Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, pages 243-250, 2004.

14
Steffen Hölldobler and Ozan Kahramanogullari.
From the Calculus of Structures to Term Rewriting Systems.
Technical Report WV-04-03, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2004.
Download: PDF file.

15
Steffen Hölldobler and Olga Skvortsova.
A Logic-Based Approach to Dynamic Programming.
In Learning and Planning in Markov Processes-Advances and Challenges, Papers from the AAAI Workshop, number Technical Report WS-04-08, pages 31-36. AAAI Press, Menlo Park, California, July 2004.
Download: PDF file.
© AAAI.

16
Ozan Kahramanogullari.
Implementing System BV of the Calculus of Structures in Maude.
In Proceedings of the ESSLLI-2004 Student Session, Universit Henri Poincare, Nancy, France, 2004.
Download: PDF file.

17
Ozan Kahramanogullari.
Plans as Formulae with a Non-commutative Logical Operator - Planning as Concurrency.
Technical Report WV-04-06, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2004.
Download: PDF file.

18
Ozan Kahramanogullari.
System BV without the Equalities for Unit.
In C. Aykanat, T. Dayar, and I. Korpeoglu, editors, Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04, Lecture Notes in Computer Science. Springer Verlag, 2004.
Download: PDF file.
© Springer-Verlag Berlin Heidelberg 2004, the original publication is available at www.springerlink.com.

19
E. Karabaev and O. Skvortsova.
FCPlanner: A Planning Strategy for First-Order MDPs.
In Notes for the International Planning Competition 2004 at the14th International Conference on Automated Planning and Scheduling(ICAPS'2004), June 2004.

20
Markus Krötzsch.
Generalized Ultrametric Spaces in Quantitative Domain Theory.
Technical Report WV-04-02, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2004.
Download: PS.GZ file. Submitted.

21
Charles Stewart and Phiniki Stouppa.
A systematic proof theory for several modal logics.
In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, editors, Proceedings of the 5th International Conference on Advances in Modal Logic, AiML-2004, 2004.
Download: PDF file. To appear.