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
2009 - 2009
51 Datensätze
Zeitschriftenartikel
-
P. Besnard, A. Hunter, S. Woltran:
"Encoding deductive argumentation in quantified Boolean formulae";
Artificial Intelligence,
173
(2009),
15;
S. 1406
- 1423.
-
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Constraints,
14
(2009),
1;
S. 38
- 79.
-
I. Feinerer, G. Salzer:
"A Comparison of Tools for Teaching Formal Software Verification";
Formal Aspects of Computing,
21
(2009),
3;
S. 293
- 301.
-
H. Fleischner, E. Mujuni, D. Paulusma, S. Szeider:
"Covering graphs with few complete bipartite subgraphs";
Theoretical Computer Science,
410
(2009),
21-23;
S. 2045
- 2053.
-
M. Hermann, R. Pichler:
"Complexity of Counting the Optimal Solution";
Theoretical Computer Science,
410
(2009),
38-40;
S. 3814
- 3825.
-
T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
"Modularity Aspects of Disjunctive Stable Models";
Journal of Artificial Intelligence Research,
35
(2009),
S. 813
- 857.
-
D. Pearce, H. Tompits, S. Woltran:
"Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
Theory and Practice of Logic Programming,
9
(2009),
5;
S. 565
- 616.
-
M. Truszczynski, S. Woltran:
"Hyperequivalence of logic programs with respect to supported models";
Annals of Mathematics and Artificial Intelligence,
53
(2009),
1-4;
S. 331
- 365.
-
M. Truszczynski, S. Woltran:
"Relativized hyperequivalence of logic programs for modular programming";
Theory and Practice of Logic Programming,
Vol. 9
(2009),
6;
S. 781
- 819.
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: "Applications of Declarative Programming and Knowledge Management",
D. Seipel, M. Hanus, A. Wolf (Hrg.);
Springer,
2009,
ISBN: 978-3-642-00674-6,
S. 247
- 252.
-
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
in: "Applications of Declarative Programming and Knowledge Management",
D. Seipel, M. Hanus, A. Wolf (Hrg.);
Springer,
2009,
ISBN: 978-3-642-00674-6,
S. 241
- 246.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
M. Ali, R. Pichler, H. Truong, S. Dustdar:
"DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources";
Vortrag: 11th International Conference on Enterprise Information Systems, ICEIS 2009,
Milan, Italy;
06.05.2009
- 10.05.2009; in: "Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009",
J. Filipe, J. Cordeiro (Hrg.);
Springer,
LNBIP 24
(2009),
ISBN: 978-3-642-01346-1;
S. 172
- 183.
-
M. Ali, R. Pichler, H. Truong, S. Dustdar:
"On Using Distributed Extended XQuery for Web Data Sources as Services";
Vortrag: 9th International Conference on Web Engineering, ICWE 2009,
San Sebastián, Spain;
24.06.2009
- 26.06.2009; in: "Web Engineering Proceedings of the 9th International Conference, ICWE 2009",
M. Gaedke, M. Grossniklaus, O. Díaz (Hrg.);
Springer,
LNCS 5648
(2009),
ISBN: 978-3-642-02817-5;
S. 497
- 500.
-
A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
"Testing while modelling staff scheduling problems";
Vortrag: 23rd European Conference on Operational Research,
Bonn, Deutschland;
05.07.2009
- 08.07.2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS",
(2009),
S. 198.
-
J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"Merging Logic Programs under Answer Set Semantics";
Vortrag: International Conference on Logic Programming (ICLP),
Pasadena, Californien;
14.07.2009
- 17.07.2009; in: "Logic Programming",
P. Hill, D. Warren (Hrg.);
Springer,
LNCS 5649
(2009),
ISBN: 3-642-02845-4;
S. 160
- 174.
-
W. Dvorak, G. Gottlob, R. Pichler, S. Woltran:
"Alternation as a programming paradigm";
Vortrag: PPDP'09 - 11th International ACM SIGPLAN Symposium on Princeples and Practice of Declarative Programming,
Coimbra, Portugal;
07.09.2009
- 09.09.2009; in: "Proc. of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming",
A. Porto, F. J. Lopez-Fraguas (Hrg.);
ACM Press,
(2009),
ISBN: 978-1-60558-568-0;
S. 61
- 72.
-
W. Faber, S. Woltran:
"A Framework for Programming with Module Consequences";
Vortrag: 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), co-located with the 10th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09),
Potsdam;
14.09.2009
- 18.09.2009; in: "Proc. of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)",
M. De Vos, T. Schaub (Hrg.);
(2009),
ISSN: 1613-0073;
S. 34
- 48.
-
W. Faber, S. Woltran:
"Manifold Answer-Set Programs for Meta-reasoning";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009),
Potsdam;
14.09.2009
- 18.09.2009; in: "Logic Programming and Nonmonotonic Reasoning",
E. Erdem, F. Lin, T. Schaub (Hrg.);
Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 115
- 128.
-
W. Faber, S. Woltran:
"Manifold Answer-Set Programs for Meta-Reasoning";
Vortrag: Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'09), co-located with 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09),
Pasadena, California, USA;
11.07.2009
- 17.07.2009; in: "Proc. of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'09)",
A. Herzig, B. Johnston (Hrg.);
ePress of the University of Technology, Sydney,
Sydney, Australia
(2009),
S. 33
- 40.
-
G. Gottlob, R. Pichler, V. Savenkov:
"Normalization and Optimization of Schema Mappings";
Vortrag: Very Large Databases (VLDB),
Lyon, Frankreich;
24.08.2009
- 28.08.2009; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases",
H. V. Jagadish (Hrg.);
VLDB Endowment,
Vol. 2, Nr. 1
(2009),
Paper-Nr. 923,
12 S.
-
T. Hassan:
"GraphWrap-A System for Interactive Wrapping of PDF Documents Using Graph Matching Techniques";
Poster: The 9th ACM Symposium on Document Engineering (DocEng'09),
München, Deutschland;
15.09.2009
- 18.09.2009; in: "Proc. of the 2009 ACM Symposium on Document Engineering",
U. M. Borghoff, B. Chidlovskii, S. Rönnau (Hrg.);
(2009),
ISBN: 978-1-60558-575-8;
S. 247
- 248.
-
T. Hassan:
"Object-Level Document Analysis of PDF Files";
Vortrag: The 9th ACM Symposium on Document Engineering (DocEng'09),
München, Deutschland;
15.09.2009
- 18.09.2009; in: "Proc. of the 2009 ACM Symposium on Document Engineering",
U. M. Borghoff, B. Chidlovskii, S. Rönnau (Hrg.);
(2009),
ISBN: 978-1-60558-575-8;
S. 47
- 55.
-
T. Hassan:
"User-Guided Wrapping of PDF Documents Using Graph Matching Techniques";
Vortrag: 10th Int. Conference on Document Analysis and Recognition,
Barcelona, Spanien;
26.07.2009
- 29.07.2009; in: "Proc. of the 10th Int. Conf. on Document Analysis and Recognition",
A. Apostolos, M. Cheriet, U. Pal (Hrg.);
(2009),
ISBN: 978-0-7695-3725-2;
S. 631
- 635.
-
W. Holzinger, B. Krüpl, R. Baumgartner:
"Automated Ontology-Driven Metasearch Generation with Metamorph";
Vortrag: Web Information Systems Engineering - WISE 2009 10th International Conference,
Poznan, Poland;
05.10.2009
- 07.10.2009; in: "Web Information Systems Engineering - WISE",
G. Vossen, D. Long, J. X. Yu (Hrg.);
Springer,
LNCS 5802
(2009),
ISBN: 978-3-642-04408-3;
S. 473
- 480.
-
M. Jakl, R. Pichler, S. Woltran:
"Answer-Set Programming with Bounded Tree Width";
Vortrag: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),
Pasadena, California, U.S.A.;
11.07.2009
- 17.07.2009; in: "Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence",
C. Boutilier (Hrg.);
AAAI Press,
Menlo Park, California, U.S.A.
(2009),
ISBN: 978-1-57735-428-4;
S. 816
- 822.
-
A. Karatzoglou, I. Feinerer, K. Hornik:
"Nonparametric distribution analysis for text mining";
Vortrag: 32nd Annual Conference of the Gesellschaft für Klassifikation e.V.,
Hamburg;
16.07.2008
- 18.07.2008; in: "Advances in Data Analysis, Data Handling and Business Intelligence",
Springer,
(2009),
ISBN: 978-3-642-01045-3;
S. 295
- 305.
-
B. Krüpl, W. Holzinger, Y. Darmaputra, R. Baumgartner:
"A Flight Meta-Search Engine with Metamorph";
Poster: 18th Int. World Wide Web Conference,
Madrid, Spanien;
20.04.2009
- 24.04.2009; in: "WWW 2009 Proceedings",
J. Quemada, G. Léon (Hrg.);
Association for Computing Machinery, Inc. (ACM),
(2009),
ISBN: 978-1-60558-487-4;
2 S.
-
N. Musliu, A. Beer, J. Gärtner, W. Schafhauser, W. Slany:
"Local Search for Shift and Break Scheduling";
Vortrag: 23rd European Conference on Operational Research,
Bonn, Deutschland;
05.07.2009
- 08.07.2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS",
(2009),
S. 102.
-
N. Musliu, W. Schafhauser, M. Widl:
"A Memetic Algorithm for a Break Scheduling Problem";
Vortrag: VIII Metaheuristic International Conference,
Hamburg, Deutschland;
13.07.2009
- 16.07.2009; in: "Cd Mic 2009",
(2009),
10 S.
-
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009),
Potsdam;
14.09.2009
- 18.09.2009; in: "Logic Programming and Nonmonotonic Reasoning",
E. Erdem, F. Lin, T. Schaub (Hrg.);
Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 382
- 395.
-
R. Pichler, St. Rümmele, S. Woltran:
"Belief Revision with Bounded Treewidth";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009),
Potsdam;
14.09.2009
- 18.09.2009; in: "Logic Programming and Nonmonotonic Reasoning",
E. Erdem, F. Lin, T. Schaub (Hrg.);
Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 250
- 263.
-
R. Pichler, V. Savenkov:
"DEMo: Data Exchange Modeling Tool";
Poster: Very Large Databases (VLDB),
Lyon, Frankreich;
24.08.2009
- 28.08.2009; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases",
H. V. Jagadish (Hrg.);
(2009),
Paper-Nr. 1043,
4 S.
-
W. Schafhauser, A. Beer, J. Gärtner, N. Musliu, W. Slany:
"Temple - a language for staff scheduling problems";
Vortrag: 23rd European Conference on Operational Research,
Bonn, Deutschland;
05.07.2009
- 08.07.2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS",
(2009),
S. 198.
-
S. Woltran:
"Belief Revision with Bounded Treewidth";
Vortrag: Dagstuhl Seminar 09351: Information processing, rational belief change and social interaction,
Wadern, Schloss Dagstuhl, Deutschland (eingeladen);
23.08.2009
- 27.08.2009; in: "Dagstuhl Seminar Proceedings",
G. Bonanno, J. Delgrande, H. Rott (Hrg.);
(2009),
ISSN: 1862-4405;
51 S.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
W. Dvorak:
"Argumentation with Bounded Tree-Width";
Poster: Advanced Course in Artificial Intelligence '09,
Belfast, GB;
23.08.2009
- 29.08.2009.
-
S. Gaggl:
"ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming";
Poster: Advanced Course in Artificial Intelligence '09,
Belfast, GB;
23.08.2009
- 29.08.2009.
-
S. Woltran:
"Characterizing Strong Equivalence for Argumentation Frameworks";
Hauptvortrag: Argumentation Christmas Meeting,
Leipzig (eingeladen);
03.12.2009
- 04.12.2009.
Diplom- und Master-Arbeiten (eigene und betreute)
-
W. Dvorak:
"Alternation as a programming paradigm";
Betreuer/in(nen): R. Pichler, S. Woltran;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 02/2009.
-
J. Eder:
"On extending postgreSQL with the skyline operator";
Betreuer/in(nen): R. Pichler, F. Wei;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 01/2009.
-
S. Gaggl:
"Solving Argumentation Frameworks using Answer Set Programming";
Betreuer/in(nen): U. Egly, S. Woltran;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 02/2009.
-
Th. Hammerl:
"Ant Colony Optimization for Tree and Hypertree Decompositions";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 28.04.2009.
-
A. Pfandler:
"Decentralized Diagnosis: Complexity Analysis and Datalog Encodings";
Betreuer/in(nen): R. Pichler, S. Woltran;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 11/2009.
-
N. Prangnawarat:
"Realizing Web Accessibility based on Understanding the Visual Structure of Grocery Web Portals";
Betreuer/in(nen): R. Pichler, W. Holzinger;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 10.07.2009.
-
S. Rettinger:
"Foundations of Data Integration";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 11/2009.
-
A. Roubickova:
"Complexity of Argumentation";
Betreuer/in(nen): R. Pichler, S. Woltran;
Institut fuer Informationssysteme,
2009;
Abschlussprüfung: 01.11.2009.
-
O. Selinger:
"OpenESB for Web Process Integration";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 30.08.2009.
-
S. Skritek:
"Implementing a peer data management system";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 08/2009.
-
F. Wagner:
"Analyse von Redundanzen beim Datenaustausch";
Betreuer/in(nen): R. Pichler, V. Savenkov;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2009;
Abschlussprüfung: 07/2009.
Wissenschaftliche Berichte
-
A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
"TEMPLE - A Modeling Language for Resource Planning and Scheduling Problems";
Berichts-Nr. DBAI-TR-2009-65,
2009;
16 S.
-
W. Dvorak, G. Gottlob, R. Pichler, S. Woltran:
"Alternation as a Programming Paradigm";
Berichts-Nr. DBAI-TR-2009-64,
2009;
28 S.
-
W. Dvorak, S. Woltran:
"Technical Note: Complexity of Stage Semantics in Argumentation Frameworks";
Berichts-Nr. DBAI-TR-2009-66,
2009;
13 S.