Michael Fink

发表

Data repair of inconsistent nonmonotonic description logic programs

Daria Stepanova, Thomas Eiter, Michael Fink, 2016, Artif. Intell..

Eliminating Unfounded Set Checking for HEX-Programs pdf

Thomas Eiter, Michael Fink, Peter Schüller, 2013, ArXiv.

Under consideration for publication in Theory and Practice of Logic Programming 1 Finding Similar / Diverse Solutions in Answer Set Programming pdf

Thomas Eiter, Michael Fink, Esra Erdem, 2003 .

A Generic Approach for Knowledge-Based Information-Site Selection

Hans Tompits, Thomas Eiter, Michael Fink, 2002, International Conference on Principles of Knowledge Representation and Reasoning.

Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case

Stefan Woltran, Hans Tompits, Thomas Eiter, 2005, AAAI.

A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There

Michael Fink, 2011, Theory Pract. Log. Program..

Using Methods of Declarative Logic Programming for Intelligent Information Agents

Hans Tompits, Thomas Eiter, Michael Fink, 2002, Theory Pract. Log. Program..

Uniform Equivalence of Logic Programs under the Stable Model Semantics

Thomas Eiter, Michael Fink, Thomas Eiter, 2003, ICLP.

Exploiting Unfounded Sets for HEX-Program Evaluation

Thomas Eiter, Michael Fink, Peter Schüller, 2012, JELIA.

Finding explanations of inconsistency in multi-context systems

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2010, Artif. Intell..

The INFOMIX system for advanced integration of incomplete and inconsistent data

Wolfgang Faber, Georg Gottlob, Maurizio Lenzerini, 2005, SIGMOD '05.

Data Integration: a Challenging ASP Application

Wolfgang Faber, Georg Gottlob, Maurizio Lenzerini, 2005, LPNMR.

ActHEX: Implementing HEX Programs with Action Atoms

Michael Fink, Giovambattista Ianni, Peter Schüller, 2013, LPNMR.

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

Thomas Eiter, Michael Fink, Gerhard Brewka, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

Object Classication from a Single Example Utilizing Class Relevance Pseudo-Metrics

Michael Fink, 2004, NIPS 2004.

Semi-equilibrium models for paracoherent answer set programs

Thomas Eiter, Michael Fink, Nicola Leone, 2016, Artif. Intell..

Complexity Results for Checking Equivalence of Stratified Logic Programs

Stefan Woltran, Hans Tompits, Thomas Eiter, 2007, IJCAI.

Thomas Eiter, Michael Fink, Esra Erdem, 2009, ICLP.

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems

Thomas Eiter, Michael Fink, Giovambattista Ianni, 2011, Log-IC@LPNMR.

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey pdf

Yuliya Lierler, Michael Fink, 2013, ArXiv.

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems

Thomas Eiter, Michael Fink, Peter Schüller, 2011, LPNMR.

An Update Front-End for Extended Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2001, LPNMR.

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains

Stefan Woltran, Hans Tompits, Michael Fink, 2007, LPNMR.

Preference-Based Diagnosis Selection in Multi-Context Systems

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

Reasoning about evolving nonmonotonic knowledge bases

Hans Tompits, Thomas Eiter, Michael Fink, 2001, TOCL.

Resolving Conflicts in Action Descriptions

Thomas Eiter, Michael Fink, Esra Erdem, 2006, ECAI.

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming

Wolfgang Faber, Stefan Woltran, Gerald Pfeifer, 2003, Answer Set Programming.

HEX Programs with Action Atoms

Michael Fink, Giovambattista Ianni, Ozan Erdem, 2010, ICLP.

Comparing action descriptions based on semantic preferences

Thomas Eiter, Michael Fink, Esra Erdem, 2007, Annals of Mathematics and Artificial Intelligence.

20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006

Stefan Woltran, Hans Tompits, Michael Fink, 2006, WLP.

Reasoning about Evolving Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2001, LPAR.

Social- and Interactive-Television Applications Based on Real-Time Ambient-Audio Identification

Michael Fink, Shumeet Baluja, Michele Covell, 2006 .

Baseline Detection in Historical Documents Using Convolutional U-Nets

Michael Fink, Michael Sprinzl, Thomas Layer, 2018, 2018 13th IAPR International Workshop on Document Analysis Systems (DAS).

A model building framework for answer set programming with external computations* pdf

Thomas Eiter, Michael Fink, Giovambattista Ianni, 2015, Theory and Practice of Logic Programming.

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2010, JELIA.

Data Repair of Inconsistent DL-Programs

Daria Stepanova, Thomas Eiter, Michael Fink, 2013, IJCAI.

Error Classification in Action Descriptions: A Heuristic Approach

Thomas Eiter, Michael Fink, Ján Senko, 2008, AAAI.

Stream Reasoning

Thomas Eiter, Michael Fink, Alessandra Mileo, 2018, Encyclopedia of Database Systems.

The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

