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 2002

1
H. Beilner, H. Fiedler, O. Günther, S. Hölldobler, G. Hotz, P. Liggesmeyer, K.-P. Löhr, R. Reischuk, and D. Wagner, editors.
Ausgezeichnete Informatikdisserationen 2001, volume D-2 of Lecture Notes in Informatics.
German Informatics Society, 2002.

2
Kai Brünnler.
Atomic cut elimination for classical logic.
Technical Report WV-02-11, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PDF file.

3
Kai Brünnler.
Two restrictions on contraction.
Technical Report WV-02-04, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PDF file.

4
Kai Brünnler and Alessio Guglielmi.
Consistency without cut elimination.
Technical Report WV-02-16 (updated April 2003), Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PDF file.

5
Paola Bruscoli.
A purely logical account of sequentiality in proof search.
In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, pages 302-316. Springer-Verlag, 2002.
Download: PDF file (was Technical Report WV-02-06).

6
Bertram Fronhöfer and Akihiro Yamamoto.
Minimised residue hypotheses in relevant logic.
In Nicolò Cesa-Bianchi, Masayuki Numao, and Rüdiger Reischuk, editors, Proceedings of the 13th International Conference on Algorithmic Learning Theory, volume 2533 of Lecture Notes in Artificial Intelligence, pages 278-292. Springer, Berlin, 2002.

7
Axel Großmann, Steffen Hölldobler, and Olga Skvortsova.
Symbolic dynamic programming within the fluent calculus.
In Naohiro Ishii, editor, Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, pages 378-383, Tokyo, Japan, September 25-27 2002. ACTA Press.
ISBN: 0-88986-358-X.

8
Marina Guetova, Steffen Hölldobler, and Hans-Peter Störr.
Incremental fuzzy decision trees.
In Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, editors, Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), volume 2479 of Lecture Notes in Artificial Intelligence, pages 67-81, Aachen, Germany, 2002. Springer Verlag.
Download: PDF file.

9
Alessio Guglielmi.
A System of Interaction and Structure.
Technical Report WV-02-10, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2002.
To appear in ACM Transactions on Computational Logic. Download: PDF file.

10
Alessio Guglielmi and Lutz Straßburger.
A non-commutative extension of MELL.
In Matthias Baaz and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, pages 231-246. Springer-Verlag, 2002.
Download: PDF file (was Technical Report WV-02-03).

11
Roland Heinze, Pascal Hitzler, and Anthony Karel Seda.
Convergence classes and spaces of partial functions.
Technical Report WV-02-02, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2002.
Published in 2003.

12
Pascal Hitzler.
Circular belief in logic programming semantics.
Technical Report WV-02-13, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PS.GZ file.

13
Pascal Hitzler.
Contexts, concepts, and logic of domains.
Technical Report WV-02-12, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PS.GZ file.

14
Pascal Hitzler.
Resolution and logic programming in algebraic domains: Negation and defaults.
Technical Report WV-02-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PDF file.

15
Pascal Hitzler.
Towards nonmonotonic reasoning on hierarchical knowledge.
Technical Report WV-02-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Published in 2003.

16
Pascal Hitzler and Anthony Karel Seda.
The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming.
Fields Institute Communications, (32):219-235, 2002.

17
Pascal Hitzler and Anthony Karel Seda.
On the coincidence of semantics for uniquely determined programs.
In Ted Hurley, Mícheál Mac an Airchinnigh, Michel Schellekens, and Anthony Seda, editors, Electronic Notes in Theoretical Computer Science, volume 40. Elsevier Science Publishers, 2002.

18
Pascal Hitzler and Matthias Wendt.
A uniform approach to logic programming semantics.
Technical Report WV-02-14, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
Download: PS.GZ file. Revised version to appear in Theory and Practice of Logic Programming.

19
Pascal Hitzler and Matthias Wendt.
The well-founded semantics is a stratified Fitting semantics.
In Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, editors, Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany, September 2002, volume 2479 of Lecture Notes in Artificial Intelligence, pages 205-221. Springer, Berlin, 2002.
Download Technical Report WV-02-07: PS.GZ file.

20
Steffen Hölldobler, Tran Dinh Khang, and Hans-Peter Störr.
A fuzzy description logic with hedges as concept modifiers.
In Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, and Pratit Santiprabhob, editors, Proceedings InTech/VJFuzzy'2002, pages 25-34, Hanoi, Vietnam, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam.
Download: PDF file.

21
Manfred Schramm and Bertram Fronhöfer.
Completing incomplete Bayesian networks.
In Gabriele Kern-Isberner and Wilhelm Roedder, editors, Conditionals, Information, and Inference, pages 231-243, Fachbereich Informatik, Postfach 940, D-58084 Hagen, May 2002. Fernuniversität, Gesamthochschule in Hagen.

22
Manfred Schramm and Bertram Fronhöfer.
Probabilistic aspects of score systems.
Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, 7(007), 2002.
http://www.ep.liu.se/ea/cis/2002/007/.

23
Hans-Peter Störr.
A compact fuzzy extension of the naive bayesian classification algorithm.
In Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, and Pratit Santiprabhob, editors, Proceedings InTech/VJFuzzy'2002, pages 172-177, Hanoi, Vietnam, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam.
Download: PDF file.

24
Lutz Straßburger.
A local system for linear logic.
In Matthias Baaz and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, pages 388-402. Springer, Berlin, 2002.
Download: PDF file (was Technical Report WV-02-01).

25
Matthias Wendt.
Unfolding the well-founded semantics.
Journal of Electrical Engineering, 53(12/s):56-59, 2002.
Proceedings of the 4th Slovakian Student Conference on Applied Mathematics, Bratislava, April 2002, Slovak Academy of Sciences.
Download Technical Report WV-02-08: PS.GZ file.

26
Akihiro Yamamoto and Bertram Fronhöfer.
A theory of hypothesis finding in clausal logic.
In Setsuo Arikawa and Ayumi Shinohara, editors, Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, pages 246-257. Springer, 2002.