A Web-based Tutoring Tool for Calculating Default Logic Extensions. - Uwe Egly; Michael Fink 001; Axel Polleres; Hans Tompits (WebNet, 1999)

Considerations on Updates of Logic Programs. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (JELIA, 2000)

A Framework for Declarative Update Specifications in Logic Programs. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (IJCAI, 2001)

An Update Front-End for Extended Logic Programs. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (LPNMR, 2001)

A Generic Approach for Knowledge-Based Information-Site Selection. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (KR, 2002)

On Properties of Update Sequences Based on Causal Rejection. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (Theory Pract. Log. Program., 2002)

Using Methods of Declarative Logic Programming for Intelligent Information Agents. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (Theory Pract. Log. Program., 2002)

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (Answer Set Programming, 2003)

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. - Thomas Eiter; Michael Fink 001; Hans Tompits; Stefan Woltran (Answer Set Programming, 2003)

Declarative Update Policies for Nonmonotonic Knowledge Bases. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (Logics for Emerging Applications of Databases, 2003)

Uniform Equivalence of Logic Programs under the Stable Model Semantics. - Thomas Eiter; Michael Fink 001 (ICLP, 2003)

Efficient Evaluation of Logic Programs for Querying Data Integration Systems. - Thomas Eiter; Michael Fink 001; Gianluigi Greco; Domenico Lembo (ICLP, 2003)

Monitoring Agents using Declarative Planning. - Jürgen Dix; Thomas Eiter; Michael Fink 001; Axel Polleres; Yingqian Zhang 001 (Fundam. Informaticae, 2003)

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (KR, 2004)

On Eliminating Disjunctions in Stable Logic Programming. - Thomas Eiter; Michael Fink 001; Hans Tompits; Stefan Woltran (KR, 2004)

Simplifying Logic Programs Under Uniform and Strong Equivalence. - Thomas Eiter; Michael Fink 001; Hans Tompits; Stefan Woltran (LPNMR, 2004)

Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. - Thomas Eiter; Michael Fink 001; Hans Tompits; Stefan Woltran (AAAI, 2005)

KMonitor - A Tool for Monitoring Plan Execution in Action Theories. - Thomas Eiter; Michael Fink 001; Ján Senko (LPNMR, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

Boosting Information Integration: The INFOMIX System. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Gianluigi Greco (SEBD, 2005)

The INFOMIX system for advanced integration of incomplete and inconsistent data. - Nicola Leone; Gianluigi Greco; Giovambattista Ianni; Vincenzino Lio; Giorgio Terracina; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Reasoning about evolving nonmonotonic knowledge bases. - Thomas Eiter; Michael Fink 001; Giuliana Sabbatini; Hans Tompits (ACM Trans. Comput. Log., 2005)

Resolving Conflicts in Action Descriptions. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (ECAI, 2006)

A Tool for Answering Queries on Action Descriptions. - Thomas Eiter; Michael Fink 001; Ján Senko (JELIA, 2006)

Replacements in Non-Ground Answer-Set Programming. - Thomas Eiter; Michael Fink 001; Hans Tompits; Patrick Traxler; Stefan Woltran (KR, 2006)

Complexity Results for Checking Equivalence of Stratified Logic Programs. - Thomas Eiter; Michael Fink 001; Hans Tompits; Stefan Woltran (IJCAI, 2007)

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. - Michael Fink 001; Reinhard Pichler; Hans Tompits; Stefan Woltran (LPNMR, 2007)

Comparing action descriptions based on semantic preferences. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (Ann. Math. Artif. Intell., 2007)

Complexity results for answer set programming with bounded predicate arities and implications. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Stefan Woltran (Ann. Math. Artif. Intell., 2007)

Semantical characterizations and complexity of equivalences in answer set programming. - Thomas Eiter; Michael Fink 001; Stefan Woltran (ACM Trans. Comput. Log., 2007)

A knowledge-based approach for selecting information sources. - Thomas Eiter; Michael Fink 001; Hans Tompits (Theory Pract. Log. Program., 2007)

Error Classification in Action Descriptions: A Heuristic Approach. - Thomas Eiter; Michael Fink 001; Ján Senko (AAAI, 2008)

Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. - Michael Fink 001 (ICLP, 2008)

Repair localization for query answering from inconsistent databases. - Thomas Eiter; Michael Fink 001; Gianluigi Greco; Domenico Lembo (ACM Trans. Database Syst., 2008)

Combining Nonmonotonic Knowledge Bases with External Sources. - Thomas Eiter; Gerhard Brewka; Minh Dao-Tran; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner (FroCoS, 2009)

Modular Nonmonotonic Logic Programming Revisited. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (ICLP, 2009)

Finding Similar or Diverse Solutions in Answer Set Programming. - Thomas Eiter; Esra Erdem 001; Halit Erdogan; Michael Fink 001 (ICLP, 2009)

Decomposition of Declarative Knowledge Bases with External Functions. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner (IJCAI, 2009)

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (LPNMR, 2009)

First-Order Encodings for Modular Nonmonotonic Datalog Programs. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (Datalog, 2010)

HEX Programs with Action Atoms. - Selen Basol; Ozan Erdem; Michael Fink 001; Giovambattista Ianni (ICLP (Technical Communications), 2010)

Decomposition of Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)

