Publications @ DBAI: 1996-1997

[BMRS97]

Markus Bonner, Stefan Mayer, Andreas Raggl, and Wolfgang Slany. FLIP++: A fuzzy logic inference processor library. In Trevor P. Martin and Anca L. Ralescu, editors, Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems, volume 1188 of Lecture Notes in Artificial Intelligence, pages 44-56. Springer, 1997.

[Bon96a]

Markus Bonner. Description of fuzzy logic and FLIP++: a fuzzy logic inference library intended for the desulphurization control at VA Stahl Linz. CD-Studie 96/26, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[Bon96b]

Markus Bonner. A fuzzy tools comparison. CD-Studie 96/23, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[Bon96c]

Markus Bonner. Using genetic algorithms to learn a fuzzy rule base for the desulphurization control at VA Stahl Linz. CD-Studie 96/27, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[BS96]

Markus Bonner and Wolfgang Slany. Man machine cooperation for learning a complex control task. CD-Studie 96/22, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[BV97]

Matthias Baaz and Helmut Veith. Interpolation in fuzzy logic. In COST 15 Meeting on Many-Valued Logic, Patras, 1997.

[DGG+96]

J. Dorn, M. Girsch, H. Grohmann, W. Meyer, and N. Vidakis. Interaktive feinplanung im edelstahlwerk. BHM, 141(9):393-401, 1996.

[DGSS96]

Jürgen Dorn, Mario Girsch, Günther Skele, and Wolfgang Slany. Comparison of iterative improvement techniques for schedule optimization. European Journal of Operational Research, 94(2):349-361, October 1996.

[DGV96]

J. Dorn, M. Girsch, and N. Vidakis. Deja vu -- a reusable framework for the construction of intelligent interactive schedulers. In Proceedings of the International Conference on Advances in Production Management Systems (APMS'96), pages 637-644, November 1996.

[Dor97]

Jürgen Dorn. Modellierung von zielen beim forstmanagement als constraint-satisfaction-problem. Forstliche Schriftenreihe, Universität für Bodenkultur, 1997.

[EGV96a]

Thomas Eiter, Georg Gottlob, and Helmut Veith. Logic programming: Modularity and revisions. In Logic Databases: The Meaning of Change, Dagstuhl, 1996.

[EGV96b]

Thomas Eiter, Georg Gottlob, and Helmut Veith. Modular logic programming and generalized quantifiers. Technical Report CD-TR 96/108, Christian Doppler Labor für Expertensysteme, 1996.

[EGV97]

Thomas Eiter, Georg Gottlob, and Helmut Veith. Modular logic programming and generalized quantifiers. In Proceedings Logic Programming and Nonmonotonic Reasoning (LPNMR'97), 1997.

[FSW96]

Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. In Proc. ECAI, Budapest, August 1996.

[GS97]

Georg Gottlob and Wolfgang Slany. Report on the ASHCOMP 96 school and workshop on approximate solutions of hard combinatorial problems. Bulletin of the European Association for Theoretical Computer Science (EATCS), 61:125-130, February 1997.

[HP97a]

Marcus Herzog and Riccardo Peratello. Current projects in interactive systems. In The 2nd SIMOS Workshop, May 1997.

[HP97b]

Marcus Herzog and Riccardo Peratello. Digital archives on the web. In The 6th International World Wide Web Conference, April 1997.

[HP97c]

Marcus Herzog and Riccardo Peratello. The venetian virtual archive project: Digital archives on the world-wide web. In The 1st European Conference on Research and Advanced Technology for Digital Libraries, September 1997.

[KS96]

Erich Peter Klement and Wolfgang Slany. Fuzzy logic in artificial intelligence. In Allen Kent and James G. Williams, editors, Encyclopedia of Computer Science and Technology, volume 34. Marcel Dekker, Inc. New York, 1996.

[Lei96a]

Fritz Leisch. Controlling hot metal desulphurization with artificial neural networks. CD-Studie 96/25, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[Lei96b]

Fritz Leisch. Predicting hot metal desulphurization with linear regression models and artificial neural networks: A comparison. CD-Studie 96/28, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[Lei96c]

Fritz Leisch. Statistical evaluation of hot metal data. CD-Studie 96/24, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[Lei97a]

Fritz Leisch. On the usage of time trends in ANN desulphurization control. CD-Studie 97/31, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1997.

[Lei97b]

Fritz Leisch. Online vs. offline learning in desulphurization control. CD-Studie 97/32, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1997.

[LHBS96]

Fritz Leisch, Kurt Hornik, Markus Bonner, and Wolfgang Slany. A proposal of hard- and software for desulphurization control with neural networks and fuzzy logic. CD-Studie 96/21, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1996.

[May97]

Stefan Mayer. InterFLIP++, a fuzzy logic inference library to interpolate a control variable for desulphurization control at VA Stahl Linz. CD-Studie 97/29, Christian Doppler Laboratory for Expert Systems, Technical University of Vienna, 1997.

[MS96]

Stefan Mayer and Wolfgang Slany. InterFLIP++: A GUI for FLIP++. In Proceedings of the International Panel Conference on Soft and Intelligent Computing--SIC'96, pages 197-202, Budapest, Hungary, October 1996.

[RS97a]

Claus Reichel and Wolfgang Slany, editors. StarFLIP++ Version 1.0: A reusable iterative optimization library for combinatorial problems with fuzzy constraints. Compact disc, July 1997. http://www.dbai.tuwien.ac.at/proj/StarFLIP/.

[RS97b]

Claus Reichel and Wolfgang Slany, editors. StarFLIP++ Version 1.0: A reusable iterative optimization library for combinatorial problems with fuzzy constraints: Reference manual. Technical Report DBAI-TR-97-11, Institute of Information Systems (E184-2), Vienna University of Technology, June 1997.

[scS96]

Ján Va v s v cák and Wolfgang Slany. The automatic check of knowledge base consistency. In Proc. of the Conference on Intelligent Technologies --- The Symposium on New Trends in Control of Large Scale Systems, pages 113-122, Herlany, Slovakia, November 1996.

[Sla96]

Wolfgang Slany. DynaFLIP++: a knowledge interpreter that matches dynamic domain knowledge with static fuzzy constraints. In Proceedings of the 4th International Conference on Soft Computing--IIZUKA'96, volume 2, pages 955-958, Iizuka, Japan, October 1996.

[Sla97]

Wolfgang Slany, editor. Proceedings of the First International Workshop on Approximate Reasoning in Scheduling (ARS'97), Zurich, Switzerland, February 1997. ICSC, International Computer Science Conventions, Canada.

[SW96a]

Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. In Proc. DX'96 Workshop, Val Morin, Canada, 1996.

[SW96b]

Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. In Proc. CESA'96 IMACS Multiconf., Lille, 1996.

[SW96c]

Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. In Proceedings IEA/AIE, Fukuoka, 1996.

[SW96d]

Markus Stumptner and Franz Wotawa. A model-based tool for finding faults in hardware designs. In Proceedings Artificial Intelligence in Design, Stanford, 1996.

[SW97a]

Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proc. 15^th IJCAI, Nagoya, Japan, 1997.

[SW97b]

Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. In Proceedings of the Eighth International Workshop on Principles of Diagnosis, Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97.

[Vei97a]

Helmut Veith. Languages represented by boolean formulas. Information Processing Letters, 63:251-256, 1997.

[Vei97b]

Helmut Veith. Review of em Logical Dilemmas: The Life and Work of Kurt Gödel. Kluwer, 1997.