Skip to Content

Fakultät f├╝r Informatik TU Wien KBS Knowledge Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > michael fink > Personal   research   Teaching   Curriculum Vitae  

Tools: Drucken



Books and Book Editorships


M. Fink, M. Homola, A. Mileo (ed.):
"Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)";
Computing Research Repository (CoRR), 2014, 49 pages.

M. Fink, Y. Lierler (ed.):
"Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey";
Computing Research Repository (CoRR), arXiv:1312.7422v1, 2013, 175 pages.

M. Fink, M. Homola, A. Mileo, I. Varzinczak (ed.):
"Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, Spain";
Online Publication, held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2013, 49 pages.

M. Fink, Y. Lierler (ed.):
"Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary";
Computing Research Repository (CoRR), arXiv:1301.2215v1, 2012, 177 pages.

M. Fink, M. Homola, A. Mileo, I. Varzinczak (ed.):
"Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, France";
Online Publication, held at the European Conference on Artificial Intelligence (ECAI), 2012, 66 pages.

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, I. Giovambattista, M. Fink, C. Redl, P. Schüller:
"A Model Building Framework for {ASP} with External Computations";
Theory and Practice of Logic Programming, 16 (2015), 4; 418 - 464.

More information

T. Eiter, M. Fink, D. Stepanova:
"Computing Repairs of Inconsistent DL-Programs over EL Ontologies";
Journal of Artificial Intelligence Research, 56 (2016), 463 - 515.

More information

T. Eiter, M. Fink, D. Stepanova:
"Data repair of inconsistent nonmonotonic description logic programs";
Artificial Intelligence, 239 (2016), 7 - 53.

More information

G. Amendola, T. Eiter, M. Fink, N. Leone, J. Moura:
"Semi-equilibrium models for paracoherent answer set programs";
Artificial Intelligence, 234 (2016), 219 - 271.

More information

M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Evaluation of Nonmonotonic Multi-Context Systems";
Journal of Artificial Intelligence Research, 52 (2015), 543 - 600.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Domain Expansion for ASP-Programs with External Sources";
Journal of Artificial Intelligence Research, 233 (2016), 84 - 121.

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
"A Model Building Framework for Answer Set Programming with External Computations";
Theory and Practice of Logic Programming, 16 (2016), 4; 418 - 464.

More information

P. Cabalar, J. Fandiño, M. Fink:
"Causal Graph Justifications of Logic Programs";
Theory and Practice of Logic Programming, 14 (2014), 4-5; 603 - 618.

More information

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Artificial Intelligence, 216 (2014), 233 - 274.

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Efficient HEX-Program Evaluation based on Unfounded Sets";
Journal of Artificial Intelligence Research, 49 (2014), 269 - 321.

More information

Y. Shen, K. Wang, T. Eiter, M. Fink, C. Redl, T. Krennwallner, J. Deng:
"FLP answer set semantics without circular justifications for general logic programs";
Artificial Intelligence, 213 (2014), 1 - 41.

More information

T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Theory and Practice of Logic Programming, 13 (2013), 3; 303 - 359.

More information

T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104.

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP solving with external sources";
Theory and Practice of Logic Programming, 12 (2012), 4-5; 659 - 679.

More information

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


T. Eiter, M. Fink, A. Weinzierl:
"Preference-Based Diagnosis Selection in Multi-Context Systems";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation", 9060; T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); Springer International Publishing Switzerland, 2015, ISBN: 978-3-319-14726-0, 233 - 248.

T. Eiter, C. Feier, M. Fink:
"Simulating Production Rules Using ACTHEX";
in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz", E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.); Springer, LNCS 7265, 2012, (invited), ISBN: 978-3-642-30742-3, 211 - 228.

More information

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)


H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"LARS: A Logic-based Framework for Analyzing Reasoning over Streams";
Talk: AAAI Conference, Austin, Texas, USA; 01-25-2015 - 01-30-2015; in: "Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.", (2015), 1431 - 1438.

More information

P. Cabalar, J. Fandiño, M. Fink:
"A Complexity Assessment for Queries Involving Sufficient and Necessary Causes";
Talk: 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Funchal, Madeira, Portugal; 09-24-2014 - 09-26-2014; in: "Lecture Notes in Computer Science", E. Fermé, J. Leite (ed.); Springer, Volume 8761 (2014), ISBN: 978-3-319-11557-3; 297 - 310.

