Publications @ DBAI: 2000

[ADG00]
Christoph Aigner, Jürgen Dorn, and Mario Girsch. Cooperation between a simulation environment and a reactive scheduling system. In Proceedings of the Eighth International Conference on Manufacturing Engineering - ICME 2000, pages 318-322, Sydney, Australia, 2000.

[BEGL00]
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, and Nicola Leone. On actl formulas having deterministic counterexamples. Journal of Computer and System Sciences, 2000.

[BFV00]
Matthias Baaz, Christian Fermüller, and Helmut Veith. An analytic calculus for quantified propositional Gödel logic. In Proc. Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000), volume 1847 of LNCS, pages 112-126. Springer, 2000.

[BLR00]
Francesco Buccafurri, Nicola Leone, and Pasquale Rullo. Enhancing disjunctive datalog by constraints. IEEE Transactions on Knowledge and Data Engineering, 12(5), September 2000.

[BV00]
Matthias Baaz and Helmut Veith. An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. In Proc. Logic Colloquium 1998, volume 13 of Lecture Notes in Logic, pages 91-104. Association for Symbolic Logic, 2000.

[CGJ+00]
Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement. In Proc. Computer-Aided Verification (CAV) 2000, LNCS, pages 154-169, 2000.

[CGL+00]
Edmund Clarke, Steve German, Yuan Lu, Helmut Veith, and Dong Wang. Executable protocol specification in ESL. In Proc. Formal Methods in Computer-Aided Design (FMCAD), volume 1954 of LNCS, pages 197-216. Springer, 2000.

[CHV00]
Edmund Clarke, Nevin Heintze, and Helmut Veith, editors. Proc. Workshop Formal Methods and Computer Security (FMCS), Chicago, 2000.

[CLV00]
Edmund Clarke, Yuan Lu, and Helmut Veith. A survey of abstract BDDs. In Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI), 2000.

[Dor00a]
Jürgen Dorn. Expertensysteme für die Forstwirtschaft. Forstzeitschrift, 2000.

[Dor00b]
Jürgen Dorn. Planung von betrieblichen Abläufen durch Standardsoftware - ein Widerspruch? Wirtschaftsinformatik, 42(3):201-209, 2000.

[DP00]
Jürgen Dorn and Riccardo Peratello. Model-based quality management. In Proceedings of the Eighth International Conference on Manufacturing Engineering - ICME 2000, pages 468-472, Sydney, Australia, 2000.

[EFK+00]
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, and Gerald Pfeifer. DLV -- A System for Declarative Problem Solving. In Chitta Baral and Miroslaw Truszczynski, editors, Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000), Breckenridge, Colorado, USA, April 2000.

[EFL+00a]
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Planning under incomplete knowledge. In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings, number 1861 in Lecture Notes in Artificial Intelligence, pages 807-821. Springer Verlag, 2000.

