TUD Logo

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

Faculty of Computer Science

Publications and Technical Reports
in Year 2000

Ashish Darbari.
Rule extraction from trained ANN: A survey.
Technical Report WV-2000-03, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2000.
Download: PS.GZ file.

H. Fiedler, O. Günther, W. Grass, S. Hölldobler, G. Hotz, R. Reischuk, B. Seeger, and D. Wagner, editors.
Ausgezeichnete Informatikdissertationen 1999.
Teubner, 2000.

S. Hölldobler.
Challenge problems for the integration of logic and connectionist systems.
In F. Bry, U. Geske, and D. Seipel, editors, Proceedings 14. Workshop Logische Programmierung, number 90 in GMD Report, pages 161-170, 2000.
Download: PS.GZ file.

S. Hölldobler, editor.
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel, volume 19 of Applied Logic Series.
Kluwer Academic Publishers, London, 2000.

S. Hölldobler, Y. Kalinke, and J. Wunderlich.
A recursive neural network for reflexive reasoning.
In S. Wermter and R. Sun, editors, Hybrid Neural Symbolic Integration, number 1778 in LNAI, pages 46-62. Springer, 2000.
Download: PS.GZ file.

S. Hölldobler and D. Kuske.
The boundary between decidable and undecidable fragments of the fluent calculus.
In Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Artificial Intelligence, pages 436-450, 2000.
Download: PS.GZ file.

S. Hölldobler and H.-P. Störr.
Complex plans in the fluent calculus.
In S. Hölldobler, editor, Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel. Kluwer Academic Publishers, 2000.
Download: PS.GZ file.

S. Hölldobler and H.-P. Störr.
Solving the entailment problem in the fluent calculus with binary decision diagrams.
In Proceedings of the First International Conference on Computational Logic, pages 747-761, 2000.
Download: PS.GZ file.

Steffen Hölldobler.
Descriptions in the Fluent Calculus.
In Proceedings of the International Conference on Artificial Intelligence, volume III, pages 1311-1317, 2000.
Download: PS.GZ file (was Technical Report WV-2000-02).

Steffen Hölldobler and Hans-Peter Störr.
BDD-based reasoning in the Fluent Calculus - First results (extended abstract).
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000). Beckenridge, April 2000.
Download: PS.GZ file (was Technical Report WV-2000-01).

Hans-Peter Störr and Michael Thielscher.
A new equational foundation for the fluent calculus.
In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, and P. J. Stuckey, editors, Proceedings of the First International Conference on Computational Logic (CL), number 1861 in LNCS, pages 733-745. Springer, 2000.