The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. - Markus Bögl; Thomas Eiter; Michael Fink 001; Peter Schüller (JELIA, 2010)

Preference-Based Inconsistency Assessment in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Antonius Weinzierl (JELIA, 2010)

A Logical Semantics for Description Logic Programs. - Michael Fink 001; David Pearce 001 (JELIA, 2010)

Distributed Nonmonotonic Multi-Context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (KR, 2010)

Paracoherent Answer Set Programming. - Thomas Eiter; Michael Fink 001; João Moura 001 (KR, 2010)

Updating action domain descriptions. - Thomas Eiter; Esra Erdem 001; Michael Fink 001; Ján Senko (Artif. Intell., 2010)

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. - Gerhard Brewka; Thomas Eiter; Michael Fink 001 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Managed Multi-Context Systems. - Gerhard Brewka; Thomas Eiter; Michael Fink 001; Antonius Weinzierl (IJCAI, 2011)

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Peter Schüller (INAP/WLP, 2011)

Model Streaming for Distributed Multi-Context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (Log-IC@LPNMR, 2011)

Symmetry Breaking for Distributed Multi-Context Systems. - Christian Drescher; Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Toby Walsh (LPNMR, 2011)

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Peter Schüller (LPNMR, 2011)

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Peter Schüller (Log-IC@LPNMR, 2011)

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Peter Schüller (LPNMR, 2011)

Relational Information Exchange and Aggregation in Multi-Context Systems. - Michael Fink 001; Lucantonio Ghionna; Antonius Weinzierl (LPNMR, 2011)

A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. - Michael Fink 001 (Theory Pract. Log. Program., 2011)

Simulating Production Rules Using ACTHEX. - Thomas Eiter; Cristina Feier; Michael Fink 001 (Correct Reasoning, 2012)

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Gerald Weidinger; Antonius Weinzierl (JELIA, 2012)

Exploiting Unfounded Sets for HEX-Program Evaluation. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (JELIA, 2012)

Paraconsistent Hybrid Theories. - Michael Fink 001 (KR, 2012)

Semantic Independence in DL-Programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (RR, 2012)

Linked Stream Data Processing Engines: Facts and Figures. - Danh Le Phuoc; Minh Dao-Tran; Minh-Duc Pham; Peter A. Boncz; Thomas Eiter; Michael Fink 001 (ISWC (2), 2012)

Conflict-driven ASP solving with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Theory Pract. Log. Program., 2012)

Liberal Safety for Answer Set Programs with External Sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (AAAI, 2013)

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Anton Wimmer (PAI@AI*IA, 2013)

Data Repair of Inconsistent DL-Programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (IJCAI, 2013)

hex-Programs with Existential Quantification. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (KDPD, 2013)

Hex Semantics via Approximation Fixpoint Theory. - Christian Antic; Thomas Eiter; Michael Fink 001 (LPNMR, 2013)

Towards Query Answering in Relational Multi-Context Systems. - Rosamaria Barilaro; Michael Fink 001; Francesco Ricca; Giorgio Terracina (LPNMR, 2013)

