Name
Affiliation
Papers
MICHAEL FINK
vienna university of technology
97
Collaborators
Citations 
PageRank 
115
1145
62.43
Referers 
Referees 
References 
871
1134
1907
Search Limit
1001000
Title
Citations
PageRank
Year
Baseline Detection in Historical Documents Using Convolutional U-Nets00.342018
Domain expansion for ASP-programs with external sources.90.512016
Semi-equilibrium models for paracoherent answer set programs.30.402016
Computing repairs of inconsistent DL-programs over EL ontologies30.372016
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.50.422016
Data repair of inconsistent nonmonotonic description logic programs.00.342016
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.170.652015
Towards Ideal Semantics for Analyzing Stream Reasoning10.352015
A model building framework for Answer Set Programming with external computations120.562015
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities.40.612015
Distributed Evaluation of Nonmonotonic Multi-context Systems.50.412015
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014).00.342014
Towards a Logic-Based Framework for Analyzing Stream Reasoning.00.342014
FLP answer set semantics without circular justifications for general logic programs.110.512014
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes.10.352014
Preference-Based Diagnosis Selection in Multi-Context Systems.00.342014
Causal Graph Justifications of Logic Programs.70.472014
Towards Practical Deletion Repair of Inconsistent DL-programs.00.342014
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014).00.342014
Efficient HEX-program evaluation based on unfounded sets110.532014
Hex Semantics via Approximation Fixpoint Theory.120.542013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.00.342013
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.40.472013
ActHEX: Implementing HEX Programs with Action Atoms.80.612013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary00.342013
Eliminating Unfounded Set Checking for HEX-Programs10.352013
Inconsistency management for description logic programs and beyond10.372013
Data repair of inconsistent DL-programs30.392013
Liberal Safety for Answer Set Programs with External Sources.10.352013
Finding Similar or Diverse Solutions in Answer Set Programming110.702013
Model-based recasting in answer-set programming.100.532013
Towards Query Answering in Relational Multi-Context Systems.20.382013
Conflict-driven asp solving with external sources170.592012
Paraconsistent Hybrid Theories.10.362012
OMiGA: an open minded grounding on-the-fly answer set solver60.442012
Exploiting unfounded sets for HEX-Program evaluation60.412012
Simulating production rules using ACTHEX20.362012
Semantic independence in DL-programs10.352012
Linked stream data processing engines: facts and figures441.392012
Approximations for explanations of inconsistency in partially known multi-context systems50.412011
Pushing efficient evaluation of HEX programs by modular decomposition130.582011
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.20.362011
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.40.392011
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources230.812011
Model Streaming for Distributed Multi-Context Systems.00.342011
Relational information exchange and aggregation in multi-context systems160.672011
Managed multi-context systems471.202011
Symmetry breaking for distributed multi-context systems20.362011
Preference-based inconsistency assessment in multi-context systems120.552010
First-Order encodings for modular nonmonotonic datalog programs10.362010
  • 1
  • 2