Michael Fink

Vienna University of Technology

other persons with the same name:

• Michael Fink - The Hebrew University of Jerusalem

	2011
74		Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl: Managed Multi-Context Systems. IJCAI 2011: 786-791
73		Thomas Eiter, Michael Fink, Peter Schüller: Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR 2011: 107-119
72		Michael Fink, Lucantonio Ghionna, Antonius Weinzierl: Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR 2011: 120-133
71		Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
70		Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
69		Gerhard Brewka, Thomas Eiter, Michael Fink: Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 233-258
68		Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems CoRR abs/1104.3931: (2011)
67		Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink: Finding Similar/Diverse Solutions in Answer Set Programming CoRR abs/1108.3260: (2011)
66		Michael Fink: A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. TPLP 11(2-3): 171-202 (2011)
	2010
65		Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77
64		Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni: HEX Programs with Action Atoms. ICLP (Technical Communications) 2010: 24-33
63		Thomas Eiter, Michael Fink, Antonius Weinzierl: Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA 2010: 143-155
62		Michael Fink, David Pearce: A Logical Semantics for Description Logic Programs. JELIA 2010: 156-168
61		Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37
60		Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355
59		Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA 2010: 356-359
58		Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010
57		Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl: Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010
56		Thomas Eiter, Michael Fink, João Moura: Paracoherent Answer Set Programming. KR 2010
55		Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Updating action domain descriptions. Artif. Intell. 174(15): 1172-1221 (2010)
54		Michael Fink: A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There CoRR abs/1006.3021: (2010)
	2009
53		Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42
52		Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159
51		Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink: Finding Similar or Diverse Solutions in Answer Set Programming. ICLP 2009: 342-356
50		Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758
49		Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100
	2008
48		Thomas Eiter, Michael Fink, Ján Senko: Error Classification in Action Descriptions: A Heuristic Approach. AAAI 2008: 905-910
47		Michael Fink: Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ICLP 2008: 99-113
46		Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2): (2008)
45		Michael Fink, Michele Covell, Shumeet Baluja: Mass personalization: social and interactive applications using sound-track identification. Multimedia Tools Appl. 36(1-2): 115-132 (2008)
	2007
44		Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI 2007: 330-335
43		Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran: Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. LPNMR 2007: 123-135
42		Thomas Eiter, Michael Fink, Stefan Woltran: Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3): (2007)
41		Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Comparing action descriptions based on semantic preferences. Ann. Math. Artif. Intell. 50(3-4): 273-304 (2007)
40		Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007)
39		Michael Fink: Online Learning of Search Heuristics. Journal of Machine Learning Research - Proceedings Track 2: 114-122 (2007)
38		Thomas Eiter, Michael Fink, Hans Tompits: A knowledge-based approach for selecting information sources. TPLP 7(3): 249-300 (2007)
	2006
37		Michael Fink, Hans Tompits, Stefan Woltran: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 Technische Universität Wien, Austria 2006
36		Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Resolving Conflicts in Action Descriptions. ECAI 2006: 367-371
35		Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Comparing Action Descriptions Based on Semantic Preferences. JELIA 2006: 124-137
34		Thomas Eiter, Michael Fink, Ján Senko: A Tool for Answering Queries on Action Descriptions. JELIA 2006: 473-476
33		Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. KR 2006: 340-351
32		Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. WLP 2006: 145-153
31		Thomas Eiter, Michael Fink, Hans Tompits: A Knowledge-Based Approach for Selecting Information Sources CoRR abs/cs/0604086: (2006)
30		Michele Covell, Shumeet Baluja, Michael Fink: Detecting Ads in Video Streams Using Acoustic and Visual Cues. IEEE Computer 39(12): 135-137 (2006)
	2005
29		Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI 2005: 695-700
28		Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Updating Action Domain Descriptions. IJCAI 2005: 418-423
27		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: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
26		Thomas Eiter, Michael Fink, Ján Senko: KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR 2005: 416-421
25		Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
24		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: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
23		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2): 389-440 (2005)
22		Thomas Eiter, Michael Fink, Stefan Woltran: Semantical Characterizations and Complexity of Equivalences in Answer Set Programming CoRR abs/cs/0502078: (2005)
	2004
21		Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387
20		Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: On Eliminating Disjunctions in Stable Logic Programming. KR 2004: 447-458
19		Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR 2004: 87-99
	2003
