Skip to Content

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

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

Tools: Drucken

Michael Fink - Research

General research interests are:

  • Logic for Knowledge Rrepresentation and AI
  • Logic Programming and Nonmonotonic Reasoning
  • Computational Logic and Complexity
  • Information Integration and Databases
  • Intelligent Agents
  • Action Languages and Reasoning about Actions
  • Quantum Logic and Computational Complexity (idle)

Besides other project activities (see below), I am the principal investigator of a project on Inconsistency Management for Knowledge-Integration Systems. This project is funded by the Vienna Science and Technology Fund (WWTF) within the Information and Communication Technology (ICT) Call 2008.

At the 24th International Conference on Logic Programming (ICLP 2008) my work on Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There has been awarded the best paper award.

The topic of my PhD thesis about "Declarative Logic-Programming Components for Information Agents" emerged from work within our project on Knowledge-Based Agents for Advanced Information Access, including the research of advanced methods for knowledge representation and reasoning using declarative logic programming, the development of strategies to deal with incomplete and inconsistent information, and the investigation of techniques for preference handling. For this work I have been awarded the Heinz Zemanek Award 2004 by the Austrian Computer Society.

I am a member of the Association for the Advancement of Artificial Intelligence (AAAI) and the Austrian Society for Artificial Intelligence (in German).

Projects

We are always looking for students joining our projects for a practical work or a diploma thesis. In case of interest, just contact me for details.

Publications

Some of my publications are registered at the DBLP Bibliography Server.
Another partial list of publications and talks (since 2002; not always up to date) is dynamically generated from the Publication Database of the Faculty of Informatics at the Vienna University of Technology.

For a complete (but also not always up to date) list, see (.ps.gz), (.pdf), or browse the remainder of this page.

Edited Books and Volumes

  • Michael Fink, Hans Tompits, and Stefan Woltran, editors.
    Proceedings of the 20th Workshop on Logic Programming (WLP 2006)
    Vienna, Austria, 2006.
    Technical Report 1843-06-02, Vienna University of Technology, 2006.
    (Online Proceedings)

Books and Collections

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Declarative Update Policies for Nonmonotonic Knowledge Bases
    Logics for Emerging Applications of Databases,
    J. Chomicki, R. van der Meyden, and G. Saake (eds.), pp. 85-129, Springer, 2003.
    (.ps.gz)

