TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

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.