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 1997

1
Sven-Erik Bornscheuer.
Integrating Reactive and Reflexive Reasoning by Generating Rational Models.
In A. Bonner, B. Freitag, L. Giordano, and R. Kowalski, editors, LPS-97, Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS-97), pages 65-80, 1997.
Download: PS file.

2
Sven-Erik Bornscheuer and Helko Lehmann.
Concurrent Production, Consumption and Occupation.
In M.-A. Williams, editor, JCAI'97 Workshop on Nonmonotonic Reasoning, Action and Change, pages 52-64, 1997.
Download: PS file.

3
Sven-Erik Bornscheuer and Michael Thielscher.
Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems.
JPL, 31(1-3):115-119, 1997.

4
Steffen Hölldobler.
Situations, Actions, and Causality in the Fluent Calculus.
Technical Report WV-1997-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1997.
Download: PS file.

5
Steffen Hölldobler and Yvonne Kalinke.
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs.
In NIPS-97 Workshop on Learning dynamical data structures: From sequences to graphs, Breckenridge, Colorado, December 1997.

6
Steffen Hölldobler, Yvonne Kalinke, and Helko Lehmann.
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks.
In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in AI, pages 313-324, 1997.
Download: PS file.

7
Yvonne Kalinke.
Using Connectionist Term Representations for First-Order-Deduction- A Critical View.
In J. Diederich F. Maire, R. Hayward, editor, CADE-14 Workshop on Connectionist Systems for Knowledge Representation and Deduction, pages 35-42, 1997.
Download: PS file.

8
Heiko Mantel and Enno Sandner.
A framework for connection calculi.
Technical Report WV-1997-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1997.
Download: PS file.

9
Wolfgang Oertel and Uwe Petersohn.
Anschlusbericht über das Verbundvorhaben FABEL.
Technical Report WV-1997-10, Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie (BMBF), 1997.
Download: PS file.

10
Enno Sandner.
From Linear Proofs to Direct Logic with Exponentials.
In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in AI, pages 135-146, 1997.
Download: PS file.

11
Olaf Steinmann, Antje Strohmaier, and Thomas Stützle.
Tabu Search Revisited.
In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in AI, pages 337-348, 1997.

12
Antje Strohmaier.
Multi-Flip Networks: Parallelizing GenSAT.
In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in AI, pages 349-360, 1997.