ActHEX: Implementing HEX Programs with Action Atoms. - Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Peter Schüller (LPNMR, 2013)

Inconsistency Management for Description Logic Programs and Beyond. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (RR, 2013)

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. - Michael Fink 001; Yuliya Lierler (CoRR, 2013)

Eliminating Unfounded Set Checking for HEX-Programs - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (CoRR, 2013)

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary - Michael Fink 001; Yuliya Lierler (CoRR, 2013)

Model-based recasting in answer-set programming. - Thomas Eiter; Michael Fink 001; Jörg Pührer; Hans Tompits; Stefan Woltran (J. Appl. Non Class. Logics, 2013)

Finding similar/diverse solutions in answer set programming. - Thomas Eiter; Esra Erdem 001; Halit Erdogan; Michael Fink 001 (Theory Pract. Log. Program., 2013)

Exploiting Support Sets for Answer Set Programs with External Evaluations. - Thomas Eiter; Michael Fink 001; Christoph Redl; Daria Stepanova 001 (AAAI, 2014)

Towards Practical Deletion Repair of Inconsistent DL-programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (ECAI, 2014)

Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). - Alessandra Mileo; Martin Homola; Michael Fink 001 (EKAW (Satellite Events), 2014)

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. - Pedro Cabalar; Jorge Fandiño; Michael Fink 001 (JELIA, 2014)

Computing Repairs for Inconsistent DL-programs over EL Ontologies. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (JELIA, 2014)

Finding explanations of inconsistency in multi-context systems. - Thomas Eiter; Michael Fink 001; Peter Schüller; Antonius Weinzierl (Artif. Intell., 2014)

FLP answer set semantics without circular justifications for general logic programs. - Yi-Dong Shen; Kewen Wang 001; Thomas Eiter; Michael Fink 001; Christoph Redl; Thomas Krennwallner; Jun Deng (Artif. Intell., 2014)

Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). - Michael Fink 001; Martin Homola; Alessandra Mileo (CoRR, 2014)

Efficient HEX-Program Evaluation Based on Unfounded Sets. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (J. Artif. Intell. Res., 2014)

Causal Graph Justifications of Logic Programs. - Pedro Cabalar; Jorge Fandinno; Michael Fink 001 (Theory Pract. Log. Program., 2014)

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. - Harald Beck; Minh Dao-Tran; Thomas Eiter; Michael Fink 001 (AAAI, 2015)

Preference-Based Diagnosis Selection in Multi-Context Systems. - Thomas Eiter; Michael Fink 001; Antonius Weinzierl (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Towards Ideal Semantics for Analyzing Stream Reasoning. - Harald Beck; Minh Dao-Tran; Thomas Eiter; Michael Fink 001 (CoRR, 2015)

Distributed Evaluation of Nonmonotonic Multi-context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (J. Artif. Intell. Res., 2015)

Semi-equilibrium models for paracoherent answer set programs. - Giovanni Amendola; Thomas Eiter; Michael Fink 001; Nicola Leone; João Moura 001 (Artif. Intell., 2016)

Domain expansion for ASP-programs with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Artif. Intell., 2016)

Data repair of inconsistent nonmonotonic description logic programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (Artif. Intell., 2016)

Computing Repairs of Inconsistent DL-Programs over EL Ontologies. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (J. Artif. Intell. Res., 2016)

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Andreas Humenberger; Giovambattista Ianni; Christoph Redl; Daria Stepanova 001; Andrea Tucci; Anton Wimmer (IEEE Trans. Comput. Intell. AI Games, 2016)

A model building framework for answer set programming with external computations. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Christoph Redl; Peter Schüller (Theory Pract. Log. Program., 2016)

Baseline Detection in Historical Documents Using Convolutional U-Nets. - Michael Fink 001; Thomas Layer; Georg Mackenbrock; Michael Sprinzl (DAS, 2018)

Stream Reasoning. - Alessandra Mileo; Minh Dao-Tran; Thomas Eiter; Michael Fink 001 (Encyclopedia of Database Systems (2nd ed.), 2018)