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
2008 - 2008

60 Datensätze


Zeitschriftenartikel


I. Feinerer, K. Hornik, D. Meyer:
"Text Mining Infrastructure in R";
Journal of Statistical Software, 25 (2008), 5; 54 S.

S. Vorobyov:
"Cyclic Games and Linear Programming";
Discrete Applied Mathematics (eingeladen), Special Volume Dedicated to the Work of Leonid Khachiyan (2008), 11; S. 2195 - 2231.

S. Woltran:
"A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming";
Theory and Practice of Logic Programming, 8 (2008), 2; S. 217 - 234.


Buchbeiträge


N. Musliu:
"An Iterative Heuristic Algorithm for Tree Decomposition";
in: "Recent Advances in Evolutionary Computation for Combinatorial Optimization. Studies in Computational Intelligence, Volume 153/2008", C. Cotta, J. van Hemert (Hrg.); Springer, 2008, ISBN: 978-3-540-70806-3, S. 133 - 150.


Beiträge in Tagungsbänden


J. Dorn, M. Pichlmair, K. Schimper, H. Tellioglu:
"Supporting Competence Management in Software Projects";
in: "Proceedings of International Conference on Concurrent Enterprising", ICE Proceedings, 2008, S. 451 - 458.

R. Pichler, A. Polleres, F. Wei, S. Woltran:
"Entailment for Domain-restricted RDF";
in: "Proceedings of the 5th Annual European Semantic Web Conference (ESWC'08)", Springer LNCS, 2008, ISBN: 978-3-540-68233-2, S. 200 - 214.


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
"Scheduling Breaks in Shift Plans for Call Centers";
Vortrag: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal; 18.08.2008 - 22.08.2008; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 17 S.