Thomas Eiter, Michael Fink, Peter Schüller, 2010, JELIA.

Semantical characterizations and complexity of equivalences in answer set programming pdf

Stefan Woltran, Thomas Eiter, Michael Fink, 2005, TOCL.

Under Consideration for Publication in Theory and Practice of Logic Programming Causal Graph Justifications of Logic Programs *

Michael Fink, Jorge Fandinno, Pedro Cabalar, 2022 .

Linked Stream Data Processing Engines: Facts and Figures

Thomas Eiter, Michael Fink, Danh Le Phuoc, 2012, SEMWEB.

Managed Multi-Context Systems

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2011, IJCAI.

FLP answer set semantics without circular justifications for general logic programs

Kewen Wang, Thomas Eiter, Michael Fink, 2014, Artif. Intell..

KMonitor - A Tool for Monitoring Plan Execution in Action Theories

Thomas Eiter, Michael Fink, Ján Senko, 2005, LPNMR.

Encoding Reusable Perceptual Features Enables Learning Future Categories from Few Examples

Michael Fink, Kobi Levi, Michael Fink, 2004 .

Declarative Knowledge Updates Through Agents

Hans Tompits, Thomas Eiter, Michael Fink, 2001 .

A Web-based Tutoring Tool for Calculating Default Logic Extensions

Hans Tompits, Michael Fink, Axel Polleres, 1999, WebNet.

Inconsistency Management for Description Logic Programs and Beyond

Daria Stepanova, Thomas Eiter, Michael Fink, 2013, RR.

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary pdf

Yuliya Lierler, Michael Fink, 2013, ArXiv.

Computing Repairs for Inconsistent DL-programs over EL Ontologies

Daria Stepanova, Thomas Eiter, Michael Fink, 2014, JELIA.

Repair localization for query answering from inconsistent databases

Thomas Eiter, Michael Fink, Domenico Lembo, 2008, TODS.

Computing Repairs of Inconsistent DL-Programs over EL Ontologies

Daria Stepanova, Thomas Eiter, Michael Fink, 2016, J. Artif. Intell. Res..

Updating action domain descriptions☆

Thomas Eiter, Michael Fink, Esra Erdem, 2005, IJCAI.

IBCLC State Licensure, Part 2

Michael Fink, Marsha Walker, LeahS. Aldridge, 2017, Clinical Lactation.

Paraconsistent Hybrid Theories

Michael Fink, 2012, KR.

Decomposition of Declarative Knowledge Bases with External Functions

Thomas Eiter, Michael Fink, Thomas Krennwallner, 2009, IJCAI.

Simulating Production Rules Using ACTHEX

Thomas Eiter, Michael Fink, Cristina Feier, 2012, Correct Reasoning.

Liberal Safety for Answer Set Programs with External Sources

Thomas Eiter, Michael Fink, Thomas Krennwallner, 2013, AAAI.

Monitoring Agents using Declarative Planning

Jürgen Dix, Yingqian Zhang, Thomas Eiter, 2003, Fundam. Informaticae.

Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

Michael Fink, Michael Fink, 2008, ICLP.

Towards Practical Deletion Repair of Inconsistent DL-programs

Daria Stepanova, Thomas Eiter, Michael Fink, 2014, Description Logics.

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2009, LPNMR.

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases

Michael Fink, Giovambattista Ianni, Christoph Redl, 2016, IEEE Transactions on Computational Intelligence and AI in Games.

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

Thomas Eiter, Michael Fink, Harald Beck, 2015, AAAI.

Complexity results for answer set programming with bounded predicate arities and implications

Wolfgang Faber, Stefan Woltran, Thomas Eiter, 2007, Annals of Mathematics and Artificial Intelligence.

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

Stefan Woltran, Hans Tompits, Thomas Eiter, 2003, Answer Set Programming.

Boosting Information Integration: The INFOMIX System

Wolfgang Faber, Georg Gottlob, Thomas Eiter, 2005, SEBD.

Towards Query Answering in Relational Multi-Context Systems

Michael Fink, Giorgio Terracina, Francesco Ricca, 2013, LPNMR.

Relational Information Exchange and Aggregation in Multi-Context Systems

Antonius Weinzierl, Michael Fink, Lucantonio Ghionna, 2011, LPNMR.

On Eliminating Disjunctions in Stable Logic Programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2004, KR.

On properties of update sequences based on causal rejection

Hans Tompits, Thomas Eiter, Michael Fink, 2001, Theory and Practice of Logic Programming.

Preference-Based Inconsistency Assessment in Multi-Context Systems

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2010, JELIA.

Paracoherent Answer Set Programming

Thomas Eiter, Michael Fink, João Moura, 2010, KR.

Distributed Evaluation of Nonmonotonic Multi-context Systems

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2015, J. Artif. Intell. Res..

The Full Images for Natural Knowledge Caltech Office DB

Michael Fink, Pietro Perona, 2003 .

