The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Fink 0001" ( http://dblp.L3S.de/Authors/Michael_Fink_0001 )

URL (Homepage):  http://www.kr.tuwien.ac.at/staff/michael/  Author page on DBLP  Author page in RDF  Community of Michael Fink 0001 in ASPL-2

Publication years (Num. hits)
1999-2003 (18) 2004-2006 (18) 2007-2010 (26) 2011-2012 (21) 2013-2014 (25) 2015-2018 (14)
Publication types (Num. hits)
article(42) incollection(1) inproceedings(77) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 17 keywords

Results
Found 123 publication records. Showing 122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Fink 0001, Thomas Layer, Georg Mackenbrock, Michael Sprinzl Baseline Detection in Historical Documents using Convolutional U-Nets. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 Stream Reasoning. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Thomas Layer, Georg Mackenbrock, Michael Sprinzl Baseline Detection in Historical Documents Using Convolutional U-Nets. Search on Bibsonomy DAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Data repair of inconsistent nonmonotonic description logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Michael Fink 0001, Nicola Leone, João Moura 0001 Semi-equilibrium models for paracoherent answer set programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Domain expansion for ASP-programs with external sources. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Computing Repairs of Inconsistent DL-Programs over EL Ontologies. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova 0001, Andrea Tucci, Anton Wimmer Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy IEEE Trans. Comput. Intellig. and AI in Games The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for answer set programming with external computations. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Distributed Evaluation of Nonmonotonic Multi-context Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for Answer Set Programming with external computations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 Towards Ideal Semantics for Analyzing Stream Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Antonius Weinzierl Preference-Based Diagnosis Selection in Multi-Context Systems. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Peter Schüller, Antonius Weinzierl Finding explanations of inconsistency in multi-context systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Efficient HEX-Program Evaluation Based on Unfounded Sets. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Martin Homola, Alessandra Mileo Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 Causal Graph Justifications of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 Causal Graph Justifications of Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Computing Repairs for Inconsistent DL-programs over EL Ontologies. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Christoph Redl, Daria Stepanova 0001 Exploiting Support Sets for Answer Set Programs with External Evaluations. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Towards Practical Deletion Repair of Inconsistent DL-programs. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandra Mileo, Martin Homola, Michael Fink 0001 Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). Search on Bibsonomy EKAW (Satellite Events) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Towards Practical Deletion Repair of Inconsistent DL-programs. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Yuliya Lierler Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Fink 0001, Yuliya Lierler Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Eliminating Unfounded Set Checking for HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 Finding similar/diverse solutions in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Jörg Pührer, Hans Tompits, Stefan Woltran Model-based recasting in answer-set programming. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rosamaria Barilaro, Michael Fink 0001, Francesco Ricca, Giorgio Terracina Towards Query Answering in Relational Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Antic, Thomas Eiter, Michael Fink 0001 Hex Semantics via Approximation Fixpoint Theory. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller ActHEX: Implementing HEX Programs with Action Atoms. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Liberal Safety for Answer Set Programs with External Sources. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl hex-Programs with Existential Quantification. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Inconsistency Management for Description Logic Programs and Beyond. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Data Repair of Inconsistent DL-Programs. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP Solving with External Sources Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP solving with external sources. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Cristina Feier, Michael Fink 0001 Simulating Production Rules Using ACTHEX. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Gerald Weidinger, Antonius Weinzierl OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Exploiting Unfounded Sets for HEX-Program Evaluation. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter A. Boncz, Thomas Eiter, Michael Fink 0001 Linked Stream Data Processing Engines: Facts and Figures. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001 Paraconsistent Hybrid Theories. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Semantic Independence in DL-Programs. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 Finding Similar/Diverse Solutions in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh Symmetry Breaking for Distributed Multi-Context Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Fink 0001 A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Michael Fink 0001 Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh Symmetry Breaking for Distributed Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Peter Schüller Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandra Mileo, Michael Fink 0001 (eds.) Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011 Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Peter Schüller Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Fink 0001, Lucantonio Ghionna, Antonius Weinzierl Relational Information Exchange and Aggregation in Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Model Streaming for Distributed Multi-Context Systems. Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Peter Schüller The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Michael Fink 0001, Antonius Weinzierl Managed Multi-Context Systems. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko Updating action domain descriptions. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001 A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Decomposition of Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Markus Bögl, Thomas Eiter, Michael Fink 0001, Peter Schüller The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, David Pearce 0001 A Logical Semantics for Description Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Antonius Weinzierl Preference-Based Inconsistency Assessment in Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner First-Order Encodings for Modular Nonmonotonic Datalog Programs. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Peter Schüller, Antonius Weinzierl Finding Explanations of Inconsistency in Multi-Context Systems. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, João Moura 0001 Paracoherent Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Selen Basol, Ozan Erdem, Michael Fink 0001, Giovambattista Ianni HEX Programs with Action Atoms. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 Finding Similar or Diverse Solutions in Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF similar/diverse solutions, answer set programming, phylogenies
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Modular Nonmonotonic Logic Programming Revisited. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modular Logic Programming, Knowledge Representation, Answer Set Programming
1Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner Combining Nonmonotonic Knowledge Bases with External Sources. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Decomposition of Declarative Knowledge Bases with External Functions. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo Repair localization for query answering from inconsistent databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs
1Thomas Eiter, Michael Fink 0001, Ján Senko Error Classification in Action Descriptions: A Heuristic Approach. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Fink 0001 Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF uniform equivalence, knowledge representation, program optimization, answer-set programming
1Thomas Eiter, Michael Fink 0001, Stefan Woltran Semantical characterizations and complexity of equivalences in answer set programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
1Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran Complexity results for answer set programming with bounded predicate arities and implications. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68Q17
1Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko Comparing action descriptions based on semantic preferences. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 68T27
1Thomas Eiter, Michael Fink 0001, Hans Tompits A knowledge-based approach for selecting information sources. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Reinhard Pichler, Hans Tompits, Stefan Woltran Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Complexity Results for Checking Equivalence of Stratified Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits A Knowledge-Based Approach for Selecting Information Sources Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Ján Senko A Tool for Answering Queries on Action Descriptions. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko Comparing Action Descriptions Based on Semantic Preferences. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Hans Tompits, Stefan Woltran (eds.) 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran Replacements in Non-Ground Answer-Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran Replacements in Non-Ground Answer-Set Programming. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko Resolving Conflicts in Action Descriptions. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Stefan Woltran Semantical Characterizations and Complexity of Equivalences in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about evolving nonmonotonic knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
1Thomas Eiter, Michael Fink 0001, Ján Senko KMonitor - A Tool for Monitoring Plan Execution in Action Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, 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. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, 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. Search on Bibsonomy SIGMOD Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Gianluigi Greco Boosting Information Integration: The INFOMIX System. Search on Bibsonomy SEBD The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 122 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license