Michael Fink - Publikationen bis einshließlich 2010

2010:

• Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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
  und 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 und 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 und 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 und 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 und 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)
  
  

2009:

• Minh Dao-Tran, Thomas Eiter, Michael Fink und 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 und 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
  und 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 und 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 und 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 und Thomas Krennwallner.
  Decomposing HEX-Programs: Preliminary Results
  In Proceedings of the Junior Scientist Conference 2008, pp. 29-30, 2008.
  
  
• Thomas Eiter, Michael Fink und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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 und 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:

• Uwe Egly, Michael Fink, Axel Polleres und Hans Tompits.
  A Web-Based Tutoring Tool for Calculating Default Logic Extensions
  In Proceedings of the World Conference on the WWW and Internet (WEBNET´99),
  1999. AACE.
  (.ps.gz), (.pdf)
  
  

Akademische Arbeiten

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

Forschungsberichte