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.