| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding Similar/Diverse Solutions in Answer Set Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink |
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl |
Managed Multi-Context Systems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Peter Schüller |
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fink, Lucantonio Ghionna, Antonius Weinzierl |
Relational Information Exchange and Aggregation in Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fink |
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Updating action domain descriptions. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni |
HEX Programs with Action Atoms. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fink, David Pearce |
A Logical Semantics for Description Logic Programs. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller |
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Decomposition of Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Antonius Weinzierl |
Preference-Based Inconsistency Assessment in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, João Moura |
Paracoherent Answer Set Programming. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Distributed Nonmonotonic Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl |
Finding Explanations of Inconsistency in Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Thomas Krennwallner |
Decomposition of Declarative Knowledge Bases with External Functions. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding Similar or Diverse Solutions in Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
similar/diverse solutions, answer set programming, phylogenies |
| 1 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner |
Combining Nonmonotonic Knowledge Bases with External Sources. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
Repair localization for query answering from inconsistent databases. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs |
| 1 | Michael Fink, Michele Covell, Shumeet Baluja |
Mass personalization: social and interactive applications using sound-track identification. |
Multimedia Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Mass personalization, Mass media, Audio-finger printing, Real-time, Television |
| 1 | Michael Fink |
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
uniform equivalence, knowledge representation, program optimization, answer-set programming |
| 1 | Thomas Eiter, Michael Fink, Ján Senko |
Error Classification in Action Descriptions: A Heuristic Approach. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink |
Online Learning of Search Heuristics. |
Journal of Machine Learning Research - Proceedings Track |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Stefan Woltran |
Semantical characterizations and complexity of equivalences in answer set programming. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics |
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Comparing action descriptions based on semantic preferences. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 68T27 |
| 1 | Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran |
Complexity results for answer set programming with bounded predicate arities and implications. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17 |
| 1 | Thomas Eiter, Michael Fink, Hans Tompits |
A knowledge-based approach for selecting information sources. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
Complexity Results for Checking Equivalence of Stratified Logic Programs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran |
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Covell, Shumeet Baluja, Michael Fink |
Detecting Ads in Video Streams Using Acoustic and Visual Cues. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Entertainment computing, Invisible computing |
| 1 | Thomas Eiter, Michael Fink, Hans Tompits |
A Knowledge-Based Approach for Selecting Information Sources |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Resolving Conflicts in Action Descriptions. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Comparing Action Descriptions Based on Semantic Preferences. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Ján Senko |
A Tool for Answering Queries on Action Descriptions. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
Replacements in Non-Ground Answer-Set Programming. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
Replacements in Non-Ground Answer-Set Programming. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink, Hans Tompits, Stefan Woltran (eds.) |
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Stefan Woltran |
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Reasoning about evolving nonmonotonic knowledge bases. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence |
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Updating Action Domain Descriptions. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco |
Boosting Information Integration: The INFOMIX System. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Ján Senko |
KMonitor - A Tool for Monitoring Plan Execution in Action Theories. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
Simplifying Logic Programs Under Uniform and Strong Equivalence. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
On Eliminating Disjunctions in Stable Logic Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
Monitoring Agents using Declarative Planning. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
Efficient Evaluation of Logic Programs for Querying Data Integration Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink |
Uniform Equivalence of Logic Programs under the Stable Model Semantics. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics |
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Declarative Update Policies for Nonmonotonic Knowledge Bases. |
Logics for Emerging Applications of Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
Monitoring Agents Using Declarative Planning. |
KI |
2003 |
DBLP DOI BibTeX RDF |
multi agent systems, knowledge representation, planning |
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Reasoning about Evolving Nonmonotonic Knowledge Bases |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
On Properties of Update Sequences Based on Causal Rejection. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Using Methods of Declarative Logic Programming for Intelligent Information Agents. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
A Generic Approach for Knowledge-Based Information-Site Selection. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
On Properties of Update Sequences Based on Causal Rejection |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Using Methods of Declarative Logic Programming for Intelligent Information Agents |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
A Framework for Declarative Update Specifications in Logic Programs. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Reasoning about Evolving Nonmonotonic Knowledge Bases. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
An Update Front-End for Extended Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
Considerations on Updates of Logic Programs. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits |
A Web-based Tutoring Tool for Calculating Default Logic Extensions. |
WebNet |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")