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 2003

1
H. Beilner, H. Fiedler, M. Gross, O. Günther, S. Hölldobler, G. Hotz, K.-P. Löhr, R. Reischuk, and D. Wagner, editors.
Ausgezeichnete Informatikdissertationen 2002, volume D-3 of Lecture Notes in Informatics.
German Informatics Society, 2003.

2
Kai Brünnler.
Locality for Classical Logic.
Technical Report WV-03-04, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download Technical Report WV-03-04: PDF file.

3
Kai Brünnler.
Two Restrictions on Contraction.
Logic Journal of the IGPL, 11(5):525-529, 2003.
Download: PDF file.

4
Kai Brünnler and Alessio Guglielmi.
A Finitary System for First Order Logic.
Technical Report WV-03-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download: PDF file. Submitted.

5
Paola Bruscoli.
A purely logical account of sequentiality in proof search - extended abstract.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik. TU Dresden, 01062 Dresden, April 2003.
ISSN 1430-211X.

6
Paola Bruscoli and Alessio Guglielmi.
On Structuring Proof Search for First Order Linear Logic.
In Moshe Y. Vardi and Andrei Voronkov, editors, LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, pages 389-406. Springer-Verlag, 2003.

7
Paola Bruscoli and Alessio Guglielmi.
On Structuring Proof Search for First Order Linear Logic.
Technical Report WV-03-10, Technische Universität Dresden, 2003.
Download: PDF file. Submitted to ACM Transactions on Computational Logic.

8
Paola Bruscoli and Alessio Guglielmi.
A Tutorial on Proof Theoretic Foundations of Logic Programming.
In Catuscia Palamidessi, editor, Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, pages 109-127. Springer-Verlag, 2003.
Invited tutorial.

9
Kai Brünnler.
Atomic Cut Elimination for Classical Logic.
In M. Baaz and J.A. Makowsky, editors, CSL 2003, volume 2803 of Lecture Notes in Computer Science, pages 86-97. Springer-Verlag, 2003.

10
Matthias Fichtner and Axel Großmann.
A Visual-Sensor Model for Mobile Robot Localisation.
Technical Report WV-03-03, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download Technical Report WV-03-03: PDF file.

11
Matthias Fichtner, Axel Großmann, and Michael Thielscher.
Intelligent execution monitoring in dynamic environments.
Technical Report WV-03-06, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download Technical Report WV-03-06: PS.GZ file.

12
Bertram Fronhöfer and Steffen Hölldobler.
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002.
Technical Report TUD-FI03-03, TU Dresden, 01062 Dresden, April 2003.
ISSN 1430-211X.

13
Axel Großmann, Andreas Henschel, and Michael Thielscher.
A robot control system integrating reactive control, reasoning, and execution monitoring.
Technical Report WV-03-02, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2003.
Download Technical Report WV-03-02: PDF file.

14
Axel Großmann, Matthias Wendt, and Jeremy Wyatt.
A semi-supervised method for learning the structure of robot-environment interaction.
Technical Report WV-03-07, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download Technical Report WV-03-07: PS.GZ file.

15
Miguel A. Gutiérrez-Naranjo and Pascal Hitzler.
ILP Operators for Propositional Connectionist Networks.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik, pages 103-108. TU Dresden, 01062 Dresden, April 2003.
Download: PS.GZ file.

16
Pascal Hitzler.
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.
Technical Report WV-03-15, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2003.
Appeared in 2004.

17
Pascal Hitzler.
Default reasoning over domains and concept hierarchies.
Technical Report WV-03-14, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2003.
Download: PS.GZ file. Appeared in 2004.

18
Pascal Hitzler.
A generalized resolution theorem.
Technical Report WV-03-13, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2003.
Appeared in 2004.

19
Pascal Hitzler.
A Resolution Theorem for Algebraic Domains.
In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, pages 1339-1340. Morgan Kaufmann Publishers, 2003.

