Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
2007 - 2007
41 Datensätze
Zeitschriftenartikel
-
L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schaerf, W. Slany:
"The Minimum Shift Design Problem";
Annals of Operations Research,
155
(2007),
1;
S. 79
- 105.
-
T. Eiter, W. Faber, M. Fink, S. Woltran:
"Complexity results for answer set programming with bounded predicate arities and implications";
Annals of Mathematics and Artificial Intelligence (eingeladen),
51
(2007),
2-4;
S. 123
- 165.
-
C. Fermüller, R. Pichler:
"Model Representation over Finite and Infinite Signatures";
Journal of Logic and Computation,
17
(2007),
3;
S. 453
- 477.
-
A. Hoffmann-Ostenhof:
"A counterexample to the bipartizing matching conjecture";
Discrete Mathematics,
307
(2007),
22;
S. 2723
- 2733.
-
N. Musliu, W. Schafhauser:
"Genetic algorithms for generalized hypertree decompositions";
European Journal of Industrial Engineering,
1
(2007),
3;
S. 317
- 340.
-
M. Pichlmair, W. Seiringer:
"Kompetenzmanagement für Studierende - Ein Erfahrungsbericht";
Wirtschaftsinformatik,
1
(2007),
1;
S. 63
- 66.
Beiträge in Tagungsbänden
-
M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)",
Bayerische Julius-Maximilians-Universität Würzburg,,
2007,
4 S.
-
M. Goebel, M. Ceresna:
"Interactive Wrapper Learning for Web Documents Using Tree Alignment";
in: "Proceedings of IADIS International Conference Applied Computing 2007",
N. Guimaraies, P. Isaias (Hrg.);
herausgegeben von: IADIS Press;
IADIS Press,
2007,
ISBN: 978-972-8924-30-0,
S. 363
- 370.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei:
"Foundations of Rule-Based Query";
Vortrag: Third International Summer School 2007,
Dresden, Germany;
03.09.2007
- 07.09.2007; in: "Reasoning Web",
Lecture Notes in Computer Science,
4636
(2007),
ISBN: 978-3-540-74613-3;
S. 1
- 153.
-
J. Dorn, C. Grün, H. Werthner, M. Zapletal:
"A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts";
Vortrag: 40th Hawaii International Conference On System Science (HICSS 40th),
Waikoloa, Big Island, HI, USA;
03.01.2007
- 06.01.2007; in: "40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings",
IEEE Computer Society,
Los Alamitos, CA, USA
(2007),
ISSN: 1530-1605;
10 S.
-
J. Dorn, T. Naz, M. Pichlmair:
"Ontology Development for Human Resource Management";
Vortrag: 4th International Conference on Knowledge Management,
Wien;
27.08.2007
- 28.08.2007; in: "Proceedings of 4rd International Conference on Knowledge Management",
Ch. Stary, F. Barachini, S. Hawamdeh (Hrg.);
Series on Information & Knowledge Management,
6
(2007),
ISBN: 978-981-277-058-5;
S. 109
- 120.
-
J. Dorn, M. Pichlmair:
"A Competence Management system for Universities";
Vortrag: 15th European Conference on Information Systems (ECIS 2007),
St. Gallen;
07.06.2007
- 09.06.2007; in: "Proceedings of European Conference on Information Systems",
H. Österle, J. Schelp, R. Winter (Hrg.);
Proceedings of European Conference on Information Systems,
(2007),
S. 759
- 770.
-
J. Dorn, M. Zapletal, H. Werthner:
"A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts";
Vortrag: HICSS 07,
Hawaii;
03.01.2007
- 06.01.2007; in: "Proc. of HICCS 2007",
IEEE Computer Society Press,
(2007).
-
W. Faber, H. Tompits, S. Woltran:
"Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions";
Vortrag: VLDB 2007,
Wien;
23.09.2007
- 24.09.2007; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)",
(2007),
8 S.
-
M. Fink, R. Pichler, H. Tompits, S. Woltran:
"Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Tempe, Arizona, USA;
14.05.2007
- 17.05.2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)",
C. Baral, G. Brewka, J. Schlipf (Hrg.);
Springer,
LNAI 4483
(2007),
ISBN: 978-3-540-72199-4;
S. 123
- 135.
-
W. Gatterbauer, P. Bohunsky, M. Herzog, B. Krüpl, B. Pollak:
"Towards Domain-Independent Information Extraction from Web Tables";
Vortrag: Sixteenth International World Wide Web Conference,
Banff, Alberta, Canada;
08.05.2007
- 12.05.2007; in: "Proceedings of the Sixteenth International World Wide Web Conference (WWW2007)",
ACM Press,
(2007),
ISBN: 978-1-59593-654-7;
S. 71
- 80.
-
M. Goebel, V. Zigo, M. Ceresna:
"Digging the Wild Web: An Interactive Tool for Web Data Consolidation";
Vortrag: The 8th International Conference on Web Information Systems Engineering,
Nancy, Frankreich;
03.12.2007
- 06.12.2007; in: "Web Information Systems Engineering - WISE",
B. Benatallah, F. Casati, D. Georgakopoulos, C. Bartolini, W. Sadiq, C. Godart (Hrg.);
Lecture Notes of Computer Science/Springer,
4831
(2007),
ISBN: 978-3-540-76992-7;
S. 613
- 622.
-
G. Gottlob, R. Pichler, F. Wei:
"Efficient Datalog Abduction through Bounded Treewidth";
Vortrag: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence,
Vancouver, Canada;
22.07.2007
- 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence",
AAAI Press,
(2007),
ISBN: 978-1-57735-323-2;
Paper-Nr. 17/AAAI07-260,
6 S.
-
G. Gottlob, R. Pichler, F. Wei:
"Monadic Datalog over Finite Structures with Bounded Treewidth";
Vortrag: PODS 2007,
Beijing, China;
11.06.2007
- 13.06.2007; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)",
P. Kolaitis (Hrg.);
ACM,
(2007),
ISBN: 978-1-59593-685-1;
S. 165
- 174.
-
T. Hassan, R. Baumgartner:
"Table Recognition and Understanding from PDF Files";
Vortrag: ICDAR 2007- 9thInternational Conference on Document Analysis and Recognition,
Curitiba, Brasilien;
23.09.2007
- 26.09.2007; in: "Proceeding of the ICDAR 2007",
IEEE Computer Society Press,
Volume 1, 2
(2007),
ISBN: 0-7695-2822-8;
S. 1143
- 1147.
-
M. Hermann, R. Pichler:
"Counting Complexity of Propositional Abduction";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Hyderabad, Indien;
06.01.2007
- 12.01.2007; in: "Proceeding of the Twentieth International Joint Conference on Artificial Intelligence",
AAAI Press,
Volume 1, 2
(2007),
ISBN: 978-1-57735-298-3;
S. 417
- 422.
-
N. Musliu:
"Generation of Tree Decompositions by Iterated Local Search";
Vortrag: EvoCOP 2007 - Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation,
Valencia, Spain;
11.04.2007
- 13.04.2007; in: "Proceedings of the Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation, EvoCOP 2007, LNCS, Volume 4446",
Berlin Heidelberg
(2007),
S. 130
- 141.
-
N. Musliu:
"Iterated Local Search for Cyclic Staff Scheduling";
Vortrag: EURO XXII: 22nd European Conference on Operational Research,
Prague;
08.07.2007
- 11.07.2007; in: "EURO XXII: 22nd European Conference on Operational Research (Book of Abstracts)",
(2007),
S. 143.
-
N. Musliu:
"Tabu Search for Generalized Hypertree Decompositions";
Vortrag: MIC 2007: The Seventh Metaheuristics International Conference,
Montreal, Canada;
25.06.2007
- 29.06.2007; in: "MIC 2007: The Seventh Metaheuristics International Conference",
(2007),
3 S.
-
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
als Vortrag angenommen für: Proceedings of the 16th International Conference on Computing (CIC 2007),
Mexico City;
04.11.2007
- 09.11.2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)",
(2007).
-
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
Vortrag: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007),
Würzburg, Germany;
04.10.2007
- 06.10.2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)",
Seite 254-257
(2007),
4 S.
-
J. Oetsch, H. Tompits, S. Woltran:
"Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
Vortrag: AAAI ' 07,
Vancouver, Canada;
22.07.2007
- 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence",
AAAI Press,
(2007),
ISBN: 978-1-57735-323-2;
Paper-Nr. 05/AAAI07-072,
7 S.
-
B. Pollak, W. Gatterbauer:
"Creating Permanent Test Collections of Web Pages for Information Extraction Research";
Vortrag: Proceedings of SOFSEM 2007,
Harrachov, Czech Republic;
20.01.2007
- 26.01.2007; in: "Proceeding of SOFSEM 2007",
Academy of Sciences (Hrg.);
Theory and Practice of Computer Science,
Vol. II
(2007),
ISBN: 80-903298-9-6;
S. 103
- 115.
-
O. Svenson, S. Vorobyov:
"Linear Complementarity and (P)-Matrices for Stochastic Games";
Vortrag: 6th International Andrei Ershov Memorial Conference,
Akademgorodok, Novosibirsk, Russia;
27.06.2006
- 30.06.2006; in: "Perspectives of System Informatics",
I. Virbitskaite, A. Voronkov (Hrg.);
Lecture Notes of Computer Science,
4378
(2007),
ISBN: 978-3-540-70880-3;
S. 412
- 425.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
J. Oetsch, H. Tompits, S. Woltran:
"Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
Poster: AAAI ' 07,
Vancouver, Canada;
22.07.2007
- 26.07.2007.
Habilitationsschriften
-
N. Musliu:
"Metaheuristics for Scheduling and other Hard Problems";
Technische Universität/Informatik,
2007.
Dissertationen (eigene und begutachtete)
-
W. Gatterbauer:
"Contributions to Large-Scale Information Acquisition from the Web";
Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Rigorosum: 25.09.2007.
-
K. Reichinger:
"Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web";
Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Rigorosum: 16.01.2007.
-
N. Stolba:
"Towards a Sustainable DWH Approach for Evidence-Based Healthcare";
Betreuer/in(nen), Begutachter/in(nen): A. Tjoa, T. Mück;
Institut für Softwaretechnik und Interaktive Systeme,
2007;
Rigorosum: 20.11.2007.
-
V. Zigo:
"A Light-weight Processing Model for Interactive Web Information Acquisition";
Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, G. Kappel;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Rigorosum: 16.01.2007.
Diplom- und Master-Arbeiten (eigene und betreute)
-
K. Anestopoulos:
"E-Assessment-computergestützte Prüfungssysteme im Bildungssektor";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007.
-
M. Bauer:
"Erstellung und semantische Annotation von Dokumenten auf Basis automatisch extrahierter Webdaten";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Abschlussprüfung: 13.11.2007.
-
A. Dermaku:
"Generalized Hypertree Decomposition based on Hypergraph Partitioning";
Betreuer/in(nen): G. Gottlob, N. Musliu;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Abschlussprüfung: 09.01.2007.
-
M. Jakl:
"Efficient Algorithms through Bounded Treewidth";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007.
-
M. Mörz:
"A new Tabu Search Framework and it's Application";
Betreuer/in(nen): G. Gottlob, N. Musliu;
Institut für Informationssysteme 184/2,
2007;
Abschlussprüfung: 13.03.2007.
-
C. Semturs:
"Using Licto for Abstract Automation of Web Applications";
Betreuer/in(nen): G. Gottlob;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2007;
Abschlussprüfung: 09.01.2007.