Replacements in Non-Ground Answer-Set Programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2006, WLP.

Hex Semantics via Approximation Fixpoint Theory

Thomas Eiter, Michael Fink, Christian Antic, 2013, LPNMR.

Exploiting Support Sets for Answer Set Programs with External Evaluations

Daria Stepanova, Thomas Eiter, Michael Fink, 2014, AAAI.

A Framework for Declarative Update Specifications in Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2001, IJCAI.

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2012, JELIA.

PlayIT 2011: first international workshop on games for knowledge acquisition

Michael Fink, Elena Simperl, Katharina Siorpaes, 2011, WWW 2011.

Towards Ideal Semantics for Analyzing Stream Reasoning pdf

Thomas Eiter, Michael Fink, Harald Beck, 2015, ArXiv.

Domain expansion for ASP-programs with external sources

Thomas Eiter, Michael Fink, Thomas Krennwallner, 2016, Artif. Intell..

Efficient HEX-Program Evaluation Based on Unfounded Sets

Thomas Eiter, Michael Fink, Peter Schüller, 2014, J. Artif. Intell. Res..

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Thomas Eiter, Michael Fink, Giovambattista Ianni, 2011, INAP/WLP.

A Tool for Answering Queries on Action Descriptions

Thomas Eiter, Michael Fink, Ján Senko, 2006, JELIA.

Symmetry Breaking for Distributed Multi-Context Systems pdf

Toby Walsh, Thomas Eiter, Michael Fink, 2011, LPNMR.

Specifying Update Policies for Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2004 .

A method for displaying in particular of a heating or cooking device and Abkühlfortschrittes for performing such a method

Michael Greiner, Michael Fink, Judith Imgram, 2006 .

Model-based recasting in answer-set programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2013, J. Appl. Non Class. Logics.

Replacement, Refinement, and Reduction in Animal Studies With Biohazardous Agents.

Michael Fink, Sarah A. Hansen, Lon V Kendall, 2018, ILAR journal.

Semantic Independence in DL-Programs

Daria Stepanova, Thomas Eiter, Michael Fink, 2012, RR.

First-Order Encodings for Modular Nonmonotonic Datalog Programs

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2010, Datalog.

Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014) pdf

Michael Fink, Alessandra Mileo, Martin Homola, 2014, EKAW.

Comparing Action Descriptions Based on Semantic Preferences

Thomas Eiter, Michael Fink, Esra Erdem, 2006, JELIA.

A knowledge-based approach for selecting information sources*

Hans Tompits, Thomas Eiter, Michael Fink, 2006, Theory and Practice of Logic Programming.

hex-Programs with Existential Quantification

Thomas Eiter, Michael Fink, Thomas Krennwallner, 2013, KDPD.

Declarative Update Policies for Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2003, Logics for Emerging Applications of Databases.

Coordinated Multi-Device Presentations: Ambient-Audio Identification

Michael Fink, Shumeet Baluja, Michele Covell, 2008 .

Model Streaming for Distributed Multi-Context Systems

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2011, Log-IC@LPNMR.

Simplifying Logic Programs Under Uniform and Strong Equivalence

Stefan Woltran, Hans Tompits, Thomas Eiter, 2004, LPNMR.

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes

Michael Fink, Jorge Fandinno, Pedro Cabalar, 2014, JELIA.

Conflict-driven ASP solving with external sources

Thomas Eiter, Michael Fink, Thomas Krennwallner, 2012, Theory and Practice of Logic Programming.

Efficient Evaluation of Logic Programs for Querying Data Integration Systems

Thomas Eiter, Michael Fink, Domenico Lembo, 2003, ICLP.

Considerations on Updates of Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2000, JELIA.

A Logical Semantics for Description Logic Programs

David Pearce, Michael Fink, 2010, JELIA.

Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems

Thomas Eiter, Michael Fink, Peter Schüller, 2010 .

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

Thomas Eiter, Michael Fink, Giovambattista Ianni, 2011, LPNMR.

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming

Wolfgang Faber, Stefan Woltran, Gerald Pfeifer, 2004, KR.

Implementation of Linear Model Predictive Control - Tutorial pdf

Michael Fink, 2021, ArXiv.

Some Equivalence Concepts for Hybrid Theories ?

Michael Fink, David Pearce, 2009 .

FROM INCONSISTENT DATA INTEGRATION SYSTEMS

Thomas Eiter, Michael Fink, Domenico Lembo, 2005 .

ON UPDATES OF LOGIC PROGRAMS: SEMANTICS AND PROPERTIES

Hans Tompits, Thomas Eiter, Michael Fink, 2000 .

Dynamic Distributed Nonmonotonic Multi-Context Systems ∗

Thomas Eiter, Michael Fink, Minh Dao-Tran, 2011 .

IMPROVING HEX-PROGRAM EVALUATION BASED ON UNFOUNDED SETS

Michael Fink, Peter Schüller, Thomas Krennwallner, 2012 .