Publications @ DBAI: 2001
- [BCPV01]
- M. Baaz, A. Ciabattoni, N. Preining, and
H. Veith.
An overview of quantified gödel logic.
In Workshop on Theory and Applications of Quantified Boolean Formulas
(QBF), 2001.
- [BEGL01]
- Francesco Buccafurri, Thomas Eiter, Georg
Gottlob, and Nicola Leone.
On ACTL formulas having linear counterexamples.
JCSS, 62(3):463-515, 2001.
- [BFG01a]
- R. Baumgartner, S. Flesca, and G. Gottlob.
Declarative information extraction, web crawling and recursive wrapping with
Lixto.
In Proc. of LPNMR, pages 21-41, 2001.
- [BFG01b]
- R. Baumgartner, S. Flesca, and G. Gottlob.
The Elog web extraction language.
In Proc. of LPAR, pages 548-560, 2001.
- [BFG01c]
- R. Baumgartner, S. Flesca, and G. Gottlob.
The lixto wrapper generation tool (extended abstract).
In Proceedings Italian Advanced Database Systems (SEBD), 2001.
- [BFG01d]
- R. Baumgartner, S. Flesca, and G. Gottlob.
Supervised wrapper generation with Lixto.
In Proc. of VLDB (Demonstration Session), pages 715-716,
2001.
- [BFG01e]
- R. Baumgartner, S. Flesca, and G. Gottlob.
Visual web information extraction with Lixto.
In Proc. of VLDB, pages 119-128, 2001.
- [BFG01f]
- R. Baumgartner, S. Flesca, and G. Gottlob.
Visual web information extraction with Lixto.
In Proc. of Knowledge Markup and Semantic Annotation Workshop, Victoria
B.C., Canada, 2001.
- [BHMV01]
- Matthias Baaz, Petr Hajék,
Franco Montagna, and Helmut Veith.
Complexity of t-norms.
Annals of Pure and Applied Logic, 113(1-3):3-11, 2001.
- [CCC+01]
- Alexis Campailla, Sagar Chaki,
Edmund Clarke, Somesh Jha, and Helmut Veith.
Efficient filtering in publish-subscribe systems using binary decision
diagrams.
In Proc. International Conference on Software Engineering (ICSE),
2001.
- [CCJ+01a]
- Pankaj Chauhan, Edmund M.
Clarke, Somesh Jha, Jim Kukula, Tom Shiple, Helmut Veith, and Dong Wang.
Non-linear quantification scheduling in image computation.
In Proceedings of ICCAD'01, pages 293-298, nov 2001.
- [CCJ+01b]
- Pankaj Chauhan, Edmund M.
Clarke, Somesh Jha, Jim Kukula, Helmut Veith, and Dong Wang.
Using combinatorial optimization methods for quantification scheduling.
In Tiziana Margaria and Tom Melham, editors, Proceedings of
CHARME'01, volume 2144 of LNCS, pages 293-309, sep
2001.
- [CEG01]
- Marco Cadoli, Thomas Eiter, and Georg
Gottlob.
Complexity of nested circumscription and abnormality theories.
In Proceedings of the 17th International Joint Conference on Artificial
Intelligence, pages 169-174, Seattle, WA, August 2001.
- [CFL+01]
- Francesco Calimeri, Wolfgang Faber,
Nicola Leone, Simona Perri, and Gerald Pfeifer.
DLV - Declarative Problem Solving using Answer Set Programming.
In Proceedings of the Seventh Congress of the Italian Association for
Artificial Intelligence AI*IA 2001, Bari, Italy, 2001.
- [CGJ+01]
- Edmund Clarke, Orna Grumberg,
Somesh Jha, Yuan Lu, and Helmut Veith.
Progress on the state explosion problem in model checking.
In Proc. 10 Years Dagstuhl, LNCS 2000, pages 154-169, 2001.
- [CJLV01]
- E. Clarke, S. Jha, Y. Lu, and H. Veith.
Counterexamples in model checking.
In Logic Colloquium, 2001.
- [CK01a]
- S. Craver and S. Katzenbeisser.
Copyright protection protocols based on asymmetric watermarking.
In R. Steinmetz, J. Dittmann, and M. Steinebach, editors, Communications
and Multimedia Security Issues of the New Century, Proceedings of the Fifth
Conference on Communication and Multimedia Security (CMS'01), pages
159-170. Kluwer Academic Publishers, 2001.
- [CK01b]
- S. Craver and S. Katzenbeisser.
Security analysis of public-key watermarking schemes.
In M. Schmalz, editor, Mathematics of Data/Image Coding, Compression, and
Encryption IV, volume 4475 of Proceedings of the SPIE,
pages 172-182, July 2001.
- [DEGV01]
- Evgeny Dantsin, Thomas Eiter, Georg
Gottlob, and Andrei Voronkov.
Complexity and expressive power of logic programming.
ACM Computing Surveys, 33(3):374-425, 2001.
- [DFI+01]
- Tina Dell'Armi, Wolfgang Faber,
Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, and Gerald
Pfeifer.
System Description: DLV.
In Thomas Eiter, Wolfgang Faber, and Mirosl aw Truszczynski, editors,
Logic Programming and Nonmonotonic Reasoning --- 6th International
Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings,
number 2173 in LNAI, pages 409-412. Springer Verlag, September 2001.
- [Dor01]
- Jürgen Dorn.
Modellbasiertes qualitätsmanagement.
In Proceedings der 2. Österreichischen Technologie-Transfer-Tage,
Montanuniversität Leoben, 2001.
- [DPR01]
- Jürgen Dorn, Anna Prianichnikova, and
Johannes Reisinger.
Heuristische Konfiguration und Scheduling für Echtzeitsysteme.
e & i, pages 354-359, 2001.
- [EFL+01a]
- Thomas Eiter, Wolfgang Faber,
Nicola Leone, Gerald Pfeifer, and Axel Polleres.
System Description: The DLV cal K Planning System.
In Thomas Eiter, Wolfgang Faber, and Mirosl aw Truszczynski, editors,
Logic Programming and Nonmonotonic Reasoning --- 6th International
Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings,
number 2173 in LNAI, pages 413-416. Springer Verlag, September 2001.
- [EFL+01b]
- Thomas Eiter, Wolfgang Faber,
Nicola Leone, Gerald Pfeifer, and Axel Polleres.
The DLV cal K Planning System.
In Alessandro Cimatti, Hector Geffner, Enrico Giunchiglia, and Jussi Rintanen,
editors, IJCAI-01 Workshop on Planning under Uncertainty and
Incomplete Information, pages 76-81, August 2001.
- [EFLP01]
- Thomas Eiter, Wolfgang Faber,
Nicola Leone, and Gerald Pfeifer.
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in
Answer Set Programming.
In Alessandro Provetti and Son Tran Cao, editors, Proceedings AAAI 2001
Spring Symposium on Answer Set Programming: Towards Efficient and Scalable
Knowledge Representation and Reasoning, pages 45-52, Stanford, CA,
March 2001. AAAI Press.
- [FGMS01]
- Ruth Fingerlos, Johannes
Gärtner, Nysret Musliu, and Wolfgang Slany.
Zyklische Schichtplanung.
KI Journal, (2):31-34, May 2001.
- [FLP01a]
- Wolfgang Faber, Nicola Leone, and
Gerald Pfeifer.
A Comparison of Heuristics for Answer Set Programming.
In Proceedings of the 5th Dutch-German Workshop on Nonmonotonic
Reasoning Techniques and their Applications (DGNMR 2001), pages
64-75, April 2001.
- [FLP01b]
- Wolfgang Faber, Nicola Leone, and
Gerald Pfeifer.
Experimenting with Heuristics for Answer Set Programming.
In Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence (IJCAI) 2001, pages 635-640, Seattle, WA,
USA, August 2001. Morgan Kaufmann Publishers.
- [FLP01c]
- Wolfgang Faber, Nicola Leone, and
Gerald Pfeifer.
Optimizing the Computation of Heuristics for Answer Set Programming Systems.
In Thomas Eiter, Wolfgang Faber, and Mirosl aw Truszczynski, editors,
Logic Programming and Nonmonotonic Reasoning --- 6th International
Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings,
number 2173 in LNAI, pages 288-301. Springer Verlag, September 2001.
- [FSH+01]
- Gerhard Fleischanderl, Herwig Schreiner,
Thomas Havelka, Markus Stumptner, and Franz Wotawa.
DiKe -- A Model-Based Diagnosis Kernel and its Application.
In Proceedings of the Joint German/Austrian Conference on Artificial
Intelligence (KI), Vienna, Austria, 2001.
- [GHKW01]
- G. Gottlob, M. Hutle, S. Katzenbeisser, and
F. Wotawa.
Computing
solutions to heterogeneous constraint networks using hypertree
decompositions.
Technical Report DBAI-TR-01-DC01. Forschungsbericht fuer Daimler-Chrysler.,
Institut für Informationssysteme der Technischen Universität Wien,
2001.
- [GLS01a]
- Georg Gottlob, Nicola Leone, and Francesco
Scarcello.
The complexity of acyclic conjunctive queries.
Annals of Pure and Applied Logic, 48:431-498, 2001.
- [GLS01b]
- Georg Gottlob, Nicola Leone, and Francesco
Scarcello.
Hypertree decompositions: A survey.
In Mathematical Foundations of Computer Science 2001, 26th International
Symposium, MFCS 2001 Marianske Lazne, Czech Republic, pages 37-57,
Czech Republic, August 2001.
- [GLS01c]
- Georg Gottlob, Nicola Leone, and Francesco
Scarcello.
Robbers, marshals, and guards: Game theoretic and logical characterizations of
hypertree width.
In Proc. of the PODS 2001, pages 37-57, Santa Barbara,
California, USA, May 2001.
- [GMS01]
- Johannes Gärtner, Nysret Musliu,
and Wolfgang Slany.
Rota: a research project on algorithms for workforce scheduling and shift
design optimization.
AI Communications: The European Journal on Artificial
Intelligence, 14(2):83-92, 2001.
- [GNMW01]
- Pilar Gómez, Angela Nebot, Francisco
Mugica, and Franz Wotawa.
Fuzzy inductive reasoning for the prediction of maximum ozone concentration.
In Proceedings 13th European Simulation Symposium (ESS-2001) --
Special Session on Modelling and Simulation in Ecology, Biology, and
Environment, Marseilles, France, October 2001.
- [GP01]
- Georg Gottlob and Reinhard Pichler.
Hypergraphs in model checking: Acyclicity and hypertree-width versus
clique-width.
In Automata, Languages and Programming, 28th International Colloquium,
ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pages
708-719, Heraklion, Greece, 2001.
- [HG01]
- Marcus Herzog and Georg Gottlob.
Infopipes: A Flexible Framework for M-Commerce Applications.
In F. Casati, D. Georgakopoulos, and M.-C. Shan, editors, Technologies
for E-Services, TES 2001, pages 175 -- 186, Roma, Italy, September
2001. Springer (LNCS 2193).
In conjuntion with VLDB' 01.
- [HSV01]
- Frank Harary, Wolfgang Slany, and Oleg
Verbitsky.
A
symmetric strategy in graph avoidance games.
In Richard J. Nowakowski, editor, Proceedings of MSRI-CGTR'2000, the 2nd
Combinatorial Game Theory Research Workshop at the Mathematical Sciences
Research Institute in Berkeley, California, Mathematical Sciences
Research Institute Publications. Cambridge University Press, 2001.
- [Kat01a]
- S. Katzenbeisser.
On the design of copyright protection protocols for multimedia distribution
using symmetric and public-key watermarking.
In 12th International Workshop on Database and Expert Systems
Applications, Fifth International Query Processing and Multimedia Issues in
Distributed Systems Workshop (QPMIDS'2001), pages 815-819. IEEE
Computer Society Press, 2001.
- [Kat01b]
- S. Katzenbeisser.
Recent Advances in RSA Cryptography, volume 3 of Advances in
Information Security.
Kluwer Academic Publishers, Boston, 2001.
- [KT01a]
- S. Katzenbeisser and P. Tomsich.
Applied information security for m-commerce and digital television
environments.
In K. Bauknecht, S. Madria, and G. Pernul, editors, Electronic Commerce
and Web Technologies, Second International Conference, Proceedings,
volume 2115 of Springer Lecture Notes in Computer Science, pages
166-175. Springer Verlag, 2001.
- [KT01b]
- S. Katzenbeisser and P. Tomsich.
Jahrbuch der Rechtsinformatik 2001 - Intelligente Agenten, XML,
Bürgercard, chapter Digitale Wasserzeichen für den
Urheberrechtsschutz.
Verlag Österreich, 2001.
- [MSS01a]
- Nysret Musliu, Andrea Schaerf, and
Wolfgang Slany.
Local
search for shift design.
Technical Report DBAI-TR-2000-45. Forschungsbericht fuer XIMES., Institut
für Informationssysteme der Technischen Universität Wien, 2001.
- [MSS01b]
- Nysret Musliu, Andrea Schaerf, and
Wolfgang Slany.
Local search for shift design.
In J.P. de Sousa, editor, Proc. MIC'2001 --- 4th Metaheuristics Int.
Conf., pages 465-470, Porto, Portugal, July 2001.
- [Pri01]
- Anna Prianichnikova.
Off-line scheduling for a communication system in air traffic control
(abstract).
In Fifth Workshop on Models and Algorithms for Planning and Scheduling
Problems, 2001.
- [Ren01]
- Jochen Renz.
A spatial odyssey of the interval algebra: 1.directed intervals.
In Proceedings of the 17th International Joint Conference on Artificial
Intelligence, pages 51-56, Seattle, WA, August 2001.
- [RN01]
- Jochen Renz and Bernhard Nebel.
Efficient methods for qualitative spatial reasoning.
Journal of Artificial Intelligence Research, 15:289-318, 2001.
- [Sla01a]
- Wolfgang Slany.
The complexity of graph Ramsey games.
In Tony Marsland and Ian Frank, editors, Computer and Games: Revised
papers of the Second International Conference , CG2000, Hamamatsu, Japan,
October 2000, volume 2063 of LNCS, pages 186-203.
Springer, 2001.
- [Sla01b]
- Wolfgang Slany.
Evolutionary computing for shift scheduling and other combinatorial
optimization problems (invited paper).
In Problems in Applied Mathematics and Computational Intelligence (Vol. 3, Proceedings of the Int. Conf. on Evolutionary Computing
(EC2001)), pages 113-118, Puerto De La Cruz, Spain, February 2001.
- [SMKG01]
- Wolfgang Slany, Nysret Musliu, Guy
Kortsarz, and Johannes Gärtner.
Theory and practice of shift scheduling (invited paper).
RIMS Kokyuroku of the Research Institute of Mathematical Sciences,
Kyoto University, 1185:172-181, 2000 (appeared 2001).
- [SW01]
- Markus Stumptner and Franz Wotawa.
Diagnosing tree-structured systems.
Artificial Intelligence, 127(1):1-29, 2001.
- [SWW01a]
- Markus Stumptner, Dominik Wieland, and
Franz Wotawa.
Analysing Models for Software Debugging.
In DX01, Sansicario, Italy, 2001.
- [SWW01b]
- Markus Stumptner, Dominik Wieland, and
Franz Wotawa.
Comparing Two Models for Software Debugging.
In Proceedings of the Joint German/Austrian Conference on Artificial
Intelligence (KI), Vienna, Austria, 2001.
- [Wot01a]
- Franz Wotawa.
Der öGAI Preis.
OeGAI, 20(3), 2001.
- [Wot01b]
- Franz Wotawa.
On the Relationship between Model-based Debugging and Programm
Mutation.
In DX01, Sansicario, Italy, 2001.
- [Wot01c]
- Franz Wotawa.
Using Multiple Models for Debugging VHDL Designs.
In IEAAIE, Budapest, Hungary, 2001.
LNCS Springer Verlag.
- [Wot01d]
- Franz Wotawa.
A Variant of Reiter's Hitting-Set Algorithm.
Information Processing Letters, 79(1):45-51, 2001.
- [WS01]
- Franz Wotawa and Markus Stumptner.
Modellbasierte Diagnose -- überblick und technische Anwendung.
ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik
(e&i), (7/8), 2001.
- [WW01]
- Franz Wotawa and Gerhard Wotawa.
Deriving Qualitative Rules from Neural Networks -- A Case Study
for Ozone Forecasting.
AI Communications, 14(1), 2001.