Michael Fink
Orcid: 0000-0003-1166-9343Affiliations:
- TU Wien, Vienna, Austria
- Deutsches Medizinrechenzentrum GmbH & Co KG, Vienna, Austria
According to our database1,
Michael Fink
authored at least 101 papers
between 1999 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Proceedings of the 13th IAPR International Workshop on Document Analysis Systems, 2018
2016
Theory Pract. Log. Program., 2016
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games, 2016
J. Artif. Intell. Res., 2016
Artif. Intell., 2016
2015
J. Artif. Intell. Res., 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
J. Artif. Intell. Res., 2014
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014).
CoRR, 2014
Artif. Intell., 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014).
Proceedings of the Knowledge Engineering and Knowledge Management, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Theory Pract. Log. Program., 2013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
CoRR, 2013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.
CoRR, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Proceedings of the Semantic Web - ISWC 2012, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
2011
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There.
Theory Pract. Log. Program., 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
2008
ACM Trans. Database Syst., 2008
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Theory Pract. Log. Program., 2007
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log., 2007
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007
Ann. Math. Artif. Intell., 2007
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the IJCAI 2007, 2007
2006
Proceedings of the 20th Workshop on Logic Programming, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Resolving Conflicts in Action Descriptions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005
Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
Proceedings of the Proceedings, 2005
2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Declarative Update Policies for Nonmonotonic Knowledge Bases.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Proceedings of the Answer Set Programming, 2003
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003
2002
Theory Pract. Log. Program., 2002
Theory Pract. Log. Program., 2002
A Generic Approach for Knowledge-Based Information-Site Selection.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
A Framework for Declarative Update Specifications in Logic Programs.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
1999
A Web-based Tutoring Tool for Calculating Default Logic Extensions.
Proceedings of WebNet 99, 1999