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 - Publications up to and including 2010

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, Esra Erdem, Michael Fink, and Ján Senko.
    Updating action domain descriptions
    Artificial Intelligence (AIJ), 174(15):1172--1221, 2010.
    (.pdf)

  • 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

2010:

  • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Decomposition of Distributed Nonmonotonic Multi-Context Systems
    In Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010), pp. 24-37, Springer LNCS 6341, 2010.
    (.pdf)

  • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Decomposition of Distributed Nonmonotonic Multi-Context Systems
    In Proceedings of the 13th International Workshop on Nonmonotonic Reasoning (NMR 2010), 2010.
    (.pdf)

  • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
    In Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010), pp. 352-355, Springer LNCS 6341, 2010.
    (.pdf)

  • Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni.
    HEX Programs with Action Atoms
    In ICLP (Technical Communications), volume 7 of LIPIcs, pp. 24-33, 2010.
    (.pdf)

  • Markus Bögl, Thomas Eiter, Michael Fink, and Peter Schüller.
    The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
    In Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010), pp. 356-359, Springer LNCS 6341, 2010.
    (.pdf)

  • Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    Distributed Nonmonotonic Multi-Context Systems
    In Proceedings of the 12th International Conference on Principles of
    Knowledge Representation and Reasoning (KR 2010), pp. 60-70. AAAI Press, 2010.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Joao Moura.
    Paracoherent Answer Set Programming
    In Proceedings of the 12th International Conference on Principles of
    Knowledge Representation and Reasoning (KR 2010), pp. 486-496. AAAI Press, 2010.
    (.pdf)

  • Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl.
    Finding Explanations of Inconsistency in Multi-Context Systems
    In Proceedings of the 12th International Conference on Principles of
    Knowledge Representation and Reasoning (KR 2010), pp. 329-339. AAAI Press, 2010.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Peter Schüller.
    Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
    In NonMon@30 - Thirty Years of Nonmonotonic Reasoning, 2010.
    (.pdf)

  • Thomas Eiter, Michael Fink, and Antonius Weinzierl.
    Preference-Based Inconsistency Assessment in Multi-Context Systems
    In Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010), pp. 143-155, Springer LNCS 6341, 2010.
    (.pdf)

  • Michael Fink and David Pearce.
    A Logical Semantics for Description Logic Programs
    In Proceedings of the 12th European Conference on Logics in
    Artificial Intelligence (JELIA 2010), pp. 156-168, Springer LNCS 6341, 2010.
    (.pdf)

  • Peter Schüller, Thomas Eiter, and Michael Fink.
    Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems
    In Proceedings of the Junior Scientist Conference 2010, pp. 315-316, 2010.

  • Antonius Weinzierl, Thomas Eiter, and Michael Fink.
    Meta-Reasoning in Multi-Context Systems
    In Proceedings of the Junior Scientist Conference 2010, pp. 303-304, 2010.

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), pp. 145-159, Springer LNCS 5649, 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), pp. 87-100, Springer LNCS 5753, 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), pp. 18-42, Springer LNCS 5749, 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), pp. 342-356, Springer LNCS 5649, 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), pp. 752-758, AAAI Press, 2009.
    (.pdf)

  • Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl.
    Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems
    In Proceedings of the 1st International Workshop on Logic-Based Interpretation of
    Context: Modelling and Applications (Log-IC 2009), CEUR-WS.org, 2009.
    (.pdf)

  • Michael Fink and David Pearce.
    Some Equivalence Concepts for Hybrid Theories
    In Proceedings of the 13th Conference of the Spanish Association for
    Artifical Intelligence (CAEPIA'09), pp. 327-336, 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

2010:

  • Michael Fink.
    A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
    Technical Report abs/1006.3021, CoRR - Computing Research Repository, 2010.
    (.pdf)

2009:

  • Michael Fink.
    On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
    Technical Report 1843-09-05, Vienna University of Technology, 2009.
    (.pdf)

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.