J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"Belief Revision of Logic Programs under Answer Set Semantics";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 16.09.2008 - 19.09.2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (Hrg.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; S. 411 - 421.

A. Dermaku, T. Ganzow, G. Gottlob, B. J. McMahan, N. Musliu, M. Samer:
"Heuristic Methods for Hypertree Decomposition";
Hauptvortrag: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico (eingeladen); 27.10.2008 - 31.10.2008; in: "Lecture Notes in Computer Scienc, MICAI 2008: Advances in Artificial Intelligence", Springer, 5317 (2008), S. 1 - 11.

U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Vortrag: International Conference on Logic Programming (ICLP), Udine; 09.12.2008 - 13.12.2008; in: "ICLP-Workshop Proceedings; Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008", W. Faber, J. Lee (Hrg.); (2008), S. 1 - 15.

U. Egly, S. Gaggl, S. Woltran:
"ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming";
Vortrag: International Conference on Logic Programming (ICLP), Udine; 09.12.2008 - 13.12.2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (Hrg.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; S. 734 - 738.

W. Faber, H. Tompits, S. Woltran:
"Notions of Strong Equivalence for Logic Programs with Ordered Disjunction";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 16.09.2008 - 19.09.2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (Hrg.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; S. 433 - 443.

A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Solving Practical Configuration Problems using UML";
Vortrag: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 21.07.2008 - 22.07.2008; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 S.

I. Feinerer, K. Hornik:
"Text Mining of Supreme Administrative Court Jurisdictions";
Vortrag: 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, Germany; 07.03.2007 - 09.03.2007; in: "Data Analysis, Machine Learning, and Applications (Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V.)", Springer, (2008), S. 569 - 576.

I. Feinerer, A. Karatzoglou:
"Fast text mining using kernels in R";
Vortrag: COMPSTAT 2008 International Conference on Computational Statistics, Porto, Portugal; 24.08.2008 - 29.08.2008; in: "COMPSTAT 2008-Proceedings in Computational Statistics", (2008), ISBN: 978-3-7908-2083-6; 8 S.

M. Gebser, T. Schaub, H. Tompits, S. Woltran:
"Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets";
Vortrag: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 11.02.2008 - 15.02.2008; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)", S. Hartmann, G. Kern-Isberner (Hrg.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; S. 24 - 41.

G. Gottlob, R. Pichler, F. Wei:
"Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation";
Vortrag: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 13.07.2008 - 17.07.2008; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (Hrg.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; S. 1541 - 1547.

M Herman, R. Pichler:
"Counting Complexity of Minimal Cardinality and Minimal Weight Abduction";
Vortrag: 11th European Conference (JELIA 2008), Dresden, Deutschland; 28.09.2008 - 01.10.2008; in: "Logics in Artificial Intelligence", S. Hölldobler, C. Lutz, H. Wansing (Hrg.); LNAI 5293 (2008), ISBN: 3-540-87802-5; S. 206 - 218.

M. Hermann, R. Pichler:
"Complexity of Counting the Optimal Solution";
Vortrag: The 14th Annual International Computing and Combinatorics Conference (COCOON 2008), Dalian, China; 27.06.2008 - 29.06.2008; in: "Computing and Combinatorics", X. Hu, J. Wang (Hrg.); Lecture Notes of Computer Science, Springer, 5092 (2008), ISBN: 978-3-540-69732-9; S. 149 - 159.

M. Jakl, R. Pichler, St. Rümmele, S. Woltran:
"Fast Counting with Bounded Treewidth";
Vortrag: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 22.11.2008 - 27.11.2008; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (Hrg.); Springer, 5330 (2008), ISBN: 3-540-89438-1; S. 436 - 450.

T. Neubauer, T. Mück:
"PIPE: Ein System zur Pseudonymisierung von Gesundheitsdaten";
Vortrag: eHealth 2008 conference, Portoroz, Slovenia; 06.05.2008 - 07.05.2008; in: "Proceedings of e-Health 2008", (2008).

U. Neumerkel, M. Triska, J. Wielemaker:
"Declarative language extensions for prolog courses";
Vortrag: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 21.09.2008; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; S. 73 - 77.

M. Pichlmair, J. Dorn:
"Evaluation of Competence Management at Universities";
Vortrag: International Conference on Knowledge Management (ICKM 2008), Columbus, Ohio, USA; 23.10.2008 - 24.10.2008; in: "Series on Innovation and Knowledge Management", S. Hawamdeh, K. Stauss, F. Barachini (Hrg.); World Scientific, Vol. 7 (2008), ISBN: 978-981-283-756-1; S. 65 - 76.

A. Prantl, J. Knoop, M. Schordan, M. Triska:
"Constraint solving for high-level WCET analysis";
Vortrag: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 12.12.2008; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), S. 77 - 89.

J. Puehrer, H. Tompits, S. Woltran:
"Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence";
Vortrag: International Conference on Logic Programming (ICLP), Udine, Italien; 09.12.2008 - 13.12.2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (Hrg.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; S. 561 - 575.

V. Savenkov, R. Pichler:
"Towards Practical Feasibility of Core Computation in Data Exchange";
Vortrag: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 22.11.2008 - 27.11.2008; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (Hrg.); Springer, 5330 (2008), ISBN: 3-540-89438-1; S. 62 - 78.

M. Triska, N. Musliu:
"An Improved SAT Formulation for the Social Golfer Problem";
Vortrag: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal, Canada; 19.08.2008 - 22.08.2008; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 13 S.

M. Triska, N. Musliu:
"Solving the Social Golfer Problem with a GRASP";
Vortrag: PATAT 2008, Montreal, Canada; 18.08.2008 - 22.08.2008; in: "In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 12 S.

M. Triska, U. Neumerkel, J. Wielemaker:
"A Generalised Finite Domain Constraint Solver for SWI-Prolog";
Vortrag: 22nd Workshop on (Constraint) Logic Programming, Dresden; 30.09.2008 - 01.10.2008; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 S.

M. Triska, U. Neumerkel, J. Wielemaker:
"Better Termination for Prolog with Constraints";
Vortrag: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 12.12.2008; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (Hrg.); (2008), S. 90 - 96.

M. Truszczynski, S. Woltran:
"Hyperequivalence of Logic Programs with Respect to Supported Models";
Vortrag: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 13.07.2008 - 17.07.2008; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (Hrg.); AAAI Press, Volume 1 (2008), ISBN: 978-1-57735-368-3; S. 560 - 565.

M. Truszczynski, S. Woltran:
"Hyperequivalence of programs and operators (Preliminary version)";
Vortrag: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A. (eingeladen); 02.01.2008 - 04.01.2008; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)", M. Kaminski, M. Truszczynski (Hrg.); (2008), 8 S.

M. Truszczynski, S. Woltran:
"Relativized Hyperequivalence of Logic Programs for Modular Programming";
Vortrag: International Conference on Logic Programming (ICLP), Udine; 09.12.2008 - 13.12.2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (Hrg.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; S. 576 - 590.


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
"An Iterated Local Search Algorithm for a Real-Life Break Scheduling Problem";
Vortrag: Matheuristics2008 - Second International Workshop on Model Based Metaheuristics, Bertinoro; 16.06.2008 - 18.06.2008.

W. Holzinger, B. Krüpl, R. Baumgartner:
"Exploiting Semantic Web Technologies to Model Web Form Interactions";
Poster: WWW 2008, China, Beijing; 21.04.2008 - 25.04.2008.


Habilitationsschriften


S. Woltran:
"Contributions to Advanced Equivalence Checking in Answer Set Programming";
TU Wien, Fakultät für Informatik, 2008.


Dissertationen (eigene und begutachtete)


M. Pichlmair:
"Evaluierung von Kompetenzmanagement für Studierende";
Betreuer/in(nen), Begutachter/in(nen): J. Dorn, G. Steinhardt; Institut für Softwaretechnik und Interaktive Systeme, 2008; Rigorosum: 17.06.2008.


Diplom- und Master-Arbeiten (eigene und betreute)


P. Bohunsky:
"VENTip - Methodology and implementation of table interpretation";
Betreuer/in(nen): R. Pichler, S. Dustdar; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 11/2008.

Y. Darmaputra:
"An Application of Heuristic Route Search Techniques for a Scalable Flight Search System";
Betreuer/in(nen): R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 06/2008.

M. Dorner:
"Optimizations of structural join algorithms: XML - Structural Join Evolution";
Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 26.06.2008.

P. Gansterer:
"Umsetzung einer e-Learning Applikation für SQL mithilfe eines regelbasierten Bewertungssystems";
Betreuer/in(nen): R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 18.04.2008.

M. J. Kofler:
"Open Source Jave EE Application Server functionality, Configuration and performance on the basis of Geronimo, JBoss and Glassfish";
Betreuer/in(nen): R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 07.10.2008.

E. Lebedeva:
"Hypertree Decompositions for Optimal Winner Determination in Combinatorial Auctions";
Betreuer/in(nen): G. Gottlob, N. Musliu, W. Schafhauser; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 03/2008.

M. Lee:
"Data Mining on Empty Result Queries";
Betreuer/in(nen): N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 05/2008.

A. Mager:
"Automatisiertes Verständnis von formularbasierten Webseiten durch statistische Klassifikation der Seiten und Elemente";
Betreuer/in(nen): R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 08.10.2008.

M. Makowski:
"Data Cleaning and Performance Tuning in the GAINS Model";
Betreuer/in(nen): R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 18.04.2008.

R. Ostrcil:
"Data representation, queries and updates in probabilistic and uncertain databases";
Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 10/2008.

E. Paisios:
"Generic Programing for Graph Problems Using Tree Decompositions";
Betreuer/in(nen): N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008.

St. Rümmele:
"Efficient Counting with Bounded Treewidth using Datalog";
Betreuer/in(nen): R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2008; Abschlussprüfung: 12/2008.

Ch. Singewald:
"Efficient problem solving based on datalog transformations";
Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 11/2008.

L. Steiner:
"Einbindung von automatisiert extrahierten Webdaten in Internet Portalen";
Betreuer/in(nen): R. Pichler, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 10/2008.

M. Triska:
"Solution Methods for the Social Golfer Problem";
Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008.

Th. Zwierschitz:
"An Extensible and Configurable Record Linkage Framework";
Betreuer/in(nen): R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; Abschlussprüfung: 07.10.2008.


Wissenschaftliche Berichte


P. Besnard, A. Hunter, S. Woltran:
"Encoding Deductive Argumentation in Quantified Boolean Formulae";
Berichts-Nr. DBAI-TR-2008-60, 2008; 28 S.

U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Berichts-Nr. DBAI-TR-2008-62, 2008; 25 S.

U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Berichts-Nr. INFSYS RR-1843-08-03, 2008; 44 S.

M. Jakl, R. Pichler, St. Rümmele, S. Woltran:
"Fast Counting with Bounded Treewidth";
Berichts-Nr. DBAI-TR-2008-61, 2008; 27 S.

R. Pichler, A. Polleres, F. Wei, S. Woltran:
"dRDF: Entailment for Domain-Restricted RDF";
Berichts-Nr. DBAI-TR-2008-59, 2008; 28 S.

M. Truszczynski, S. Woltran:
"Hyperequivalence of Logic Programs with Respect to Supported Models";
Berichts-Nr. DBAI-TR-2008-58, 2008; 32 S.

M. Truszczynski, S. Woltran:
"Relativized Hyperequivalence of Logic Programs for Modular Programming";
Berichts-Nr. DBAI-TR-2008-63, 2008; 37 S.