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.