The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Fink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:695-700 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  3. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
    Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  4. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Declarative Update Policies for Nonmonotonic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Logics for Emerging Applications of Databases, 2003, pp:85-129 [Conf]
  5. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
    Resolving Conflicts in Action Descriptions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:367-371 [Conf]
  6. Thomas Eiter, Michael Fink
    Uniform Equivalence of Logic Programs under the Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:224-238 [Conf]
  7. Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
    Efficient Evaluation of Logic Programs for Querying Data Integration Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:163-177 [Conf]
  8. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
    Updating Action Domain Descriptions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:418-423 [Conf]
  9. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    A Framework for Declarative Update Specifications in Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:649-654 [Conf]
  10. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
    Complexity Results for Checking Equivalence of Stratified Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:330-335 [Conf]
  11. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
    Comparing Action Descriptions Based on Semantic Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:124-137 [Conf]
  12. Thomas Eiter, Michael Fink, Ján Senko
    A Tool for Answering Queries on Action Descriptions. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:473-476 [Conf]
  13. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Considerations on Updates of Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:2-20 [Conf]
  14. Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
    Monitoring Agents Using Declarative Planning. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:646-660 [Conf]
  15. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
    Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:377-387 [Conf]
  16. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    A Generic Approach for Knowledge-Based Information-Site Selection. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:459-469 [Conf]
  17. Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
    Replacements in Non-Ground Answer-Set Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:340-351 [Conf]
  18. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
    On Eliminating Disjunctions in Stable Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:447-458 [Conf]
  19. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Reasoning about Evolving Nonmonotonic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:407-421 [Conf]
  20. Thomas Eiter, Michael Fink, Ján Senko
    KMonitor - A Tool for Monitoring Plan Execution in Action Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:416-421 [Conf]
  21. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    An Update Front-End for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:397-401 [Conf]
  22. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
    Simplifying Logic Programs Under Uniform and Strong Equivalence. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:87-99 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:379-383 [Conf]
  24. Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
    Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:123-135 [Conf]
  25. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
    Boosting Information Integration: The INFOMIX System. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:55-66 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2005, pp:915-917 [Conf]
  27. Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits
    A Web-based Tutoring Tool for Calculating Default Logic Extensions. [Citation Graph (0, 0)][DBLP]
    WebNet, 1999, pp:1251-1252 [Conf]
  28. Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
    Replacements in Non-Ground Answer-Set Programming. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:145-153 [Conf]
  29. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    On Properties of Update Sequences Based on Causal Rejection [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  30. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Reasoning about Evolving Nonmonotonic Knowledge Bases [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  31. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Using Methods of Declarative Logic Programming for Intelligent Information Agents [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  32. Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
    Monitoring Agents using Declarative Planning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:345-370 [Journal]
  33. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Reasoning about evolving nonmonotonic knowledge bases. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:2, pp:389-440 [Journal]
  34. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    On Properties of Update Sequences Based on Causal Rejection. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:6, pp:711-767 [Journal]
  35. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Using Methods of Declarative Logic Programming for Intelligent Information Agents. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:6, pp:645-709 [Journal]
  36. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
    Comparing action descriptions based on semantic preferences. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:273-304 [Journal]
  37. Thomas Eiter, Michael Fink, Stefan Woltran
    Semantical Characterizations and Complexity of Equivalences in Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  38. Thomas Eiter, Michael Fink, Hans Tompits
    A Knowledge-Based Approach for Selecting Information Sources [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  39. Thomas Eiter, Michael Fink, Stefan Woltran
    Semantical characterizations and complexity of equivalences in answer set programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]

  40. Error Classification in Action Descriptions: A Heuristic Approach. [Citation Graph (, )][DBLP]


  41. Combining Nonmonotonic Knowledge Bases with External Sources. [Citation Graph (, )][DBLP]


  42. Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. [Citation Graph (, )][DBLP]


  43. Modular Nonmonotonic Logic Programming Revisited. [Citation Graph (, )][DBLP]


  44. Finding Similar or Diverse Solutions in Answer Set Programming. [Citation Graph (, )][DBLP]


  45. HEX Programs with Action Atoms. [Citation Graph (, )][DBLP]


  46. Decomposition of Declarative Knowledge Bases with External Functions. [Citation Graph (, )][DBLP]


  47. The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. [Citation Graph (, )][DBLP]


  48. The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. [Citation Graph (, )][DBLP]


  49. Decomposition of Distributed Nonmonotonic Multi-Context Systems. [Citation Graph (, )][DBLP]


  50. A Logical Semantics for Description Logic Programs. [Citation Graph (, )][DBLP]


  51. Preference-Based Inconsistency Assessment in Multi-Context Systems. [Citation Graph (, )][DBLP]


  52. Distributed Nonmonotonic Multi-Context Systems. [Citation Graph (, )][DBLP]


  53. Paracoherent Answer Set Programming. [Citation Graph (, )][DBLP]


  54. Finding Explanations of Inconsistency in Multi-Context Systems. [Citation Graph (, )][DBLP]


  55. Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. [Citation Graph (, )][DBLP]


  56. Updating action domain descriptions. [Citation Graph (, )][DBLP]


  57. Complexity results for answer set programming with bounded predicate arities and implications. [Citation Graph (, )][DBLP]


  58. Detecting Ads in Video Streams Using Acoustic and Visual Cues. [Citation Graph (, )][DBLP]


  59. A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002