More information

H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"Towards Ideal Semantics for Analyzing Stream Reasoning";
Talk: International Workshop on Reactive Concepts in Knowledge Representation 2014, Prague; 08-19-2014; in: "International Workshop on Reactive Concepts in Knowledge Representation 2014", (2014), 17 - 22.

H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"Towards a Logic-Based Framework for Analyzing Stream Reasoning";
Talk: 3rd International Workshop on Ordering and Reasoning (OrdRing 2014), Riva del Garda, Trentino, Italy; 10-20-2014; in: "3rd International Workshop on Ordering and Reasoning", (2014), ISSN: 1613-0073; 11 - 22.

T. Eiter, M. Fink, D. Stepanova:
"Computing Repairs for Inconsistent DL-programs over EL Ontologies";
Talk: 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Funchal, Madeira, Portugal; 09-24-2014 - 09-26-2014; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", E. Fermé, J. Leite (ed.); Springer, 7519 (2014), ISBN: 978-3-319-11557-3; 426 - 441.

More information

T. Eiter, M. Fink, D. Stepanova:
"Towards Practical Deletion Repair of Inconsistent DL-programs";
Talk: 21st European Conference on Artificial Intelligence, Prague, Czech Republic; 08-18-2014 - 08-22-2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence", T. Schaub, G. Friedrich, B. O┤Sullivan (ed.); Frontiers in Artificial Intelligence and Applications, Volume 263 (2014), ISBN: 978-1-61499-418-3; 285 - 290.

More information

T. Eiter, M. Fink, D. Stepanova:
"Towards Practical Deletion Repair of Inconsistent DL-programs";
Talk: 27th International Workshop on Description Logics, Vienna, Austria; 07-17-2014 - 07-20-2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 169 - 180.

More information

T. Eiter, M. Fink, C. Redl, D. Stepanova:
"Exploiting Support Sets for Answer Set Programs with External Evaluations";
Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press, 2 (2014), ISBN: 978-1-57735-661-5; 1041 - 1048.

More information

R. Barilaro, M. Fink, F. Ricca, G. Terracina:
"Towards Query Answering in Relational Multi-Context Systems";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 168 - 173.

C. Antic, T. Eiter, M. Fink:
"HEX Semantics via Approximation Fixpoint Theory";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spanien; 09-15-2013 - 09-19-2013; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); (2013), ISBN: 978-3-642-40563-1; 102 - 115.

More information

T. Eiter, M. Fink, D. Stepanova:
"Inconsistency Management for Description Logic Programs and Beyond";
Talk: RR 2013 - 7th International Conference on web Reasoning and Rule Systems, Mannhein, Germany (invited); 07-27-2013 - 07-29-2013; in: "Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings", (2013), 1 - 3.

More information

T. Eiter, M. Fink, D. Stepanova:
"Data Repair of Inconsistent DL-programs";
Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 08-03-2013 - 08-09-2013; in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", AAAI Press, (2013), ISBN: 978-1-57735-633-2; 869 - 876.

More information

F. Calimeri, M. Fink, S. Germano, G. Ianni, C. Redl, A. Wimmer:
"AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases";
Talk: National Workshop and Prize on Popularize Artificial Intelligence, Turin, Italy; 12-05-2013; in: "Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013", M. Baldoni, F. Chesani, P. Mello, M. Montali (ed.); (2013), ISSN: 1613-0073; 29 - 35.

More information

M. Fink, S. Germano, G. Ianni, C. Redl, P. Schüller:
"ActHEX: Implementing HEX Programs with Action Atoms";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 317 - 322.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"HEX-Programs with Existential Quantification";
Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 09-11-2013 - 09-13-2013; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); Springer, 8439 (2014), 99 - 117.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Grounding HEX-Programs with Expanding Domains";
Talk: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 09-15-2013; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (ed.); Corunna, Spain (2013), 13 pages.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Liberal Safety for Answer Set Programs with External Sources";
Talk: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 07-14-2013 - 07-18-2013; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", M. desJardins, M. Littman (ed.); AAAI Press, Menlo Park (2013), 267 - 275.

More information