Journal Articles

  • Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo.
    Repair Localization for Query Answering from Inconsistent Databases
    ACM Transactions on Database Systems (TODS), 33(2):10, 2008.
    (.pdf)

  • Thomas Eiter, Wolfgang Faber, Michael Fink, and Stefan Woltran.
    Complexity Results for Answer Set Programming with Bounded Predicate Arities
    Annals of Mathematics and Artificial Intelligence (AMAI), 51(2-4):123-165, 2007.
    (.pdf)

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Comparing action descriptions based on semantic preferences
    Annals of Mathematics and Artificial Intelligence (AMAI), 50(3-4):273-304, 2007.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Hans Tompits.
    A Knowledge-Based Approach for Selecting Information Sources
    Theory and Practice of Logic Programming (TPLP), 7(3):249-300, 2007.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Stefan Woltran.
    Semantical Characterizations and Complexity of Equivalences
    in Answer Set Programming
    ACM Transactions on Computational Logic (TOCL), 8(3), 2007.
    (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Reasoning about Evolving Nonmonotonic Knowledge Bases
    ACM Transactions on Computational Logic (TOCL), 6(2):389-440, 2005.
    (.pdf)

  • Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, and Yingqian Zhang.
    Monitoring Agents using Declarative Planning
    Fundamenta Informaticae, 57(2-4):345-370, 2003.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Using Methods of Declarative Logic Programming for Intelligent Information Agents
    Theory and Practice of Logic Programming(TPLP), 2(6):645-719, 2002.
    (abstract+paper)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    On Properties of Update Sequences Based on Causal Rejection
    Theory and Practice of Logic Programming (TPLP), 2(6):721-777, 2002.
    (abstract+paper)

Articles in Conferences, Workshops, and Symposia

2009:

  • Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Modular Nonmonotonic Logic Programming Revisited
    In Proceedings 25th International Conference on Logic Programming
    (ICLP 2009), to appear, Springer, 2009.
    (.pdf)

  • Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs
    In Proceedings 10th International Conference on Logic Programming
    and Nonmonotonic Reasoning (LPNMR 2009), to appear, Springer, 2009.
    (.pdf)

  • Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni,
    and Thomas Krennwallner.
    Combining Nonmonotonic Knowledge Bases with External Sources
    In Proceedings 7th International Symposium on Frontiers of Combining Systems
    (FroCoS 2009), to appear, Springer, 2009.
    (.pdf)

  • Thomas Eiter, Esra Erdem, Michael Fink, and Halit Erdoğan.
    Finding Similar or Diverse Solutions in Answer Set Programming
    In Proceedings 25th International Conference on Logic Programming
    (ICLP 2009), to appear, Springer, 2009.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Decomposition of Declarative Knowledge Bases with External Functions
    In Proceedings of the 21st International Joint Conference on Artificial
    Intelligence (IJCAI 2009), to appear, AAAI Press, 2009.
    (.pdf)

2008:

  • Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Decomposing HEX-Programs: Preliminary Results
    In Proceedings of the Junior Scientist Conference 2008, pp. 29-30, 2008.

  • Thomas Eiter, Michael Fink, and Ján Senko.
    Error Classification in Action Descriptions: A Heuristic Approach
    In Proceedings 23rd National Conference on Artificial Intelligence
    (AAAI 2008), pp. 905-910, AAAI Press, 2008.
    (.pdf)

  • Michael Fink.
    Equivalences in Answer-Set Programming by Countermodels
    in the Logic of Here-and-There
    In Proceedings 24th International Conference on Logic Programming
    (ICLP 2008), pp. 99-113, Springer LNCS 5366, 2008.
    (.pdf)

2007:

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    Complexity Results for Checking Equivalence of Stratified Logic Programs
    In Proceedings of the 20th International Joint Conference on Artificial
    Intelligence (IJCAI 2007), pp. 330-335, AAAI Press, 2007.
    (.pdf)

  • Michael Fink, Reinhard Pichler, Hans Tompits, and Stefan Woltran.
    Complexity of Rule Redundancy in Non-Ground Answer-Set Programming
    over Finite Domains
    In Proceedings of the 9th International Conference on Logic Programming
    and Nonmonotonic Reasoning (LPNMR 2007), pp. 123-135, Springer LNCS 4483, 2007.
    (.pdf)

2006:

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Comparing action descriptions based on semantic preferences
    In Proceedings of the 10th European Conference on Logics in Artificial
    Intelligence (JELIA 2006), pp. 124-137, Springer, 2006.
    (.pdf)

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Comparing action descriptions based on semantic preferences
    Informal Proceedings of the Multidisciplinary Workshop on Advances in
    Preference Handling, ECAI 2006, pp. 15-22, Università di Trento, 2006.
    (.pdf)

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Resolving conflicts in action descriptions
    In Proceedings of the 17th European Conference on Artificial Intelligence
    (ECAI 2006), pp. 367-371, IOS Press, 2006.
    (.pdf)

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Resolving conflicts in action descriptions
    In Proceedings of the 11th International Workshop on Nonmonotonic
    Reasoning (NMR 2006), pp. 353-360, TR IfI-06-04, Institut für Informatik,
    TU Clausthal, 2006.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Ján Senko.
    A tool for answering queries on action descriptions
    In Proceedings of the 10th European Conference on Logics in Artificial
    Intelligence (JELIA 2006), pp. 473-476, Springer, 2006.
    (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, and Stefan Woltran.
    Replacements in non-ground answer-set programming
    In Proceedings of the 10th International Conference on Principles of Knowledge
    Representation and Reasoning (KR 2006), pp. 340-351, AAAI Press, 2006.
    (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, and Stefan Woltran.
    Replacements in non-ground answer-set programming
    In Proceedings of the 20th Workshop on Logic Programming (WLP 2006),
    pp. 145-153, TU Wien, Inst. f. Informationssysteme, TR 1843-06-02, 2006.
    (.pdf)

2005:

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Updating action domain descriptions
    In Proceedings of the 19th International Joint Conference on Artificial
    Intelligence (IJCAI 2005), pp. 418-423, Professional Book Center, 2005.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Ján Senko.
    Kmonitor - a tool for monitoring plan execution in action theories
    In Proceedings of the 8th International Conference on Logic Programming and
    Nonmonotonic Reasoning (LPNMR 2005), pp. 416-421, Springer LNCS 3662, 2005.
    (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    Strong and uniform equivalence in answer-set programming:
    Characterizations and complexity results for the non-ground case
    In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005),
    pp. 695-700, AAAI Press, 2005.
    (.pdf)

  • Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob,
    Gianluigi Greco, Giovambattista Ianni, Edyta Kalka, Domenico Lembo,
    Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati,
    Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina.
    Data integration: a challenging asp application
    In Proceedings of the 8th International Conference on Logic Programming and
    Nonmonotonic Reasoning (LPNMR 2005), pp. 379-383, Springer LNCS 3662, 2005.
    (.pdf)

  • Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob,
    Gianluigi Greco, Giovambattista Ianni, Edyta Kalka, Domenico Lembo,
    Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati,
    Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina.
    Boosting information integration: The INFOMIX system
    In Proceedings of the 13th Italian Somposium on Databases (SEBD 2005), pp. 55-66,
    Aracne Editrice s.r.l, 2005.

  • Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob,
    Gianluigi Greco, Giovambattista Ianni, Edyta Kalka, Domenico Lembo,
    Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati,
    Marco Ruzzi, Witold Staniszkis, and Giorgio Terracina.
    The INFOMIX system for advanced integration of incomplete and inconsistent data
    In Proceedings of the ACM SIGMOD/PODS 2005 Conference, pp. 915-917, ACM, 2005.
    (.pdf)

2004:

  • Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran.
    Complexity of Model Checking and Bounded Predicate Arities for Non-ground
    Answer Set Programming
    In Proceedings of the 9th International Conference on Principles of Knowledge
    Representation and Reasoning (KR 2004), pp. 377-387, Morgan Kaufmann, 2004.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    On Eliminating Disjunctions in Stable Logic Programming
    In Proceedings of the 9th International Conference on Principles of Knowledge
    Representation and Reasoning (KR 2004), pp. 447-457, Morgan Kaufmann, 2004.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    Simplifying Logic Programs under Uniform and Strong Equivalence
    In Proceedings of the 7th International Conference on Logic Programming and
    Nonmonotonic Reasoning (LPNMR 2004), pp. 87-99, Springer LNCS, 2004.
    (.ps.gz), (.pdf)

2003:

  • Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, and Yingqian Zhang.
    Monitoring Agents using Declarative Planning
    In Proceedings of the 26th German Conference on Artificial Intelligence (KI 2003),
    pp. 646-660, Springer LNCS, 2003.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran.
    Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground
    Answer Set Programming
    In Proceedings ASP03 - Answer Set Programming: Advances in Theory and
    Implementation, pp. 69-83, Messina, Italy, 2003.
    (.ps.gz), (.pdf)

  • Thomas Eiter and Michael Fink.
    Uniform Equivalence of Logic Programs under the Stable Model Semantics
    In Proceedings of the 19th International Conference on Logic Programming (ICLP 2003),
    pp. 224-238, Springer LNCS, 2003.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo.
    Efficient Evaluation of Logic Programs for Querying Data Integration Systems
    In Proceedings of the 19th International Conference on Logic Programming (ICLP 2003),
    pp. 163-177, Springer LNCS, 2003.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    Eliminating Disjunction from Propositional Logic Programs under Stable Model
    Preservation
    In Proceedings ASP03 - Answer Set Programming: Advances in Theory and
    Implementation, pp. 151-165, Messina, Italy, 2003.
    (.ps.gz), (.pdf)

2002:

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    A Generic Approach for Knowledge-Based Information Site Selection
    In Proceedings of the 8th International Conference on Principles of Knowledge
    Representation and Reasoning (KR 2002), pp. 459-469, Morgan Kaufmann, 2002.
    (.ps.gz), (.pdf)

2001:

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    A Framework for Declarative Update Specifications in Logic Programs
    In Proceedings of the 17th International Joint Conference on
    Artificial Intelligence (IJCAI 2001), pp. 649-654, Morgan Kaufmann, 2001.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    An Update Front-End for Extended Logic Programs
    In Proceedings of the 6th International Conference on Logic Programming and
    Nonmonotonic Reasoning (LPNMR 2001), pp. 397-401, Springer LNAI 2173, 2001.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Declarative Knowledge Updates through Agents
    In Proceedings of the AISB´01 Symposion on Adaptive Agents and
    Multi-Agent Systems, pp. 79-84, 2001.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Specifying Update Policies for Nonmonotonic Knowledge Bases
    In Proceedings of the 5th Dutch German Workshop on Nonmonotonic
    Reasoning Techniques and their Applications (DGNMR 2001), pp. 54-63, 2001.
    (.ps.gz), (.pdf)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Reasoning about Evolving Nonmonotonic Knowledge Bases
    In Proceedings of the 8th International Conference on Logic for Programming, Artificial
    Intelligence and Reasoning (LPAR 2001), pp. 407-421, Springer LNAI 2250, 2001.
    (.ps.gz), (.pdf)

2000:

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Considerations on Updates of Logic Programs
    In Proceedings of the 7th European Workshop on Logics in Artificial
    Intelligence (JELIA), pp. 2-20, Springer LNAI 1919, 2000.
    (.ps.gz), (.pdf)

1999:

Academic Writings

  • Michael Fink.
    Declarative Logic-Programming Components for Information Agents
    PhD thesis, Vienna University of Technology, 2002.
    (.ps.gz), (.pdf)

Technical Reports

2008:

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Updating Action Domain Descriptions
    Technical Report 1843-08-13, Vienna University of Technology, 2008.
    (.pdf)

2007:

  • Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo.
    Repair Localization for Query Answering from Inconsistent Databases
    Technical Report 1843-07-01, Vienna University of Technology, 2007.
    (.pdf)

2006:

  • Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko.
    Comparing action descriptions based on semantic preferences
    Technical Report 1843-06-06, Vienna University of Technology, 2006.
    (.pdf)

2005:

  • Thomas Eiter, Michael Fink, and Hans Tompits.
    Test and Comparison Results
    for: European Commission, IST 2001-33570 (INFOMIX), D8.5, 2005.

  • Thomas Eiter, Michael Fink, and Hans Tompits.
    Self-assessment Report for Years 3+4
    for: European Commission, IST 2001-33570 (INFOMIX), D8.4, 2005.

  • Alexej Smetannikov, Evgeniy Soloviev, Thomas Eiter, Wolfgang Faber, and
    Michael Fink.
    Data Cleaning Tasks for the INFOMIX Demo Scenario
    for: European Commission, IST 2001-33570 (INFOMIX), D7.2, 2005.

  • Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo.
    Optimization methods for logic-based query answering from inconsistent
    data integration systems
    Technical Report 1843-05-05, Vienna University of Technology, 2005.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Stefan Woltran.
    Semantical characterizations and complexity of equivalences in
    answer set programming
    Technical Report 1843-05-01, Vienna University of Technology, 2005.
    (.pdf)

2004:

  • Thomas Eiter, Wolfgang Faber, Michael Fink, Gianluigi Greco, Domenico Lembo,
    and Hans Tompits.
    Methods and Techniques for Query Optimization
    for: European Commission, IST 2001-33570 (INFOMIX), D5.3, 2004.

2003:

  • Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, and Yingqian Zhang.
    Monitoring Agents using Declarative Planning
    Technical Report 1843-03-10, Vienna University of Technology, 2003.
    (.ps.gz)

  • Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran.
    Complexity of Model Checking and Bounded Predicate Arities for Non-ground
    Answer Set Programming
    Technical Report 1843-03-11, Vienna University of Technology, 2003.
    (.ps.gz)

  • Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran, and Lilianna Zalewska.
    Methods for data acquisition and transformation
    for: European Commission, IST 2001-33570 (INFOMIX), D6.2, 2003.

  • Thomas Eiter and Michael Fink.
    Uniform Equivalence of Logic Programs under the Stable Model Semantics
    Technical Report 1843-03-08, Vienna University of Technology, 2003.
    (.ps.gz)

  • Thomas Eiter, Michael Fink, and Hans Tompits.
    A Knowledge-Based Approach for Selecting Information Sources
    Technical Report 1843-03-14, Vienna University of Technology, 2003.
    (.ps.gz)

  • Thomas Eiter, Michael Fink, and Hans Tompits.
    Self-assessment report for year 1
    for: European Commission, IST 2001-33570 (INFOMIX), D8.2, 2003.

  • Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran.
    On Eliminating Disjunctions in Stable Logic Programming
    Technical Report 1843-03-12, Vienna University of Technology, 2003.
    (.ps.gz)

2002:

  • Thomas Eiter, Wolfgang Faber, Michael Fink, and Daniel Kurushin.
    Review of Techniques and Systems for Acquisition and Transformation of
    Heterogenous Data
    for: European Commission, IST 2001-33570 (INFOMIX), D1.3, 2002.

  • Thomas Eiter and Michael Fink.
    Self-assessment criteria
    for: European Commission, IST 2001-33570 (INFOMIX), D8.1, 2002.

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Declarative Update Policies for Nonmonotonic Knowledge Bases
    Technical Report 1843-02-07, Vienna University of Technology, 2002.
    (.ps.gz)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Reasoning about Evolving Nonmonotonic Knowledge Bases
    Technical Report 1843-02-11, Vienna University of Technology, 2002.
    (.ps.gz)

2000:

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    On Updates of Logic Programs: Semantics and Properties
    Technical Report 1843-00-08, Vienna University of Technology, 2000.
    (.ps.gz)

  • Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits.
    Using Methods of Declarative Logic Programming for Intelligent InformationAgents
    Technical Report 1843-00-05, Vienna University of Technology, 2000.
    (.ps.gz)

Miscellaneous

  • Thomas Eiter, Michael Fink, Roman Schindlauer, and Hans Tompits.
    Answer Set Programming for Intelligent Web Services
    ÖGAI Journal, 22(2):17-22, 2003.
    (.ps.gz)

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.