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 1999

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

2
Steffen Hölldobler.
Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract).
Technical Report WV-1999-03, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1999.
Download: PS file.

3
Steffen Hölldobler.
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus.
Technical Report WV-1999-02, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1999.
Download: PS file.

4
Steffen Hölldobler, Yvonne Kalinke, and Jörg Wunderlich.
Hybrid Neural Systems, chapter A Recursive Neural Network for Reflexive Reasoning.
Springer, 1999.
Download: PS file.

5
Steffen Hölldobler and Hans-Peter Störr.
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams.
Technical Report WV-1999-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1999.
Download: PS file.

6
Steffen Hölldobler, Hans-Peter Störr, and Yvonne Kalinke.
Approximating the semantics of logic programs by recurrent neural networks.
Applied Intelligence, 11:45-58, 1999.