Publications @ DBAI: 1998

Robert Bihlmeyer, Wolfgang Faber, Christoph Koch, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. Suggestion for System Demonstration: dlv. In Proceedings of the 13th Workshop on Logic Programming (WLP '98), Vienna, Austria, October 1998.

F. Buccafurri, N. Leone, and P. Rullo. Disjunctive Ordered Logic: Semantics and Expressibility. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning - KR'98, Trento, Italy, June 1998. Morgan Kaufman.

Anuj Dawar, Georg Gottlob, and Lauri Hella. Capturing Relativized Complexity Classes without Order. Mathematical Logic Quarterly, 44:109-122, 1998.

Jürgen Dorn, Mario Girsch, and N. Vidakis. DEJA VU - A Reusable Framework for the Construction of Intelligent Interactive Schedulers. In Okino et al., editor, Advances in Production Management Systems - Perspectives and Future Challenges, pages 467-478. Chapman & Hall, 1998.

J. Dorn, R.M. Kerr, and G. Thalhammer. Maintaining Robust Schedules by Fuzzy Reasoning. In Drexl and Kimms, editors, Beyond Manufacturing Resource Planning (MRP II), pages 279 -- 306. Springer, 1998.

J. Dorn and F. Mitterboeck. Wissensakquisition und Repräsentation für das FOREX Expertensystem. In Umweltinformatik Symposium, Bremen, Germany, September 1998.

J. Dorn and A.D. Prianichnikova. The SteelDemo Scheduler. In Proceedings of the Siberian Conference on Operations Research (SCOR-98), Novosibirsk, 1998.

Thomas Eiter and Georg Gottlob. On the Expressiveness of Frame Satisfiability and Fragments of Second Order Logic. Journal of Symbolic Logic, 63(1):73-82, 1998.

Th. Eiter, G. Gottlob, and Y. Gurevich. Existential Second Order Logic Over strings. In Proc. 13th Annual Symposium on Logic in Computer Science LICS'98, Indianapolis, IN, June 1998.

Thomas Eiter, Georg Gottlob, Thomas Havelka, Markus Stumptner, Franz Wotawa, Thomas Albrecht, and Gerhard Friedrich. Verfahren zum Vergleich elektrischer Signalgruppen. European Patent Office, Patent No. 98102487.0-2201, 1998.

T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. Progress Report on the Disjunctive Deductive Database System dlv. In Troels Andreasen, Henning Christiansen, and Henrik Legind Larsen, editors, Proceedings of International Conference on Flexible Query Answering Systems (FQAS '98), pages 145-160, Roskilde University, Denmark, May 1998.

T. Eiter, N. Leone, and D. Sacca. Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theoretical Computer Science -- Algorithms, automata, complexity and games, 206(1-2):181-218, October 1998.

Gerhard Fleischanderl, Gerhard Friedrich, Alois Haselböck, Herwig Schreiner, and Markus Stumptner. Configuring large-scale systems with generative constraint satisfaction. IEEE Intelligent Systems, 13(4), July 1998.

Gerhard Fleischanderl, Gerhard E. Friedrich, Alois Haselböck, Herwig Schreiner, and Markus Stumptner. Reduktion von entwicklungskosten durch wissensbasierte konfiguration - ein fallbeispiel. In 12. Workshop für Planen und Konfigurieren (PuK), Paderborn, April 1998.

G. Friedrich, W. Höllinger, Ch. Stary, and M. Stumptner. ObjView: A task-oriented, graphics-based tool for object visualization and arrangement. In European Conference on Object Oriented Programming, Nottingham, June 1989.

Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Representing School Timetabling in a Disjunctive Logic Programming language. In Proceedings of the 13th Workshop on Logic Programming (WLP '98), Vienna, Austria, October 1998.

G. Gottlob, N. Leone, and F. Scarcello. The complexity of Acyclic Conjunctive Queries. In Proceedings of the 39th Annual Conference on Foundations of Computer Science (FOCS'98), Palo Alto, California, November 1998.

G. Gottlob, N. Leone, and F. Scarcello. On the Complexity of Some Inductive Logic Programming Problems. New Generation Computing, 17(1), November 1998.

G. Gottlob and M. Schrefl. The Evolving Algebra Semantics of Class and Role Hierarchies. In Libkin and Thalheim, editors, Semantics in Databases (Selected papers of a Workshop held in Rez/Prague, 1995), pages 92-113. Springer Lecture Note in Computer Science Nr. 1358, 1998.

Georg Gottlob, Helmut Veith, Nicola Leone, Wolfgang Slany, and Franz Wotawa. Research at DBAI in Logic and Complexity. OeGAI Journal, Special Issue ``Logik und Komplexitaet'', July 1998.

M. Herzog and P. Petta, editors. Proceedings of KRIMS II, Second International Workshop on Knowledge Representation for Interactive Multimedia Systems, ITC-IRST, Pante' di Povo (TN), Italy, June 1998. In conjuntion with KR'98.

N. Leone, L. Palopoli, and D. Sacca. On the Complexity of Search Queries. In Proceedings of the 7th International WOrkshop of Foundations of Models and Languages for Data and Objects, pages 110-125, Timmel, Germany, October 1998.

Andreas Raggl and Wolfgang Slany. A reusable iterative optimization library to solve combinatorial problems with approximate reasoning. International Journal of Approximate Reasoning, 19(1-2):161-191, July/August 1998.

Markus Stumptner, Gerhard Friedrich, and Alois Haselböck. Generative constraint-based configuration of large technical systems. AI EDAM, 12(4), December 1998.

Wolfgang Slany, editor. Approximate reasoning in scheduling (preface of the special issue). International Journal of Approximate Reasoning, 19(1-2):1-3, July/August 1998.

Markus Stumptner and Franz Wotawa. Mbd research activities at vienna university of technology. In Proceedings of the ECAI-98 Workshop W5 'Model-based systems and qualitative reasoning', Brighton, UK, August 1998.

Markus Stumptner and Franz Wotawa. Model-based debugging of functional programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.

Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.

Markus Stumptner and Franz Wotawa. A Survey of Intelligent Debugging. AI Communications, 11(1), 1998.

Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.

H. Veith and M. Baaz. An Axiomatization of Quantified Propositional Goedel Logic using the Takeuti-Titani Rule. In Logic Colloquium (LC'98), 1998.

H. Veith and M. Baaz. Quantifier Elimination in Fuzzy Logic. In Computer Science Logic (CSL'98), 1998.

H. Veith, M. Baaz, A. Ciabattoni, and C. Fermüller. Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. In Proc. Mathematical Foundations of Computer Science (MFCS'98), 1998.

Helmut Veith. How to Encode a Logical Structure as an OBDD. In Proc. IEEE Computational Complexity Conference (CCC'98), 1998.

Helmut Veith. Succinct Representation, Leaf Languages, and Projection Reductions. Information and Computation, 142(2):207-236, 1998.

Helmut Veith, Georg Gottlob, and Nicola Leone. Eine allgemeine Methode zur Bestimmung der Ausdruckskomplexität von Query Languages. Konstanzer Schriften in Mathematik und Informatik ISSN 1430-3558, 63, May 1998. GI Workshop ``Grundlagen von Datenbanken''.

Franz Wotawa. ECAI--98 Konferenzbericht. Journal of the Austrian Society for Artificial Intelligence, 1998.
Last modified: $Date: 2000/11/14 01:27:16 $