20
Pascal Hitzler.
Towards a Systematic Account of Different Logic Programming Semantics.
In Rudolf Kruse Andreas Günter and Bernd Neumann, editors, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, pages 355-369. Springer, Berlin, 2003.
Download preliminary version: PS.GZ file.

21
Pascal Hitzler.
Towards Nonmonotonic Reasoning on Hierarchical Knowledge.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik, pages 68-80. TU Dresden, 01062 Dresden, April 2003.

22
Pascal Hitzler and Anthony K. Seda.
Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
In Rudolf Kruse Andreas Günter and Bernd Neumann, editors, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, pages 105-119. Springer, Berlin, 2003.
Download preliminary version: PS.GZ file.

23
Pascal Hitzler and Anthony K. Seda.
Generalized Metrics and Uniquely Determined Logic Programs.
Theoretical Computer Science, 305(1-3):187-219, 2003.
Download preliminary version: PS.GZ file.

24
Pascal Hitzler and Matthias Wendt.
Characterizing logic programming semantics with level mappings.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik, pages 60-67. TU Dresden, 01062 Dresden, April 2003.
Download: PS.GZ file.

25
Pascal Hitzler and Matthias Wendt.
Formal Concept Analysis and Resolution in Algebraic Domains.
In Aldo de Moor and Bernhard Ganter, editors, Using Conceptual Structures -- Contributions to ICCS 2003, pages 157-170. Shaker Verlag, Aachen, 2003.
Download preliminary version: Technical Report WV-03-01: PS.GZ file.

26
Steffen Hölldobler and Olga Skvortsova.
A Normalization Algorithm for Automated First-Order Value Iteration.
Technical Report WV-03-16, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2003.
Download: PS.GZ file.

27
Steffen Hölldobler, Hans-Peter Störr, and Tran Dinh Khang.
The Fuzzy Description Logic $\mathcal{ALC}_{FH}$ with Hedge Algebras as Concept Modifiers.
International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305, 2003.

28
Steffen Hölldobler.
Logik und Logikprogrammierung.
Synchron Publishers, Heidelberg, 3rd edition, 2003.

29
Ozan Kahramanogullari and Michael Thielscher.
A formal assessment result for fluent calculus using the action description language ${A}_k$.
In Rudolf Kruse Andreas Günter and Bernd Neumann, editors, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, pages 209-223. Springer, Berlin, 2003.
Download: PDF file
© Springer-Verlag Berlin Heidelberg 2003.

30
Manfred Schramm and Bertram Fronhöfer.
Probabilistic Aspects of Score Systems.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS), 11(Suppl.):51-74, November 2003.

31
A.K. Seda, R. Heinze, and P. Hitzler.
Convergence Classes and Spaces of Partial Functions.
In G.-Q. Zhang, J. Lawson, Y.M. Liu, and M.K. Luo, editors, Domain Theory, Logic and Computation, volume 4 of Semantic Structures in Computation, pages 75-115. Kluwer Academic Publishers, 2003.
Download: PDF file.

32
Charles Stewart and Phiniki Stouppa.
A Systematic Proof Theory for Several Modal Logics.
Technical Report WV-03-08, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download: PDF file.

33
Lutz Straßburger.
Linear Logic and Noncommutativity in the Calculus of Structures.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik, page 96. TU Dresden, 01062 Dresden, April 2003.
ISSN 1430-211X.

34
Lutz Straßburger.
MELL in the Calculus of Structures.
Theoretical Computer Science, 309(1-3):213-285, 2003.
Download (preliminary version): PDF file.

35
Lutz Straßburger.
System NEL is Undecidable.
In Ruy De Queiroz, Elaine Pimentel, and Lucília Figueiredo, editors, 10th Workshop on Logic, Language, Information and Computation (WoLLIC), volume 84 of Electronic Notes in Theoretical Computer Science, 2003.
Download: PDF file.

36
Lutz Straßburger.
The Undecidability of System NEL.
Technical Report WV-03-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
Download Technical Report WV-03-05: PDF file.