Michael Fink - RankMe

122 papers A* 19A 2B 32Misc 1Journal 42Unranked 23

Year	Rank	Type	Title / Venue / Authors
2018	B	`conf`	Baseline Detection in Historical Documents Using Convolutional U-Nets. DAS Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl
2018	J	`jnl`	Baseline Detection in Historical Documents using Convolutional U-Nets. CoRR Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl
2018	—	`ch.`	Stream Reasoning. Encyclopedia of Database Systems (2nd ed.) Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink
2016	J	`jnl`	A model building framework for answer set programming with external computations. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2016	J	`jnl`	Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
2016	J	`jnl`	Computing Repairs of Inconsistent DL-Programs over EL Ontologies. J. Artif. Intell. Res. Thomas Eiter, Michael Fink, Daria Stepanova
2016	J	`jnl`	Data repair of inconsistent nonmonotonic description logic programs. Artif. Intell. Thomas Eiter, Michael Fink, Daria Stepanova
2016	J	`jnl`	Domain expansion for ASP-programs with external sources. Artif. Intell. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2016	J	`jnl`	Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
2015	J	`jnl`	A model building framework for Answer Set Programming with external computations. CoRR Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2015	J	`jnl`	Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2015	A*	`conf`	LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2015	—	`conf`	Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Thomas Eiter, Michael Fink, Antonius Weinzierl
2015	J	`jnl`	Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2014	B	`conf`	A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. JELIA Pedro Cabalar, Jorge Fandiño, Michael Fink
2014	—	`conf`	Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) Alessandra Mileo, Martin Homola, Michael Fink
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Michael Fink
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Michael Fink
2014	B	`conf`	Computing Repairs for Inconsistent DL-programs over JELIA Thomas Eiter, Michael Fink, Daria Stepanova
2014	J	`jnl`	Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2014	A*	`conf`	Exploiting Support Sets for Answer Set Programs with External Evaluations. AAAI Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
2014	J	`jnl`	FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
2014	J	`jnl`	Finding explanations of inconsistency in multi-context systems. Artif. Intell. Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2014	—	`conf`	Towards Practical Deletion Repair of Inconsistent DL-programs. Description Logics Thomas Eiter, Michael Fink, Daria Stepanova
2014	A	`conf`	Towards Practical Deletion Repair of Inconsistent DL-programs. ECAI Thomas Eiter, Michael Fink, Daria Stepanova
2014	J	`jnl`	Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). CoRR Michael Fink, Martin Homola, Alessandra Mileo
2013	B	`conf`	ActHEX: Implementing HEX Programs with Action Atoms. LPNMR Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
2013	—	`conf`	AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. PAI@AI*IA Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
2013	A*	`conf`	Data Repair of Inconsistent DL-Programs. IJCAI Thomas Eiter, Michael Fink, Daria Stepanova
2013	J	`jnl`	Eliminating Unfounded Set Checking for HEX-Programs CoRR Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2013	J	`jnl`	Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2013	B	`conf`	Hex Semantics via Approximation Fixpoint Theory. LPNMR Christian Antic, Thomas Eiter, Michael Fink
2013	—	`conf`	Inconsistency Management for Description Logic Programs and Beyond. RR Thomas Eiter, Michael Fink, Daria Stepanova
2013	A*	`conf`	Liberal Safety for Answer Set Programs with External Sources. AAAI Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2013	J	`jnl`	Model-based recasting in answer-set programming. J. Appl. Non Class. Logics Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
2013	J	`jnl`	Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary CoRR Michael Fink, Yuliya Lierler
2013	J	`jnl`	Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. CoRR Michael Fink, Yuliya Lierler
2013	B	`conf`	Towards Query Answering in Relational Multi-Context Systems. LPNMR Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
2013	—	`conf`	hex-Programs with Existential Quantification. KDPD Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012	J	`jnl`	Conflict-driven ASP Solving with External Sources CoRR Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012	J	`jnl`	Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012	B	`conf`	Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2012	—	`conf`	Linked Stream Data Processing Engines: Facts and Figures. ISWC (2) Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter Boncz, Thomas Eiter, Michael Fink
2012	B	`conf`	OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
2012	A*	`conf`	Paraconsistent Hybrid Theories. KR Michael Fink
2012	—	`conf`	Semantic Independence in DL-Programs. RR Thomas Eiter, Michael Fink, Daria Stepanova
2012	—	`conf`	Simulating Production Rules Using ACTHEX. Correct Reasoning Thomas Eiter, Cristina Feier, Michael Fink
2011	J	`jnl`	A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Theory Pract. Log. Program. Michael Fink
2011	B	`conf`	Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR Thomas Eiter, Michael Fink, Peter Schüller
2011	J	`jnl`	Finding Similar/Diverse Solutions in Answer Set Programming CoRR Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2011	A*	`conf`	Managed Multi-Context Systems. IJCAI Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
2011	—	`conf`	Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2011	—	`conf`	Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Gerhard Brewka, Thomas Eiter, Michael Fink
2011	—	`ed.`	Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011 Log-IC@LPNMR Alessandra Mileo, Michael Fink
2011	B	`conf`	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
2011	B	`conf`	Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
2011	J	`jnl`	Symmetry Breaking for Distributed Multi-Context Systems CoRR Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011	B	`conf`	Symmetry Breaking for Distributed Multi-Context Systems. LPNMR Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011	—	`conf`	The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2011	—	`conf`	Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2010	J	`jnl`	A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There CoRR Michael Fink
2010	B	`conf`	A Logical Semantics for Description Logic Programs. JELIA Michael Fink, David Pearce
2010	B	`conf`	Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010	A*	`conf`	Distributed Nonmonotonic Multi-Context Systems. KR Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010	A*	`conf`	Finding Explanations of Inconsistency in Multi-Context Systems. KR Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2010	—	`conf`	First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010	—	`conf`	HEX Programs with Action Atoms. ICLP (Technical Communications) Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni
2010	A*	`conf`	Paracoherent Answer Set Programming. KR Thomas Eiter, Michael Fink, João Moura
2010	B	`conf`	Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA Thomas Eiter, Michael Fink, Antonius Weinzierl
2010	B	`conf`	The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010	B	`conf`	The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
2010	J	`jnl`	Updating action domain descriptions. Artif. Intell. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2009	—	`conf`	Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
2009	A*	`conf`	Decomposition of Declarative Knowledge Bases with External Functions. IJCAI Thomas Eiter, Michael Fink, Thomas Krennwallner
2009	B	`conf`	Finding Similar or Diverse Solutions in Answer Set Programming. ICLP Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2009	B	`conf`	Modular Nonmonotonic Logic Programming Revisited. ICLP Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2009	B	`conf`	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2008	B	`conf`	Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ICLP Michael Fink
2008	A*	`conf`	Error Classification in Action Descriptions: A Heuristic Approach. AAAI Thomas Eiter, Michael Fink, Ján Senko
2008	J	`jnl`	Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
2007	J	`jnl`	A knowledge-based approach for selecting information sources. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Hans Tompits
2007	J	`jnl`	Comparing action descriptions based on semantic preferences. Ann. Math. Artif. Intell. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2007	A*	`conf`	Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2007	B	`conf`	Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. LPNMR Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
2007	J	`jnl`	Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
2007	J	`jnl`	Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. Thomas Eiter, Michael Fink, Stefan Woltran
2006	—	`ed.`	20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 WLP Michael Fink, Hans Tompits, Stefan Woltran
2006	J	`jnl`	A Knowledge-Based Approach for Selecting Information Sources CoRR Thomas Eiter, Michael Fink, Hans Tompits
2006	B	`conf`	A Tool for Answering Queries on Action Descriptions. JELIA Thomas Eiter, Michael Fink, Ján Senko
2006	B	`conf`	Comparing Action Descriptions Based on Semantic Preferences. JELIA Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2006	A*	`conf`	Replacements in Non-Ground Answer-Set Programming. KR Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006	—	`conf`	Replacements in Non-Ground Answer-Set Programming. WLP Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006	A	`conf`	Resolving Conflicts in Action Descriptions. ECAI Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2005	—	`conf`	Boosting Information Integration: The INFOMIX System. SEBD Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
2005	B	`conf`	Data Integration: a Challenging ASP Application. LPNMR Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
2005	B	`conf`	KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR Thomas Eiter, Michael Fink, Ján Senko
2005	J	`jnl`	Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2005	J	`jnl`	Semantical Characterizations and Complexity of Equivalences in Answer Set Programming CoRR Thomas Eiter, Michael Fink, Stefan Woltran
2005	A*	`conf`	Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2005	—	`conf`	The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis
2005	A*	`conf`	Updating Action Domain Descriptions. IJCAI Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2004	A*	`conf`	Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2004	A*	`conf`	On Eliminating Disjunctions in Stable Logic Programming. KR Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2004	B	`conf`	Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2003	—	`conf`	Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2003	—	`conf`	Declarative Update Policies for Nonmonotonic Knowledge Bases. Logics for Emerging Applications of Databases Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2003	B	`conf`	Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
2003	—	`conf`	Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Answer Set Programming Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2003	Misc	`conf`	Monitoring Agents Using Declarative Planning. KI Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003	J	`jnl`	Monitoring Agents using Declarative Planning. Fundam. Informaticae Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003	B	`conf`	Uniform Equivalence of Logic Programs under the Stable Model Semantics. ICLP Thomas Eiter, Michael Fink
2002	A*	`conf`	A Generic Approach for Knowledge-Based Information-Site Selection. KR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002	J	`jnl`	On Properties of Update Sequences Based on Causal Rejection. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002	J	`jnl`	Reasoning about Evolving Nonmonotonic Knowledge Bases CoRR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002	J	`jnl`	Using Methods of Declarative Logic Programming for Intelligent Information Agents. Theory Pract. Log. Program. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001	A*	`conf`	A Framework for Declarative Update Specifications in Logic Programs. IJCAI Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001	B	`conf`	An Update Front-End for Extended Logic Programs. LPNMR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001	J	`jnl`	On Properties of Update Sequences Based on Causal Rejection CoRR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001	B	`conf`	Reasoning about Evolving Nonmonotonic Knowledge Bases. LPAR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001	J	`jnl`	Using Methods of Declarative Logic Programming for Intelligent Information Agents CoRR Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2000	B	`conf`	Considerations on Updates of Logic Programs. JELIA Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
1999	—	`conf`	A Web-based Tutoring Tool for Calculating Default Logic Extensions. WebNet Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits