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

56 Datensätze


Zeitschriftenartikel


A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
"A Break Scheduling System for Supervision Personnel Using AI techniques.";
IEEE Intelligent Systems, 25 (2010), 2; S. 60 - 73.

W. Dvorak, S. Woltran:
"Complexity of semi-stable and stage semantics in argumentation frameworks";
Information Processing Letters, Inf. Process. Lett. 110 (2010), 11; S. 425 - 430.

U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Argument & Computation, 1 (2010), 2; S. 147 - 177.

A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Computing Product Configurations via UML and Integer Linear Programming";
International Journal of Mass Customisation (eingeladen), 3 (2010), 4; S. 351 - 367.

G. Gottlob, R. Pichler, F. Wei:
"Bounded treewidth as a key to tractability of knowledge representation and reasoning";
Artificial Intelligence, 174 (2010), 1; S. 105 - 132.

G. Gottlob, R. Pichler, F. Wei:
"Monadic datalog over finite structures of bounded treewidth";
ACM Transactions on Computational Logic, 12 (2010), 1.

G. Gottlob, R. Pichler, F. Wei:
"Tractable database design and datalog abduction through bounded treewidth";
Information Systems, 35 (2010), 3; S. 278 - 298.

M. Hermann, R. Pichler:
"Counting complexity of propositional abduction";
Journal of Computer and System Sciences, 76 (2010), 7; S. 634 - 649.

A. Karatzoglou, I. Feinerer:
"Kernel-based machine learning for fast text mining in R";
Computational Statistics and Data Analysis, 54 (2010), 2; S. 290 - 297.

R. Pichler, V. Savenkov:
"Towards practical feasibility of core computation in data exchange";
Theoretical Computer Science, 411 (2010), 7-9; S. 935 - 957.

M. Samer, St. Szeider:
"Algorithms for Propositional Model Counting";
Journal of Discrete Algorithms, 8 (2010), 1; S. 50 - 64.

M. Samer, H. Veith:
"On the distributivity of LTL specifications";
ACM Transactions on Computational Logic, 11 (2010), 3.


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


R. Baumgartner, B. Krüpl, M. Goebel, D. Klein, R. Gattringer:
"Web 2.0 Vision for the Blind";
Vortrag: 2nd Web Science Conference - WebSci2010, Raleigh, USA; 26.04.2010 - 27.04.2010; in: "Proceedings of the 2nd Web Science Conference - WebSci2010", (2010).

S. Bessler, L. Lang, N. Musliu:
"Scheduling content multicast trees with minimal repetitions";
Vortrag: Networks 2010, Warsaw, Poland; 27.09.2010 - 30.09.2010; in: "In Proceedings of the 14th International telecommunications Network Strategy and Planning Symposium", (2010), S. 1 - 6.

A. Bohn, S. Theußl, I. Feinerer, K. Hornik, P. Mair, N. Walchhofer:
"A New SNA Centrality Measure Quantifying the Distance to the Nearest Center";
Vortrag: 11th Conference of the International Federation of Classification Societies, Dresden, Deutschland; 13.03.2009 - 18.03.2009; in: "Classification as a Tool for Research", H. Locarek-Junge, C. Weihs (Hrg.); Springer, Studies in Classification, Data Analysis, and Knowledge Organization (2010), S. 579 - 586.

G. Brewka, M. Truszczynski, S. Woltran:
"Representing Preferences Among Sets";
Vortrag: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 11.07.2010 - 15.07.2010; in: "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010", M. Fox, D. Poole (Hrg.); AAAI Press, (2010).

G. Brewka, S. Woltran:
"Abstract Dialectical Frameworks";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 09.05.2010 - 13.05.2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (Hrg.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper-Nr. 23, 10 S.

N. Creignou, J. Schmidt, M. Thomas, S. Woltran:
"Sets of Boolean Connectives That Make Argumentation Easier";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 13.09.2010 - 15.09.2010; in: "Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (Hrg.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; S. 117 - 129.

L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
"A hybrid LS-CP solver for the shifts and breaks design problem";
Vortrag: HM 2010, Vienna; 01.10.2010 - 02.10.2010; in: "Proceedings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), S. 46 - 61.

L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
"A hybrid LS-CP solver for the shifts and breaks design problem";
Vortrag: PATAT 2010, Belfast; 10.08.2010 - 13.08.2010; in: "Proceedings of PATAT 2010 - The 8th International Conference on the Practice and Theory of Automated Timetabling", (2010), 3 S.

W. Dvorak, R. Pichler, S. Woltran:
"Towards Fixed-Parameter Tractable Algorithms for Argumentation";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 09.05.2010 - 13.05.2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (Hrg.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper-Nr. 24, 11 S.

W. Dvorak, St. Szeider, S. Woltran:
"Reasoning in Argumentation Frameworks of Bounded Clique-Width";
Vortrag: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 08.09.2010 - 10.09.2010; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; S. 219 - 230.

W. Dvorak, S. Woltran:
"On the Intertranslatability of Argumentation Semantics";
Vortrag: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky, USA; 22.10.2010 - 25.10.2010; in: "Proceedings of the Conference on Thirty Years of Nonmonotonic Reasoning", (2010), 15 S.

R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, R. Baumgartner:
"A Unified Ontology-Based Web Page Model for Improving Accessibility";
Vortrag: International World Wide Web Conference (WWW), Raleigh, USA; 26.04.2010 - 30.04.2010; in: "Proceedings of the 19th international conference on World Wide Web", M. Rappa, P. Jones (Hrg.); ACM Press, (2010), S. 1087 - 1088.

R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, A. Mager, R. Baumgartner:
"Modelling Web Navigation with the User in Mind";
Vortrag: 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010, Raleigh, USA; 26.04.2010 - 27.04.2010; in: "Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010", ACM Press, (2010), ISBN: 978-1-4503-0045-2.

I. Feinerer:
"Analysis and Algorithms for Stemming Inversion";
Poster: 6th Asia Information Retrieval Societies Conference, Taipei, Taiwan; 01.12.2010 - 03.12.2010; in: "Information Retrieval Technology - AIRS 2010 Proceedings", P. Cheng, M. Kan, W. Lam, P. Nakov (Hrg.); Springer, Lecture Notes in Computer Science 6458 (2010), S. 290 - 299.

I. Feinerer, A. Karatzoglou:
"Support Vector Machines for Large Scale Text Mining in R";
Vortrag: 19th International Conference on Computational Statistics, Paris, Frankreich; 22.08.2010 - 27.08.2010; in: "COMPSTAT 2010 --- Proceedings in Computational Statistics", Y. Lechevallier, G. Saporta (Hrg.); Physica, Heidelberg, Deutschland (2010), ISBN: 978-3-7908-2603-6; S. 999 - 1006.

K. Fröschl, R. Baumgartner, N. Walchhofer, M. Hronsky, M. Pöttler:
"Semantic Online Tourism Market Monitoring";
Vortrag: 17th ENTER eTourism Conference, Lugano, Switzerland; 10.02.2010 - 12.02.2010; in: "Proceedings of the International Conference in Lugano", Springer Wien/New York, (2010), ISBN: 9783211994061; S. 629 - 640.

S. Gaggl:
"Towards a General Argumentation System based on Answer-Set Programming";
Vortrag: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 16.07.2010 - 19.07.2010; in: "Technical Communications of the 26th International Conference on Logic Programming", M. Hermenegildo, T. Schaub (Hrg.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; S. 265 - 269.

S. Gaggl, S. Woltran:
"cf2 Semantics Revisited";
Vortrag: COMMA - International Conference on Computational Models of Argument, Italien, Desenzano del Garda; 08.09.2010 - 10.09.2010; in: "Computational Models of Argument", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications/216/Niederlande (2010), ISBN: 9781607506188; S. 243 - 254.

Th. Hammerl, N. Musliu:
"Ant Colony Optimization for Tree Decompositions";
Vortrag: EvoCOP 2010, Istanbul; 07.04.2010 - 09.04.2010; in: "Evolutionary Computation in Combinatorial Optimization, 10th European Conference, EvoCOP 2010, Proceedings", Lecture Notes in Computer Science, Springer, 6022 (2010), S. 95 - 106.

B. Krüpl:
"Looking For the Sweet Spot Between Low-Threshold Participation and Expressiveness in Social Media";
Vortrag: 2nd Web Science Conference - WebSci2010, Raleigh, USA; 26.04.2010 - 27.04.2010; in: "Proceedings of the 2nd Web Science Conference - WebSci2010", (2010).

M. Morak, R. Pichler, St. Rümmele, S. Woltran:
"A Dynamic-Programming Based ASP-Solver";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 13.09.2010 - 15.09.2010; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (Hrg.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; S. 369 - 372.

E. Oikarinen, S. Woltran:
"Characterizing Strong Equivalence for Argumentation Frameworks";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 09.05.2010 - 13.05.2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (Hrg.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper-Nr. 25, 11 S.

A. Pfandler, R. Pichler, S. Woltran:
"Decentralized Diagnosis: Complexity Analysis and Datalog Encodings";
Poster: Junior Scientist Conference 2010, Vienna; 07.04.2010 - 09.04.2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (Hrg.); (2010), ISBN: 978-3-200-01797-9; S. 291 - 292.

R. Pichler, A. Polleres, S. Skritek, S. Woltran:
"Minimising RDF Graphs under Rules and Constraints Revisited";
Vortrag: 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010), Bueons Aires, Argentina; 17.05.2010 - 20.05.2010; in: "Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management", A. H. F. Laender, L. V. S. Lakshmanan (Hrg.); CEUR Workshop Proceedings, 619 (2010), ISSN: 1613-0073.

R. Pichler, A. Polleres, S. Skritek, S. Woltran:
"Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries";
Vortrag: RR 2010 - The fourth international Conference on Web Reasoning and Rule Systems, Brixen, Italy; 22.09.2010 - 24.09.2010; in: "RR 2010", P. Hitzler, T. Lukasiewicz (Hrg.); Lecture Notes/ Springer, 6333 (2010), ISBN: 978-3-642-15917-6; S. 133 - 148.

R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
"Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 09.05.2010 - 13.05.2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (Hrg.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper-Nr. 71, 10 S.

R. Pichler, St. Rümmele, S. Woltran:
"Counting and Enumeration Problems with Bounded Treewidth";
Vortrag: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal; 25.04.2010 - 01.05.2010; in: "Lecture Notes in Artificial Intelligence 6355", R. Goebel, J. Siekmann, W. Wahlster (Hrg.); Lecture Notes in Computer Science, 6355 (2010), ISBN: 978-3-642-17510-7; S. 387 - 404.

R. Pichler, St. Rümmele, S. Woltran:
"Multicut Algorithms via Tree Decompositions";
Vortrag: 7#{th}^Int. Conference on Algorithms and Complexity - CIAC 2010, Rome, Italy; 26.05.2010 - 28.05.2010; in: "Algorithms and Complexity", T. Calamoneri, J. Diaz (Hrg.); LNCS, Springer, 6078 (2010), ISBN: 978-3-642-13072-4; S. 167 - 179.

R. Pichler, V. Savenkov, S. Skritek, H. Truong:
"Uncertain Databases in Collaborative Data Management";
Vortrag: The Fourth International VLDB Workshop on Management of Uncertain Data, Singapore, Singapur; 13.09.2010 - 17.09.2010; in: "CTIT Workshop Proceedings Series", A. De Keijzer, M. Van Keulen (Hrg.); CTIT, Centre for Telematics and Information Technology, (2010), ISSN: 0929-0672; S. 129 - 143.

R. Pichler, S. Woltran:
"The Complexity of Handling Minimal Solutions in Logic-Based Abduction";
Vortrag: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 16.08.2010 - 20.08.2010; in: "Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence", H. Coelho, R. Studer, M. Woolridge (Hrg.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; S. 895 - 900.

E. Sallinger, R. Pichler, V. Savenkov:
"Schema Mapping Optimization in the Presence of Target Constraints";
Poster: Junior Scientist Conference 2010, Vienna; 07.04.2010 - 09.04.2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (Hrg.); (2010), ISBN: 978-3-200-01797-9; S. 309 - 310.

S. Skritek, R. Pichler:
"Implementing a Peer Database Management System";
Poster: Junior Scientist Conference 2010, Vienna; 07.04.2010 - 09.04.2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (Hrg.); (2010), ISBN: 978-3-200-01797-9; S. 299 - 300.

M. Widl, N. Musliu:
"An improved memetic algorithm for break scheduling";
Vortrag: HM 2010, Vienna; 01.10.2010 - 02.10.2010; in: "Proceddings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), S. 133 - 147.

S. Woltran:
"Strong Equivalence in Argumentation";
Vortrag: CLIMA XI - 11th International Workshop on Computational Logis in Multi-Agent Systems, Lisbon, Portugal (eingeladen); 16.08.2010 - 17.08.2010; in: "Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA", J. Dix, J. Leite, G. Governatori, W. Jamroga (Hrg.); Lecture Notes/ Springer, 6245 (2010), ISBN: 978-3-642-14976-4; S. 14.


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


St. Rümmele:
"Efficient Algorithms for Nonmonotonic Reasoning Using Treewidth";
Poster: KR 2010 Doctoral Consortium, Toronto, Canada; 09.05.2010 - 13.05.2010.

V. Savenkov:
"Algorithms for computing the core of universal solutions";
Vortrag: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 07.11.2010 - 12.11.2010.

S. Skritek:
"Theory of Peer Data Management";
Vortrag: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 07.11.2010 - 12.11.2010.

S. Woltran:
"Computational Aspects of Abstract Argumentation";
Vortrag: Helsinki Graduate School in Computer Science and Engineering, Helsinki (eingeladen); 15.09.2010 - 16.09.2010.

S. Woltran:
"Deciding Equivalence between Extended Datalog Programs. A Brief Survey";
Vortrag: Datalog 2.0 Workshop, Oxford (eingeladen); 15.03.2010 - 19.03.2010.


Dissertationen (eigene und begutachtete)


M. Jakl:
"Fixed parameter algorithms for answer set programming";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, S. Woltran; Institut für Informationssysteme, 2010; Rigorosum: 29.06.2010.

W. Schafhauser:
"TEMPLE - a domain specific language for modeling and solving real-life staff scheduling problems";
Betreuer/in(nen), Begutachter/in(nen): N. Musliu, J. Gärtner; Institut für Informationssysteme, 2010; Rigorosum: 10.11.2010.


Diplom- und Master-Arbeiten (eigene und betreute)


M. Lackner:
"Complexity results and algorithms for Multicut on graphs of bounded clique-width";
Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, 2010; Abschlussprüfung: 30.09.2010.

E. Sallinger:
"Optimizing schema mappings with relaxed notions of equivalence";
Betreuer/in(nen): R. Pichler, V. Savenkov; Institut für Informationssysteme, 2010; Abschlussprüfung: 28.01.2010.

M. Widl:
"Memetic algorithms for break scheduling";
Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2010; Abschlussprüfung: 30.04.2010.