18		Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003
17		Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Answer Set Programming 2003
16		Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP 2003: 163-177
15		Thomas Eiter, Michael Fink: Uniform Equivalence of Logic Programs under the Stable Model Semantics. ICLP 2003: 224-238
14		Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents Using Declarative Planning. KI 2003: 646-660
13		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Declarative Update Policies for Nonmonotonic Knowledge Bases. Logics for Emerging Applications of Databases 2003: 85-129
12		Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents using Declarative Planning. Fundam. Inform. 57(2-4): 345-370 (2003)
	2002
11		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: A Generic Approach for Knowledge-Based Information-Site Selection. KR 2002: 459-469
10		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about Evolving Nonmonotonic Knowledge Bases CoRR cs.AI/0209019: (2002)
9		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Using Methods of Declarative Logic Programming for Intelligent Information Agents. TPLP 2(6): 645-709 (2002)
8		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: On Properties of Update Sequences Based on Causal Rejection. TPLP 2(6): 711-767 (2002)
	2001
7		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654
6		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about Evolving Nonmonotonic Knowledge Bases. LPAR 2001: 407-421
5		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: An Update Front-End for Extended Logic Programs. LPNMR 2001: 397-401
4		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: On Properties of Update Sequences Based on Causal Rejection CoRR cs.AI/0109006: (2001)
3		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Using Methods of Declarative Logic Programming for Intelligent Information Agents CoRR cs.MA/0108008: (2001)
	2000
2		Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Considerations on Updates of Logic Programs. JELIA 2000: 2-20
	1999
1		Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits: A Web-based Tutoring Tool for Calculating Default Logic Extensions. WebNet 1999: 1251-1252

Coauthor Index

1	Seif El-Din Bairakdar	[60] [61]
2	Shumeet Baluja	[30] [45]
3	Selen Basol	[64]
4	Markus Bögl	[59]
5	Gerhard Brewka	[53] [69] [74]
6	Michele Covell	[30] [45]
7	Minh Dao-Tran	[49] [52] [53] [58] [60] [61] [65]
8	Jürgen Dix	[12] [14]
9	Christian Drescher	[68] [71]
10	Uwe Egly	[1]
11	Thomas Eiter	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [38] [40] [41] [42] [44] [46] [48] [49] [50] [51] [52] [53] [55] [56] [57] [58] [59] [60] [61] [63] [65] [67] [68] [69] [70] [71] [73] [74]
12	Esra Erdem	[28] [35] [36] [41] [51] [55] [67]
13	Ozan Erdem	[64]
14	Halit Erdogan	[51] [67]
15	Wolfgang Faber	[18] [21] [24] [25] [27] [40]
16	Lucantonio Ghionna	[72]
17	Georg Gottlob	[24] [25] [27]
18	Luigi Granata	[27]
19	Gianluigi Greco	[16] [24] [25] [27] [46]
20	Giovambattista Ianni	[24] [27] [53] [64] [70]
21	Edyta Kalka	[24] [27]
22	Thomas Krennwallner	[49] [50] [52] [53] [58] [60] [61] [65] [68] [70] [71]
23	Domenico Lembo	[16] [24] [27] [46]
24	Maurizio Lenzerini	[24] [27]
25	Nicola Leone	[24] [25] [27]
26	Vincenzino Lio	[24] [27]
27	João Moura	[56]
28	Bartosz Nowicki	[24] [27]
29	David Pearce	[62]
30	Gerald Pfeifer	[18] [21]
31	Reinhard Pichler	[43]
32	Axel Polleres	[1] [12] [14]
33	Riccardo Rosati	[24] [27]
34	Marco Ruzzi	[24] [27]
35	Giuliana Sabbatini	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [23]
36	Peter Schüller	[57] [59] [70] [73]
37	Ján Senko	[26] [28] [34] [35] [36] [41] [48] [55]
38	Witold Staniszkis	[24] [27]
39	Giorgio Terracina	[24] [27]
40	Hans Tompits	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [17] [19] [20] [23] [29] [31] [32] [33] [37] [38] [43] [44]
41	Patrick Traxler	[32] [33]
42	Toby Walsh	[68] [71]
43	Antonius Weinzierl	[57] [63] [72] [74]
44	Stefan Woltran	[17] [18] [19] [20] [21] [22] [29] [32] [33] [37] [40] [42] [43] [44]
45	Yingqian Zhang	[12] [14]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page