default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Fink 0001
Person information
- affiliation: TU Wien, Vienna, Austria
- affiliation: Deutsches Medizinrechenzentrum GmbH & Co KG, Vienna, Austria
Other persons with the same name
- Michael Fink — disambiguation page
- Michael Fink 0002 — The Hebrew University of Jerusalem, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[c77]Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl
:
Baseline Detection in Historical Documents Using Convolutional U-Nets. DAS 2018: 37-42- [r1]Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Stream Reasoning. Encyclopedia of Database Systems (2nd ed.) 2018 - [i17]Michael Fink, Thomas Layer, Georg Mackenbrock, Michael Sprinzl:
Baseline Detection in Historical Documents using Convolutional U-Nets. CoRR abs/1810.09343 (2018) - 2016
- [j25]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Domain expansion for ASP-programs with external sources. Artif. Intell. 233: 84-121 (2016) - [j24]Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234: 219-271 (2016) - [j23]Thomas Eiter, Michael Fink, Daria Stepanova:
Data repair of inconsistent nonmonotonic description logic programs. Artif. Intell. 239: 7-53 (2016) - [j22]Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs of Inconsistent DL-Programs over EL Ontologies. J. Artif. Intell. Res. 56: 463-515 (2016) - [j21]Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer:
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games 8(2): 128-139 (2016) - [j20]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16(4): 418-464 (2016) - 2015
- [j19]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52: 543-600 (2015) - [c76]Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI 2015: 1431-1438 - [c75]Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 233-248 - [i16]Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR abs/1505.05365 (2015) - [i15]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. CoRR abs/1507.01451 (2015) - 2014
- [j18]Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - [j17]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216: 233-274 (2014) - [j16]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49: 269-321 (2014) - [j15]Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. 14(4-5): 603-618 (2014) - [c74]Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova:
Exploiting Support Sets for Answer Set Programs with External Evaluations. AAAI 2014: 1041-1048 - [c73]Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. Description Logics 2014: 169-180 - [c72]Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. ECAI 2014: 285-290 - [c71]Alessandra Mileo, Martin Homola, Michael Fink:
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) 2014: 33-34 - [c70]Pedro Cabalar, Jorge Fandiño, Michael Fink:
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. JELIA 2014: 297-310 - [c69]Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs for Inconsistent DL-programs over EL Ontologies. JELIA 2014: 426-441 - [i14]Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. CoRR abs/1409.7281 (2014) - [i13]Michael Fink, Martin Homola, Alessandra Mileo:
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). CoRR abs/1412.8531 (2014) - 2013
- [j14]Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran:
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23(1-2): 75-104 (2013) - [j13]Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. 13(3): 303-359 (2013) - [c68]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Liberal Safety for Answer Set Programs with External Sources. AAAI 2013: 267-275 - [c67]Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer:
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. PAI@AI*IA 2013: 29-35 - [c66]Thomas Eiter, Michael Fink, Daria Stepanova:
Data Repair of Inconsistent DL-Programs. IJCAI 2013: 869-876 - [c65]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
hex-Programs with Existential Quantification. KDPD 2013: 99-117 - [c64]Christian Antic, Thomas Eiter, Michael Fink:
Hex Semantics via Approximation Fixpoint Theory. LPNMR 2013: 102-115 - [c63]Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina:
Towards Query Answering in Relational Multi-Context Systems. LPNMR 2013: 168-173 - [c62]Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller:
ActHEX: Implementing HEX Programs with Action Atoms. LPNMR 2013: 317-322 - [c61]Thomas Eiter, Michael Fink, Daria Stepanova:
Inconsistency Management for Description Logic Programs and Beyond. RR 2013: 1-3 - [i12]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013) - [i11]Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary. CoRR abs/1301.2215 (2013) - [i10]Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. CoRR abs/1312.7422 (2013) - 2012
- [j12]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12(4-5): 659-679 (2012) - [c60]Thomas Eiter, Cristina Feier, Michael Fink:
Simulating Production Rules Using ACTHEX. Correct Reasoning 2012: 211-228 - [c59]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175 - [c58]Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl:
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA 2012: 480-483 - [c57]Michael Fink:
Paraconsistent Hybrid Theories. KR 2012 - [c56]Thomas Eiter, Michael Fink, Daria Stepanova:
Semantic Independence in DL-Programs. RR 2012: 58-74 - [c55]Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter A. Boncz, Thomas Eiter, Michael Fink:
Linked Stream Data Processing Engines: Facts and Figures. ISWC (2) 2012: 300-312 - [i9]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. CoRR abs/1210.1649 (2012) - 2011
- [j11]Michael Fink:
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Theory Pract. Log. Program. 11(2-3): 171-202 (2011) - [c54]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 - [c53]Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. IJCAI 2011: 786-791 - [c52]Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP 2011: 3-26 - [c51]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR 2011: 11-22 - [c50]Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR 2011: 23-35 - [c49]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39 - [c48]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106 - [c47]Thomas Eiter, Michael Fink, Peter Schüller:
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR 2011: 107-119 - [c46]Michael Fink, Lucantonio Ghionna, Antonius Weinzierl:
Relational Information Exchange and Aggregation in Multi-Context Systems. LPNMR 2011: 120-133 - [e2]Alessandra Mileo, Michael Fink:
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011. CEUR Workshop Proceedings 738, CEUR-WS.org 2011 [contents] - [i8]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011) - [i7]Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding Similar/Diverse Solutions in Answer Set Programming. CoRR abs/1108.3260 (2011) - 2010
- [j10]Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating action domain descriptions. Artif. Intell. 174(15): 1172-1221 (2010) - [c45]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77 - [c44]Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni:
HEX Programs with Action Atoms. ICLP (Technical Communications) 2010: 24-33 - [c43]Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37 - [c42]Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA 2010: 143-155 - [c41]Michael Fink, David Pearce:
A Logical Semantics for Description Logic Programs. JELIA 2010: 156-168 - [c40]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 - [c39]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 - [c38]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Nonmonotonic Multi-Context Systems. KR 2010 - [c37]Thomas Eiter, Michael Fink, João Moura:
Paracoherent Answer Set Programming. KR 2010 - [c36]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010 - [i6]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)
2000 – 2009
- 2009
- [c35]Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner:
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42 - [c34]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159 - [c33]Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding Similar or Diverse Solutions in Answer Set Programming. ICLP 2009: 342-356 - [c32]Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758 - [c31]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100 - 2008
- [j9]Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo:
Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2): 10:1-10:51 (2008) - [c30]Thomas Eiter, Michael Fink, Ján Senko:
Error Classification in Action Descriptions: A Heuristic Approach. AAAI 2008: 905-910 - [c29]Michael Fink:
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ICLP 2008: 99-113 - 2007
- [j8]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) - [j7]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) - [j6]Thomas Eiter, Michael Fink, Stefan Woltran:
Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3): 17 (2007) - [j5]Thomas Eiter, Michael Fink, Hans Tompits:
A knowledge-based approach for selecting information sources. Theory Pract. Log. Program. 7(3): 249-300 (2007) - [c28]Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI 2007: 330-335 - [c27]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 - 2006
- [c26]Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Resolving Conflicts in Action Descriptions. ECAI 2006: 367-371 - [c25]Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing Action Descriptions Based on Semantic Preferences. JELIA 2006: 124-137 - [c24]Thomas Eiter, Michael Fink, Ján Senko:
A Tool for Answering Queries on Action Descriptions. JELIA 2006: 473-476 - [c23]Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. KR 2006: 340-351 - [c22]Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. WLP 2006: 145-153 - [e1]Michael Fink, Hans Tompits, Stefan Woltran:
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. INFSYS Research Report 1843-06-02, Technische Universität Wien, Austria 2006 [contents] - [i5]Thomas Eiter, Michael Fink, Hans Tompits:
A Knowledge-Based Approach for Selecting Information Sources. CoRR abs/cs/0604086 (2006) - 2005
- [j4]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2): 389-440 (2005) - [c21]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 - [c20]Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating Action Domain Descriptions. IJCAI 2005: 418-423 - [c19]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 - [c18]Thomas Eiter, Michael Fink, Ján Senko:
KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR 2005: 416-421 - [c17]Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco:
Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66 - [c16]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 - [i4]Thomas Eiter, Michael Fink, Stefan Woltran:
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. CoRR abs/cs/0502078 (2005) - 2004
- [c15]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 - [c14]Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
On Eliminating Disjunctions in Stable Logic Programming. KR 2004: 447-458 - [c13]Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR 2004: 87-99 - 2003
- [j3]Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents using Declarative Planning. Fundam. Informaticae 57(2-4): 345-370 (2003) - [c12]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 - [c11]Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Answer Set Programming 2003 - [c10]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Declarative Update Policies for Nonmonotonic Knowledge Bases. Logics for Emerging Applications of Databases 2003: 85-129 - [c9]Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo:
Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP 2003: 163-177 - [c8]Thomas Eiter, Michael Fink:
Uniform Equivalence of Logic Programs under the Stable Model Semantics. ICLP 2003: 224-238 - [c7]Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents Using Declarative Planning. KI 2003: 646-660 - 2002
- [j2]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents. Theory Pract. Log. Program. 2(6): 645-709 (2002) - [j1]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection. Theory Pract. Log. Program. 2(6): 711-767 (2002) - [c6]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Generic Approach for Knowledge-Based Information-Site Selection. KR 2002: 459-469 - [i3]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases. CoRR cs.AI/0209019 (2002) - 2001
- [c5]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654 - [c4]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases. LPAR 2001: 407-421 - [c3]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
An Update Front-End for Extended Logic Programs. LPNMR 2001: 397-401 - [i2]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection. CoRR cs.AI/0109006 (2001) - [i1]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents. CoRR cs.MA/0108008 (2001) - 2000
- [c2]Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Considerations on Updates of Logic Programs. JELIA 2000: 2-20
1990 – 1999
- 1999
- [c1]Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits:
A Web-based Tutoring Tool for Calculating Default Logic Extensions. WebNet 1999: 1251-1252
Coauthor Index
[r1] [j25] [j24] [j23] [j22] [j20] [j19] [c76] [c75] [i16] [i15] [j18] [j17] [j16] [c74] [c73] [c72] [c69] [j14] [j13] [c68] [c66] [c65] [c64] [c61] [i12] [j12] [c60] [c59] [c58] [c56] [c55] [i9] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [i8] [i7] [j10] [c45] [c43] [c42] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [j9] [c30] [j8] [j7] [j6] [j5] [c28] [c26] [c25] [c24] [c23] [c22] [i5] [j4] [c21] [c20] [c19] [c18] [c17] [c16] [i4] [c15] [c14] [c13] [j3] [c12] [c11] [c10] [c9] [c8] [c7] [j2] [j1] [c6] [i3] [c5] [c4] [c3] [i2] [i1] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
