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 2001

1
Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, and Hans-Peter Störr.
User adaptation in a web shop system.
In M. H. Hamza, editor, Proceedings of the IASTED International Conference Internet and Multimedia Systems and Applications, pages 208-213, Anaheim, Calgary, Zurich, 2001. ACTA Press.
Download: PDF file.

2
Kai Brünnler and Alwen Fernanto Tiu.
A local system for classical logic.
In R. Nieuwenhuis and A. Voronkov, editors, LPAR 2001, volume 2250 of Lecture Notes in Artificial Intelligence, pages 347-361. Springer-Verlag, 2001.
Download: PDF file (was Technical Report WV-01-02).

3
P. Buchholz, M. Droste, B. Ganter, S. Hölldobler, K. Meyer-Wegener, R. Pöschel, H. Reichel, M. Thielscher, and H. Vogler.
Different approaches to the semantics of workflow.
Technical Report TUD-FI01-04, Technische Universität Dresden, Fakultät Informatik, 2001.

4
H. Fiedler, W. Grass, O. Günther, S. Hölldobler, G. Hotz, R. Reischuk, B. Seeger, and D. Wagner, editors.
Ausgezeichnete Informatikdisserationen 2000, volume D-1 of Lecture Notes in Informatics.
German Informatics Society, 2001.

5
Bertram Fronhöfer and Manfred Schramm.
A probability theoretic analysis of score systems.
In Gabriele Kern-Isberner, Thomas Lukasiewicz, and Emil Weydert, editors, KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, pages 95-108, Fachbereich Informatik, Postfach 940, D-58084 Hagen, September 2001. Fernuniversität, Gesamthochschule in Hagen.
Download: PDF file.

6
Axel Großmann and Riccardo Poli.
Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids.
Robotics and Autonomous Systems, 37:1-18, 2001.

7
Alessio Guglielmi.
A Calculus of Order and Interaction.
Technical Report WV-01-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2001.

8
Alessio Guglielmi and Lutz Straßburger.
Non-commutativity and MELL in the calculus of structures.
In L. Fribourg, editor, Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01, number 2142 in Lecture Notes in Computer Science, pages 54-68. Springer, 2001.
Download: PDF file (was Technical Report WV-01-04).

9
Pascal Hitzler.
Kontraktionssätze auf verallgemeinerten metrischen Räumen.
In Anatolij Dvurecenskij and Gudrun Kalmbach, editors, Begabtenförderung im MINT-Bereich, volume 6, chapter 5, pages 79-88. Aegis-Verlag, Ulm, 2001.

10
Pascal Hitzler, Finbarr Holland, and Gudrun Kalmbach.
BCU Mathematics Contest 2001 -- Problems and Solutions.
In Anatolij Dvurecenskij and Gudrun Kalmbach, editors, Begabtenförderung im MINT-Bereich, volume 6, chapter 1, pages 3-16. Aegis-Verlag, Ulm, 2001.

11
Pascal Hitzler and Anthony K. Seda.
VDM${}^\clubsuit$ meets LCF. Domain-theoretic and topological aspects of VDM${}^\clubsuit$.
In Proceedings of the 5th Irish Workshop on Formal Methods, IWFM'01, Electronic Workshops in Computing (eWiC). British Computer Society, 2001.

12
Pascal Hitzler and Anthony Karel Seda.
Continuity of semantic operators in logic programming and their approximation by artificial neural networks.
Technical Report WV-01-07, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2001.
Download: PS.GZ file (appeared in 2003).

13
Pascal Hitzler and Anthony Karel Seda.
A "converse" of the Banach contraction mapping theorem.
Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3-6, 2001.
Proceedings of the 3rd Slovakian Student Conference in Applied Mathematics, Bratislava, April 2001
Download: PS.GZ file (was Technical Report WV-01-05).

14
Pascal Hitzler and Anthony Karel Seda.
Semantic operators and fixed-point theory in logic programming.
In N. Callaos et al., editors, Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001, volume VII, Computer Science and Engineering Part 1, pages 224-229. International Institute of Informatics and Systemics: IIIS, 2001.
Download: PS.GZ file.

15
Pascal Hitzler and Anthony Karel Seda.
Unique supported-model classes of logic programs.
Information, 4(3):295-302, 2001.
Download: PS.GZ file.

16
Steffen Hölldobler.
Logik und Logikprogrammierung.
Synchron Publishers GmbH, Heidelberg, January 2001.

17
Steffen Hölldobler.
Logik und Logikprogrammierung.
Synchron Publishers GmbH, second, extended edition, December 2001.

18
Manfred Schramm and Bertram Fronhöfer.
On efficient decision preserving translations of score systems into probabilistic systems.
In Gabriele Kern-Isberner, Thomas Lukasiewicz, and Emil Weydert, editors, KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, pages 79-93, Fachbereich Informatik, Postfach 940, D-58084 Hagen, September 2001. Fernuniversität, Gesamthochschule in Hagen.
Download: PDF file.

19
Manfred Schramm and Bertram Fronhöfer.
Pit: A system for reasoning with probabilities.
In Gabriele Kern-Isberner, Thomas Lukasiewicz, and Emil Weydert, editors, KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, pages 109-123, Fachbereich Informatik, Postfach 940, D-58084 Hagen, September 2001. Fernuniversität, Gesamthochschule in Hagen.
Download: PDF file.

20
Lutz Straßburger.
MELL in the calculus of structures.
Technical Report WV-01-03, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2001.
Download: PDF file.

21
Alwen Fernanto Tiu.
A1-unification.
Technical Report WV-01-08, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2001.
Download: PS.GZ file.

22
Alwen Fernanto Tiu.
Combining a1- and ac1-unification sharing unit.
Technical Report WV-01-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2001.
Download: PS.GZ file.

23
Alwen Fernanto Tiu.
Properties of a logical system in the calculus of structures.
Technical Report WV-01-06, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2001.
Master's Thesis.
Download: PS.GZ file.