D. Le-Phuoc, M. Dao-Tran, M.D. Pham, P. Boncz, T. Eiter, M. Fink:
"Linked Stream Data Processing Engines: Facts and Figures";
Talk: International Semantic Web Conference (ISWC), Boston, MA, USA,; 11-11-2012 - 11-15-2012; in: "The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II", P. Cudre-Mauroux et al. (ed.); Springer, LNCS 7650 (2012), ISBN: 978-3-642-35172-3; 300 - 312.

More information

M. Fink:
"Paraconsistent Hybrid Theories";
Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 391 - 401.

More information

M. Dao-Tran, T. Eiter, M. Fink, G. Weidinger, A. Weinzierl:
"OMiGA: An Open Minded Grounding on-the-fly Answer Set Solver";
Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 09-26-2012 - 09-28-2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), 480 - 483.

More information

T. Eiter, M. Fink, D. Stepanova:
"Semantic Independence in DL-programs";
Talk: International Conference on Web Reasoning and Rule Systems (RR), Vienna, Austria; 09-10-2012 - 09-12-2012; in: "Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings", M. Krötzsch, U. Straccia (ed.); Springer, LNCS 7497 (2012), 58 - 74.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Eliminating Unfounded Set Checking for HEX-Programs";
Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 09-24-2012; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary", M. Fink, Y. Lierler (ed.); CoRR - Computing Research Repository, arXiv:1301.1390v1 (2012), 15 pages.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Exploiting Unfounded Sets for HEX-Program Evaluation";
Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 09-26-2012 - 09-28-2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), ISBN: 978-3-642-33352-1; 160 - 175.

More information

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)


P. Cabalar, J. Fandiño, M. Fink:
"Causal Graph Justifications of Logic Programs";
Talk: 30th International Conference on Logic Programming (ICLP 2014), Vienna, Austria; 07-19-2014 - 07-22-2014.

F. Calimeri, M. Fink, S. Germano, A. Humenberger, G. Ianni, C. Redl, D. Stepanova, A. Tucci:
"AngryHEX: An Angry Birds-playing Agent based on HEX-Programs";
Poster: AngryBirds Competition 2014, Prague, Czech Republic; 08-20-2014 - 08-22-2014.

More information

T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
Keynote Lecture: 29th International Conference on Logic Programming (ICLP 2013), Istanbul (invited); 08-24-2013 - 08-29-2013.

F. Calimeri, M. Fink, S. Germano, G. Ianni, C. Redl, D. Stepanova, A. Wimmer:
"AngryHEX: An Angry Birds-playing Agent based on HEX-Programs";
Poster: AngryBirds Competition 2013, Beijing, China; 08-06-2013 - 08-09-2013.

More information

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";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.


Diploma and Master Theses (authored and supervised)


C. Antic:
"Uniform Approximation-Theoretic Semantics for Logic Programs with External Atoms";
Supervisor: T. Eiter, M. Fink; Institut für Informationssysteme, 2012; final examination: 11-20-2012.

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, M. Fink, D. Stepanova:
"Computing Repairs of Inconsistent DL-programs over EL Ontologies";
Report No. INFSYS RR-1843-15-08, 2015; 54 pages.

More information

T. Eiter, M. Fink, D. Stepanova:
"Data Repair of Inconsistent Nonmonotonic Description Logic Programs";
Report No. INFSYS RR-1843-15-03, 2015; 72 pages.

More information

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
"A Model Building Framework for Answer Set Programming with External Computations";
Report for TU Wien; Report No. INFSYS RR-1843-15-01, 2015; 53 pages.

More information

P. Cabalar, J. Fandiño, M. Fink:
"Causal Graph Justifications of Logic Programs";
Report for CoRR Computing Research Repository; Report No. arXiv:1409.7281, 2014; 42 pages.

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Domain Expansion for ASP-Programs with External Sources";
Report for Institut für Informationssystems; Report No. INFSYS RR-1843-14-02, 2014; 57 pages.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Improving HEX-Program Evaluation based on Unfounded Sets";
Report for Institut für Informationssysteme; Report No. RR-1843-12-08, 2012; 47 pages.

More information

T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages.

T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-09, 2012; 72 pages.

More information

T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-05, 2012; 33 pages.

More information

M. Fink:
"A Paraconsistent Semantics for Hybrid Theories";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-02, 2012.

More information

T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP Solving with External Sources";
Report for CoRR - Computing Research Repository; Report No. arXiv:1210.1649v1, 2012; 19 pages.

More information

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!

email


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.