Books and Book Editorships
A. Mileo, M. Fink (ed.):
"Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011";
CEUR-WS.org, urn:nbn:de:0074-738-1, 2011, ISSN: 1613-0073; 53 pages.
More information
M. Fink, H. Tompits, S. Woltran (ed.):
"Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24";
TU Wien, Vienna, Austria, 2006, 210 pages.
Publications in Scientific Journals
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Theory and Practice of Logic Programming, FirstView (2011), 57 pages.
M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Theory and Practice of Logic Programming, 11 (2011), 2-3; 171 - 202.
More information
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating action domain descriptions";
Artificial Intelligence, 174 (2010), 15; 1172 - 1221.
More information
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
ACM Transactions on Database Systems, 33 (2008), 2; 10:01 - 10:51.
T. Eiter, W. Faber, M. Fink, S. Woltran:
"Complexity results for answer set programming with bounded predicate arities and implications";
Annals of Mathematics and Artificial Intelligence (invited), 51 (2007), 2-4; 123 - 165.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions based on Semantic Preferences";
Annals of Mathematics and Artificial Intelligence (invited), 50 (2007), 3-4; 273 - 304.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
ACM Transactions on Computational Logic, 8 (2007), 3; 1 - 53.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
Theory and Practice of Logic Programming, 7 (2007), 3; 249 - 300.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
Fundamenta Informaticae, 57 (2003), 2-4; 345 - 370.
T. Eiter, M. Fink, R. Schindlauer, H. Tompits:
"Answer Set Programming for Intelligent Web Services";
ÖGAI Journal, 22 (2003), 2; 17 - 22.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent Information Agents";
Theory and Practice of Logic Programming, 2 (2002), 6; 645 - 710.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Properties of Update Sequences Based on Causal Rejection";
Theory and Practice of Logic Programming, 2 (2002), 6; 711 - 767.
More information
Contributions to Books
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
in: "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond", M. Balduccini, T. Son (ed.); Springer-Verlag, Heidelberg, Lecture Notes in Computer Science vol. 6565, 2011, (invited), ISBN: 978-3-642-20831-7, 233 - 258.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Dynamic Distributed Nonmontonic Multi-Context Systems";
in: "Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary", G. Brewka, V. Marek, M. Truszczynski (ed.); College Publications, London, United Kingdom, 2011, (invited), ISBN: 978-1-84890-042-4.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
" Declarative Update Policies for Nonmonotonic Knowledge Bases";
in: "Logics for Emerging Applications of Databases", J. Chomicki et al. (ed.); Springer, 2003, (invited), ISBN: 3-540-00705-9, 85 - 129.
Contributions to Proceedings
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
in: "Proceedings of the 26th Annual German Conference on Artificial Intelligence (KI 2003)", Springer, 2003, ISBN: 3-540-20059-2, 646 - 660.
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings", C. Palamidessi (ed.); Springer, 2003, ISBN: 3-540-20642-6, 224 - 238.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Efficient Evaluation of Logic Programs for Querying Data Integration Systems";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings", C. Palamidessi (ed.); Springer, 2003, ISBN: 3-540-20642-6, 163 - 177.
Talks and Poster Presentations (with Proceedings-Entry)
M. Fink:
"Recent Advancements in Nonmonotonic Multi-Context Systems";
Keynote Lecture: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria (invited); 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", TU Wien, (2011), Paper ID 2, 2 pages.
More information
M. Fink, L. Ghionna, A. Weinzierl:
"Relational Information Exchange and Aggregation in Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), ISBN: 978-3-642-20895-9; 120 - 133.
More information
G. Brewka, T. Eiter, M. Fink, A. Weinzierl:
"Managed Multi-Context Systems";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 786 - 791.
More information
T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Towards a Policy Language for Managing Inconsistency in Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications", A. Mileo, M. Fink (ed.); CEUR workshop proceedings, 738 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Model Streaming for Distributed Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications", A. Mileo, M. Fink (ed.); CEUR Workshop Proceedings, Vancouver, Canada (2011), ISSN: 1613-0073; Paper ID 4, 12 pages.
More information
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, 6645 (2011), ISSN: 0302-9743; 107 - 119.
More information
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106.
More information
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning", J. Delgrande, W. Faber (ed.); Springer, (2011), 26 - 39.
More information
S. Basol, O. Erdem, M. Fink, G. Ianni:
"HEX Programs with Action Atoms";
Talk: International Conference on Logic Programming (ICLP), Edinburgh, Scotland; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK", M. Hermenegildo, T. Schaub (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs vol. 7 (2010), ISBN: 978-3-939897-17-0; 24 - 33.
More information
M. Fink, D. Pearce:
"A Logical Semantics for Description Logic Programs";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "Logics in Artificial Intelligence - Proceedings12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010", T. Janhunen, I. Niemelä (ed.); Springer, Lecture Notes in Computer Science vol. 6341 (2010), ISBN: 978-3-642-15674-8; 156 - 168.
More information
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), ISBN: 978-1-57735-452-9; 486 - 496.
More information
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 303 - 304.
More information
T. Eiter, M. Fink, A. Weinzierl:
"Preference-Based Inconsistency Assessment in Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 143 - 155.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"First-Order Encodings of Modular Nonmonotonic Logic Programs";
Talk: Datalog 2.0 Workshop, Oxford, UK; 03-16-2010 - 03-19-2010; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010", O. de Moor, G. Gottlob, T. Furche, A. Sellers (ed.); Springer, 6702 (2011), ISBN: 978-3-642-24205-2; 59 - 77.
More information
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky; 10-22-2010 - 10-25-2010; in: "NonMon@30 - Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages.
More information
M. Bögl, T. Eiter, M. Fink, P. Schüller:
"The MCS-IE System for Explaining Inconsistency in Multi-Context Systems";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finnland; 09-13-2010 - 09-15-2010; in: "Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Lecture Notes in Artificial Intelligence/Springer, 6341 (2010), ISSN: 0302-9743; 356 - 359.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 352 - 355.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 24 - 37.
More information
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 315 - 316.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 05-14-2010 - 05-16-2010; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (ed.); Toronto (2010), 7 pages.
More information
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)", AAAI Press, Menlo Park, California (2010), ISBN: 978-1-57735-451-2; 329 - 339.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), 60 - 70.
More information
M. Fink, D. Pearce:
"Some Equivalence Concepts for Hybrid Theories";
Talk: Conference of the Spanish Organization for Artificial Intelligence (CAEPIA), Sevilla, ESP; 11-09-2009 - 11-13-2009; in: "Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009)", Spanish Association for Artifical Intelligence, (2009), 327 - 336.
More information
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar or Diverse Solutions in Answer Set Programming";
Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 978-3-642-02845-8; 342 - 356.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 09-14-2009; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009", J. Delgrande, A. Mileo (ed.); CEUR workshop proceedings, Vol-550 (2009), ISSN: 1613-0073; Paper ID 2, 4 pages.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 09-14-2009 - 09-18-2009; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 87 - 100.
More information
T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 09-16-2009 - 09-18-2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (ed.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; 18 - 42.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Modular Nonmonotonic Logic Programming Revisited";
Talk: 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A.; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 145 - 159.
More information
T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 07-11-2009 - 07-17-2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), 752 - 758.
More information
T. Eiter, M. Fink, T. Krennwallner:
"Decomposing HEX-Programs: Preliminary Results";
Poster: Junior Scientist Conference 2008, Wien; 11-16-2008 - 11-18-2008; in: "Proceedings of the Junior Scientist Conference 2008", H. Kaiser, R. Kirner (ed.); (2008), ISBN: 978-3-200-01612-5; 29 - 30.
More information
M. Fink:
"Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Talk: International Conference on Logic Programming (ICLP), Udine, Italy; 12-09-2008 - 12-13-2008; in: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings", M. Garcia de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISBN: 978-3-540-89981-5; 99 - 113.
T. Eiter, M. Fink, J. Senko:
"Error Classification in Action Descriptions: A Heuristic Approach.";
Talk: National Conference on Artificial Intelligence (AAAI), Chicago, Illinois, USA; 07-13-2008 - 07-17-2008; in: "Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 905 - 910.
M. Fink, R. Pichler, H. Tompits, S. Woltran:
"Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Complexity Results for Checking Equivalence of Stratified Logic Programs";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)", M. Veloso (ed.); AAAI Press, (2007), ISBN: 978-1-57735-298-3; 330 - 335.
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 06-02-2006 - 06-05-2006; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 340 - 351.
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Workshop on Logic Programming (WLP), Vienna, Austira; 02-22-2006 - 02-24-2006; in: "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24", M. Fink, H. Tompits, S. Woltran (ed.); TU Wien, Institut fuer Informationssysteme, INFSYS Research Report, 1843-06-02 (2006), Paper ID 24, 9 pages.
T. Eiter, M. Fink, J. Senko:
"A Tool for Answering Queries on Action Descriptions";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 473 - 476.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 124 - 137.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, Italy; 08-28-2006 - 08-29-2006; in: "Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006", U. Junker, W. Kiessling (ed.); (2006), 15 - 22.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: European Conference on Artificial Intelligence, Riva del Garda, Italy; 08-29-2006 - 09-01-2006; in: "Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI'2006, Riva del Garda, Italy, August 29 -- September 1, 2006", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 367 - 371.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); TU Clausthal, Institut fuer Informatik, TR IfI-06-04, Germany (2006), ISSN: 1860-8477; 353 - 360.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Data Integration: a Challenging ASP Application";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 379 - 383.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Boosting Information Integration: The INFOMIX System";
Talk: Italian Symposium on Databases (SEBD), Brixen, Italy; 06-19-2005 - 06-22-2005; in: "Proceedings of the 13th Italian Symposium on Databases (SEBD 2005)", A. Cali et al. (ed.); Aracne Editrice s.r.l, Roma, (2005), ISBN: 88-548-0122-4; 55 - 66.
T. Eiter, M. Fink, J. Senko:
"KMonitor -- A Tool for Monitoring Plan Execution in Action Theories";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 416 - 421.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", L. Pack Kaelbling, A. Saffiotti (ed.); Professional Book Center, (2005), ISBN: 0-938075-93-4; 418 - 423.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data";
Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Bltimore, Maryland, USA; 06-13-2005 - 06-15-2005; in: "Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2005 Conference)", ACM, (2005), ISBN: 1-59593-060-4; 915 - 917.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case";
Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,", AAAI Press / The MIT Press 2005, (2005), ISBN: 1-57735-236-x; 695 - 700.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Knowledge Updates through Agents";
Talk: AISB Symposion on Adaptive Agents and Multi-Agent Systems, York, UK; 03-21-2001 - 03-24-2001; in: "Proceedings of the AISB´01 Symposion on Adaptive Agents and Multi-Agent Systems", (2001), ISBN: 1-90295-617-0; 79 - 84.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Specifying Update Policies for Nonmonotonic Knowledge Bases";
Talk: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR), Potsdam, Germany; 04-04-2001 - 04-06-2001; in: "Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001)", G. Brewka, C. Witteween, T. Schaub (ed.); (2001), 54 - 63.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Havana, Cuba; 12-03-2001 - 12-07-2001; in: "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)", R. Nieuwenhuis, A. Voronkov (ed.); Springer, LNAI 2250 (2001), ISBN: 3-540-42957-3; 407 - 421.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"An Update Front-End for Extended Logic Programs";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria; 09-17-2001 - 09-19-2001; in: "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)", T. Eiter, W. Faber, M. Truszczynski (ed.); Springer, LNAI 2173 (2001), ISBN: 3-540-42593-4; 397 - 401.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Framework for Declarative Update Specifications in Logic Programs";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, USA; 08-04-2001 - 08-10-2001; in: "Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)", B. Nebel (ed.); Morgan Kaufmann, (2001), ISBN: 1-55860-777-3; 649 - 654.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Considerations on Updates of Logic Programs";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Malaga, Spain; 09-29-2000 - 10-02-2000; in: "Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA)", M. Ojeda-Aciego, I.P. de Guzman, G. Brewka, L.M. Pereira (ed.); Springer, LNAI 1919 (2000), ISBN: 3-540-41131-3; 2 - 20.
U. Egly, M. Fink, A. Polleres, H. Tompits:
"A Web-Based Tutoring Tool for Calculating Default Logic Extensions";
Talk: World Conference on the WWW and Internet (WEBNET), Honolulu, Hawaii; 10-24-1999 - 10-30-1999; in: "Proceedings of the World Conference on the WWW and Internet (WEBNET 99)", P. de Bra, J. Leggett (ed.); AACE, 1 (1999), ISBN: 1-880094-36-3; 1251 - 1252.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Simplifying Logic Programs under Uniform and Strong Equivalence";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 01-06-2004 - 01-08-2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923 (2004), ISBN: 3-540-20721-x; 87 - 99.
More information
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 447 - 457.
More information
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; 377 - 387.
More information
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation";
Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 151 - 165.
More information
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 69 - 83.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Generic Approach for Knowledge-Based Information-Site Selection";
Talk: International Conference on Principles of Knowledge Representation and Reasoning (KR), Toulouse, France; 04-22-2002 - 04-27-2002; in: "Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)", D. Fensel, F. Giunchiglia, D. McGuinness, M.-A. Williams (ed.); Morgan Kaufmann, Toulouse, France (2002), ISBN: 1-55860-847-8; 459 - 469.
More information
Talks and Poster Presentations (without Proceedings-Entry)
M. Fink:
"HEX Programs with Action Atoms";
Talk: DIADEM 1.0 Workshop, Vienna, Austria (invited); 10-01-2011 - 10-04-2011.
More information
M. Fink:
"Nonmonotonic Multi-Context Systems: Recent Advancements";
Talk: Sabanci University Istanbul, Istanbul, Turkey (invited); 04-05-2011.
More information
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.
More information
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
More information
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
M. Fink, D. Pearce:
"A Logical Semantics for Description Logic Programs";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
Talk: Symposium on Constructive Mathematics in Computer Science, Lexington, KY, USA (invited); 10-25-2010 - 10-26-2010.
More information
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Talk: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010.
More information
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Talk: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010.
More information
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Poster: IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria (invited); 09-24-2004.
T. Eiter, M. Fink:
"Answer Set Programming for Information Agents";
Talk: Dagstuhl Seminar on Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481), Schloss Dagstuhl, Wadern, Germany; 11-24-2002 - 11-29-2002.
More information
Doctor's Theses (authored and supervised)
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.
Diploma and Master Theses (authored and supervised)
S. Bairakdar:
"Local Optimization for Multi-Context Systems with Constraint Pushing";
Supervisor: T. Eiter, M. Fink, T. Krennwallner; Institut für Informationssysteme, 2011; final examination: 04-13-2011.
More information
J. Moura:
"Towards A Characterization Of Semi-Stable Models In The Logic Of Here-And-There";
Supervisor: T. Eiter, M. Fink; Institut für Informationssysteme, 2009.
C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Supervisor: T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.
More information
Scientific Reports
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Report for CoRR - Computing Research Repository; Report No. arXiv:1108.3260v1, 2011; 58 pages.
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Report for CoRR - Computing Research Repository; Report No. arXiv:1104.3931v1, 2011; 13 pages.
More information
M. Fink, A. El Ghali, A. Chniti, R. Korf, A. Schwichtenberg, F. Lévy, J. Puehrer, T. Eiter:
"D2.6 Consistency Maintenance. Final Report";
Report for ONTORULE project; Report No. D2.6, 2011; 121 pages.
More information
M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for CoRR - Computing Research Repository; Report No. arXiv:1006.3021v1, 2010; 32 pages.
More information
M. Fink:
"On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-09-05, 2009; 36 pages.
More information
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-08-13, 2008; 48 pages.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-07-01; 2007; 55 pages.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-06; 2006; 22 pages.
A. Smetannikov, E. Soloviev, T. Eiter, W. Faber, M. Fink:
"Data Cleaning Tasks for the INFOMIX Demo Scenario";
Report for European Commission, IST 2001-33570 (INFOMIX), S7.2; 2005; 8 pages.
T. Eiter, M. Fink, H. Tompits:
"Test and Comparison Results";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.5; 2005; 42 pages.
T. Eiter, M. Fink, H. Tompits:
"Self-assessment Report for Years 3+4";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.4; 2005; 24 pages.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-05; 2005; 51 pages.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-01; 2005; 58 pages.
More information
T. Eiter, M. Fink, H. Tompits:
"Self-assessment report for year 1";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.2; 2003.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent InformationAgents";
2000.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Updates of Logic Programs: Semantics and Properties";
2000.
T. Eiter, W. Faber, M. Fink, S. Woltran, L. Zalewska:
"Methods for data acquisition and transformation";
Report for European Commission, IST 2001-33570 (INFOMIX), D6.2; 2003.
T. Eiter, M. Fink:
"Self-assessment criteria";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.1; 2002.
T. Eiter, W. Faber, M. Fink, G. Greco, D. Lembo, H. Tompits:
"Methods and Techniques for Query Optimization";
Report for European Commission, IST 2001-33570 (INFOMIX), D5.3; 2004.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
2003.
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
2003.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
2003.
T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming";
2003.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
2003.
T. Eiter, W. Faber, M. Fink, D. Kurushin:
"Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data";
Report for European Commission, IST 2001-33570 (INFOMIX), D1-3.; 2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
2002.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach to Information Site Selection";
2002.
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology! |