[EFL+00b]
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Using the dlv system for planning and diagnostic reasoning. In François Bry, Ulrich Geske, and Dietmar Seipel, editors, Proceedings of the 14th Workshop on Logic Programming (WLP'99), pages 125-134. GMD -- Forschungszentrum Informationstechnik GmbH, Berlin, January 2000. ISSN 1435-2702.

[EFLP00]
Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative problem-solving using the dlv system. In Jack Minker, editor, Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000.

[EG00a]
Thomas Eiter and Georg Gottlob. Complexity Results for some Eigenvector Problems. International Journal of Computer Mathematics, 76:59-74, 2000.

[EG00b]
Thomas Eiter and Georg Gottlob. On the Complexity of Theory Curbing. In Proceedings of the 7th International Conference on for Programming and Automated Reasoning (LPAR), pages 1-19, Reunion Island, 2000.

[EGG00]
Thomas Eiter, Yuri Gurevich, and Georg Gottlob. Existential second-order logic over strings. Journal of the ACM, 47(1):77-131, 2000.

[FFJS00a]
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Consistency based diagnosis of configuration knowledge bases. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, August 2000.

[FFJS00b]
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Exploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases. In ECAI'2000 Workshop on Configuration, Berlin, August 2000.

[FFJS00c]
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. An integrated development environment for the design and maintenance of large configuration knowledge bases. In Proceedings Artificial Intelligence in Design, Worcester MA, June 2000. Kluwer Academic Publishers.

[FSSW00]
Gerhard Fleischanderl, Herwig Schreiner, Markus Stumptner, and Franz Wotawa. An Environment and Language for Industrial Use of Model-based Diagnosis. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

[GGV00]
Georg Gottlob, Erich Grädel, and Helmut Veith. Logic and Artificial Intelligence, chapter Linear Time Datalog and Branching Time Logic. Kluwer, 2000.

[GLS00a]
Georg Gottlob, Nicola Leone, and Francesco Scarcello. Advanced parallel algorithms for for processing acyclic conjunctive queries, rules, and constraints. In Proceedings of 2000 Conf. on Software Eng. and Knowledge Eng. -- SEKE2000, July 2000.

[GLS00b]
Georg Gottlob, Nicola Leone, and Francesco Scarcello. A comparison of structural CSP decomposition methods. Artificial Intelligence, 124(2):243-282, December 2000.

[HS00]
Oliver Hoffmann and Markus Stumptner. A perspective based design model. In AI in Design Workshop on Developing Support for Collaborative Design, Worcester MA, June 2000.

[HSV00]
Frank Harary, Wolfgang Slany, and Oleg Verbitsky. A symmetric strategy in graph avoidance games. Manuscript presented at the Combinatorial Game Theory Research Workshop held at the Mathematical Sciences Research Institute in Berkeley, California, July 2000.

[HSW00]
Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A Programming Language for Model-Based Systems (Preliminary Report). In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[ISW00]
Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based Diagnosis in Manufacturing. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

[LPR00]
Nicola Leone, Simona Perri, and Pasquale Rullo. Local search techniques for disjunctive logic programs. In Evelina Lamma and Paola Mello, editors, AI*IA'99: Advances in Artificial Intelligence, number 1792 in Lecture Notes in Artificial Intelligence, pages 107-118. Springer, 2000.

[Mat00]
Cristinel Mateis. Quantitative disjunctive logic programming: semantics and computation. AI Communications, 13(4), 2000.

[MGS00]
Nysret Muslija, Johannes Gärtner, and Wolfgang Slany. Efficient generation of rotating workforce schedules. In Edmund Burke and Wilhelm Erben, editors, Proceedings of the 3rd int. conf. on the practice and theory of automated timetabling (PATAT 2000), pages 314-332, August 2000.

[MSW00a]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs -- first results of the Java Diagnosis Experiments (Jade) project. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, New Orleans, 2000. Springer-Verlag.

[MSW00b]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.

[MSW00c]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[MSWW00a]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - A Step towards an Intelligent Debugger. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[MSWW00b]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 3rd Workshop on Intelligent Software Engineering, Limerick, Ireland, June 2000.

[MSWW00c]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 12th International Conference on Tools with Artificial Intelligence, Canada, November 2000. Also appears in  [MSWW00b].

[MSWW00d]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the Fourth International Workshop on Automatic Debugging (AADEBUG-00), Munich, Germany, 2000.

[Sla00a]
Wolfgang Slany. The complexity of graph Ramsey games. In Tony Marsland and Ian Frank, editors, Proceedings of the 2nd International Conference on Computers and Games, Hamamatsu, Japan, October 2000.

[Sla00b]
Wolfgang Slany. Manpower shift scheduling. In Proceedings of the Eurofuse Workshop on Scheduling and Planning, Mons, Belgium, April 2000.

[Sla00c]
Wolfgang Slany. Theory and practice of shift scheduling. In Proceedings of the Workshop on Algorithm Engineering as a New Paradigm: A Challenge to Hard Computation Problems, Research Institute for Mathematical Science, Kyoto University, Japan, October 2000.

[SS00]
M. Schrefl and M. Stumptner. Behavior consistent inheritance in uml. In Proc. Intl. Entity-Relationship Conference (ER 2000), Salt Lake City, October 2000.

[SW00a]
Markus Stumptner and Franz Wotawa. Guest--Editorial Special Issue on Industrial Applications of Model-based Reasoning. AI Communications, 13(2), 2000.

[SW00b]
Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intelligenz, 14(4):62-67, 2000.

[Wot00]
Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering, 14(4):331-351, 2000.

[WW00]
Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Networks in Environmental Science -- Preliminary Report. In ECAI'2000 Workshop on Binding Environmental Science and Artificial Intelligence (BESAI'2000), Berlin, Germany, 2000.