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.