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 1996

1
S. Bakhtari, B. Bartsch-Spörl, and W. Oertel.
DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts.
In J. S. Gero and F. Sudweeks, editors, Artificial Intelligence in Design '96, pages 681-699. Kluwer Academic Publishers, Dordrecht, 1996.

2
Sven-Erik Bornscheuer.
Generating Rational Models.
In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), volume 547. MIT Press, 1996.

3
Sven-Erik Bornscheuer.
Rational Models of Normal Logic Programs, volume 1137 of Lecture Notes in Artificial Intelligence, chapter KI-96: Advances in Artificial Intelligence, pages 1-4.
Springer, 1996.

4
Sven-Erik Bornscheuer.
Rational Models of Normal Logic Programs.
In U. Gesdke N.E. Fuchs, editor, Proceedings of the Poster Session at JICSLP`96, GMD Studies, volume 296, pages 123-134, 1996.

5
Sven-Erik Bornscheuer and Torsten Seiler.
KI-96: Lecture Notes in Artificial Intelligence, volume 1137, chapter Massively Parallel Reasoning about Actions, pages 5-18.
Springer, 1996.

6
Sven-Erik Bornscheuer and Michael Thielscher.
???
Fortschritte in der Künstlichen Intelligenz, Dresden University Press, 1996.

7
Sven-Erik Bornscheuer and Michael Thielscher.
Explicit and Implicit Indeterminism.
Journal of Logic Programming, Special Issue `Action and Change', 1996.

8
Sven-Erik Bornscheuer and Michael Thielscher.
Representing concurrent action and solving conflicts.
Journal of the IGPL, 3(4):355-368, 1996.

9
Kerstin Eder, Steffen Hölldobler, and Michael Thielscher.
An Abstract Machine for Reasoning about Situations, Actions, and Causality.
In P. Schroeder-Heister R. Dyckhoff, H. Herre, editor, Proceedings of the International Workshop on Extensions of Logic Programming, number 1050 in Lecture Notes in Artificial Intelligence, pages 137-151. Springer, 1996.

10
Günther Götz and Steffen Hölldobler.
Advances in Artificial Intelligence, volume 1137 of Lecture Notes in Artificial Intelligence, chapter KI-96.
Springer, 1996.

11
Gerd Grose, Steffen Hölldobler, and Josef Schneeberger.
Linear Deductive Planning.
Journal of Logic and Computation, 6(2):233-262, 1996.

12
Christoph Herrmann, Steffen Hölldobler, and Antje Strohmaier.
Fuzzy Conceptual Knowledge Processing.
In ACM Symposium on Applied Computing (SAC), Philadelphia, 1996.

13
Steffen Hölldobler.
Equational Logic and Theories of Action.
In M. Navarro P. Lucio, M. Martelli, editor, Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, pages 111-123, 1996.

14
Steffen Hölldobler and Josef Schneeberger.
Constraint Equational Logic Programming and Resource-Based Partial Order Planning.
Technical Report WV-96-08, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1996.
Download: PS file.

15
Steffen Hölldobler and Michael Thielscher.
Properties vs. Resources: Solving Simple Frame Problems.
Technischer Report AIDA-96-03, Intellektik, Informatik, TH Darmstadt, Darmstadt, 1996.

16
Yvonne Kalinke and Hans-Peter Störr.
Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze.
Technical Report WV-96-07, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1996.
Download: PS file.

17
Yvonne Kalinke and Hans-Peter Störr.
Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme.
Fortschritte in der Künstlichen Intelligenz, Dresden University Press, (27), 1996.

18
W. Oertel and S. Bakhtari.
Computing in Civil Engineering, chapter Interaction of Generic Knowledge and Cases in DOM, pages 301-307.
American Society of Civil Engineers. ???, New York, Vanegas, J. and Chinowsky, P. edition, 1996.

19
Wolfgang Oertel.
KI-96: Abvances in Artificial Intelligence, chapter Knowledge Organization Using the Development System FAENSY, pages 303-306.
Springer-Verlag, Berlin, 1996.

20
Wolfgang Oertel.
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY.
In H. Burkhard and M. Lenz, editors, Fourth German Workshop on Case-Based Reasoning: System Development and Evaluation, Informatik-Berichte, pages 128-135. Berlin, Humboldt-Universität, 1996.

21
Wolfgang Oertel and Uwe Petersohn.
Hybrid Knowledge Organization within an Object Framework.
In F. Baader, H. Bürckert, A. Günter, and W. Nutt, editors, Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), pages 33-41, DFKI, Saarbrücken, 1996.

22
Wolfgang Oertel and Uwe Petersohn.
Hybride Wissensorganisation mittels Objektstrukturen.
Fortschritte in der Künstlichen Intelligenz (KI 96), Dresden University Press, (82), 1996.

23
Katalin Prasser.
Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz.
Technical Report WV-96-09, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 1996.

24
Antje Strohmaier.
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms.
ECAI-96 Workshop on Acvances in Propositional Deduction, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1996.

25
Antje Strohmaier.
Parallele Lokale Suchverfahren.
Fortschritte in der Künstlichen Intelligenz, Dresden University Press, (31), 1996.

26
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, and G. Strube.
FABEL.
In Projektträger Informationstechnik des BMFT bei der DLR, editor, Statusseminar des BMFT 1994, Berlin, 1996. Deutsche Forschungsanstalt für Luft- und Raumfahrt.

27
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, and G. Strube.
FABEL.
KI, 10(3):70-76, 1996.