引用次数
引用: 1,948
H-指数: 21
I10-指数 : 37
出版物: 74
Decomposition of declarative knowledge bases with external functions
Thomas Krennwallner , Thomas Eiter , Michael Fink
international joint conference on artificial intelligence 752 -758
8
2009
Distributed nonmonotonic multi-context systems
Minh Dao-Tran , Thomas Krennwallner , Thomas Eiter , Michael Fink
principles of knowledge representation and reasoning 60 -70
28
2010
Liberal safety for answer set programs with external sources
Thomas Krennwallner , Thomas Eiter , Christoph Redl , Michael Fink
national conference on artificial intelligence 267 -275
14
2013
Promoting Modular Nonmonotonic Logic Programs
Thomas Krennwallner
international conference on logic programming 11 279
1
2011
RDF and XML: Towards a unified query layer
Alexandre Passant , Thomas Krennwallner , Jérôme Euzenat , Orri Erling
Proc. W3C workshop on RDF next steps
2
2010
ASP-Core-2 Input Language Format
Marco Maratea , Francesco Calimeri , Thomas Krennwallner , Martin Gebser
Theory and Practice of Logic Programming 20 ( 2) 294 -309
74
2020
Conflict-driven asp solving with external sources
Thomas Krennwallner , Thomas Eiter , Christoph Redl , Michael Fink
Theory and Practice of Logic Programming 12 ( 4) 659 -679
24
2012
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results
Harald Beck , Thomas Eiter , Thomas Krennwallner
Logics in Artificial Intelligence 80 -93
5
2012
Exploiting Unfounded Sets for HEX-Program Evaluation
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
Logics in Artificial Intelligence 160 -175
6
2012
Decomposition of Distributed Nonmonotonic Multi-Context Systems
Seif El-Din Bairakdar , Minh Dao-Tran , Thomas Eiter , Michael Fink
Logics in Artificial Intelligence 24 -37
11
2010
The DMCS solver for distributed nonmonotonic multi-context systems
Seif El-Din Bairakdar , Minh Dao-Tran , Thomas Eiter , Michael Fink
european conference on logics in artificial intelligence 352 -355
17
2010
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
Giovambattista Ianni , Thomas Krennwallner , Alessandra Martello , Axel Polleres
international semantic web conference 5823 310 -327
21
2009
Exploiting conjunctive queries in description logic programs
Thomas Eiter , Giovambattista Ianni , Thomas Krennwallner , Roman Schindlauer
Annals of Mathematics and Artificial Intelligence 53 ( 1) 115 -152
26
2008
Modular Nonmonotonic Logic Programming Revisited
Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
international conference on logic programming 145 -159
46
2009
Domain expansion for ASP-programs with external sources
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
Artificial Intelligence 233 84 -121
16
2016
FLP answer set semantics without circular justifications for general logic programs
Yi-Dong Shen , Kewen Wang , Thomas Eiter , Michael Fink
Artificial Intelligence 213 ( 1) 1 -41
25
2014
Hybrid Reasoning with Rules and Ontologies
Włodzimierz Drabent , Thomas Eiter , Giovambattista Ianni , Thomas Krennwallner
Semantic Techniques for the Web 5500 1 -49
38
2009
Declarative Belief Set Merging Using Merging Plans
Christoph Redl , Thomas Eiter , Thomas Krennwallner
Practical Aspects of Declarative Languages 99 -114
6
2011
Distributed evaluation of nonmonotonic multi-context systems
Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
Journal of Artificial Intelligence Research 52 ( 1) 543 -600
14
2015