Michael Fink

Available identifiers

zbMath Open fink.michaelMaRDI QIDQ253990

List of research outcomes

Publication	Date of Publication	Type
Model-based recasting in answer-set programming	2018-08-28	Paper
A model building framework for answer set programming with external computations	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5282982	2017-07-18	Paper
Reasoning about evolving nonmonotonic knowledge bases	2017-07-12	Paper
Semantical characterizations and complexity of equivalences in answer set programming	2017-07-12	Paper
Data repair of inconsistent nonmonotonic description logic programs	2016-10-14	Paper
Computing Repairs of Inconsistent DL-Programs over EL Ontologies	2016-09-07	Paper
Semi-equilibrium models for paracoherent answer set programs	2016-03-08	Paper
Domain expansion for ASP-programs with external sources	2016-03-08	Paper
Weighted Electoral Control	2015-05-28	Paper
Preference-Based Diagnosis Selection in Multi-Context Systems	2015-02-04	Paper
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes	2015-01-14	Paper
Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies	2015-01-14	Paper
Causal Graph Justifications of Logic Programs	2014-11-25	Paper
Finding explanations of inconsistency in multi-context systems	2014-10-13	Paper
FLP answer set semantics without circular justifications for general logic programs	2014-06-10	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets	2014-03-24	Paper
Hex Semantics via Approximation Fixpoint Theory	2013-10-10	Paper
Towards Query Answering in Relational Multi-Context Systems	2013-10-10	Paper
Finding similar/diverse solutions in answer set programming	2013-06-14	Paper
Conflict-driven ASP solving with external sources	2013-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4906884	2013-02-28	Paper
Modular Nonmonotonic Logic Programming Revisited	2012-11-13	Paper
Exploiting Unfounded Sets for HEX-Program Evaluation	2012-09-21	Paper
Simulating Production Rules Using ACTHEX	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q2883070	2012-05-11	Paper
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There	2011-06-15	Paper
Symmetry Breaking for Distributed Multi-Context Systems	2011-05-26	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	2011-05-26	Paper
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems	2011-05-26	Paper
Relational Information Exchange and Aggregation in Multi-Context Systems	2011-05-26	Paper
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources	2011-05-19	Paper
Reasoning about Evolving Nonmonotonic Knowledge Bases	2011-05-06	Paper
Updating action domain descriptions	2011-01-31	Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems	2010-10-01	Paper
Preference-Based Inconsistency Assessment in Multi-Context Systems	2010-10-01	Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems	2010-10-01	Paper
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems	2010-10-01	Paper
KI 2003: Advances in Artificial Intelligence	2010-03-03	Paper
Combining Nonmonotonic Knowledge Bases with External Sources	2010-01-07	Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs	2009-11-10	Paper
Logic Programming	2009-08-06	Paper
Logic Programming	2009-08-06	Paper
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There	2009-01-22	Paper
Comparing Action Descriptions Based on Semantic Preferences	2008-10-30	Paper
Complexity results for answer set programming with bounded predicate arities and implications	2008-04-21	Paper
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Comparing action descriptions based on semantic preferences	2007-10-23	Paper
A knowledge-based approach for selecting information sources	2007-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4460681	2004-03-29	Paper
Using methods of declarative logic programming for intelligent information agents	2004-03-01	Paper
On properties of update sequences based on causal rejection	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4800165	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536313	2002-06-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Fink