引用次数
引用: 1,948
H-指数: 21
I10-指数 : 37
出版物: 74
HEX-programs with nested program calls
Thomas Eiter , Thomas Krennwallner , Christoph Redl
Springer Berlin Heidelberg 269 -278
14
2011
Dynamic distributed nonmonotonic multi-context systems
Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary 31
13
2011
HEX-programs with existential quantification
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers 20 99 -117
11
2014
Reasoning Web-Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Thomas Eiter , Thomas Krennwallner
Springer 7487
4
2012
Grounding HEX-programs with expanding domains
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
Workshop on Grounding and Transformations for Theories with Variables (GTTV’13) 3 -15
3
2013
Improving HEX-program evaluation based on unfounded sets
Thomas Eiter , MICHAEL Fink , Thomas Krennwallner , Christoph Redl
Tech. Rep. INFSYS RR-1843-12-08, Institut für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria (Jul 2012)
3
2012
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
arXiv preprint arXiv:1301.1390
2
2013
Declarative merging of and reasoning about decision diagrams
Thomas Eiter , Thomas Krennwallner , Christoph Redl
Workshop on Constraint Based Methods for Bioinformatics (WCB 2011), Perugia, Italy 3 -15
2
2011
Nested hex-programs
Thomas Eiter , Thomas Krennwallner , Christoph Redl
arXiv preprint arXiv:1108.5626
1
2011
Conflict-driven ASP Solving with External Source Access
Thomas Eiter , Michael Fink , Thomas Krennwallner , Christoph Redl
2012
Decomposing HEX-Programs: Preliminary Results
Thomas Eiter , Michael Fink , Thomas Krennwallner
Proceedings of the Junior Scientist Conference 2008 29 -30
2008
Mapping between RDF and XML with XSPARQL
Stefan Bischof , Stefan Decker , Thomas Krennwallner , Nuno Lopes
https://deri.ie/fileadmin/documents/DERI-TR-2011-04-04.pdf ( DERI TECHNICAL REPORT 2011-04-04)
148
2011
Lightweight spatial conjunctive query answering using keywords
Thomas Eiter , Thomas Krennwallner , Patrik Schneider
The Semantic Web: Semantics and Big Data (ESWC 2013) 243 -258
18
2013
Semantically enriched multi-modal routing
Thomas Eiter , Thomas Krennwallner , Matthias Prandtstetter , Christian Rudloff
19th ITS World Congress
2012
Realizing default logic over description logic knowledge bases
Minh Dao-Tran , Thomas Eiter , Thomas Krennwallner
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 602 -613
38
2009
A rule system for querying persistent RDFS data
Giovambattista Ianni , Thomas Krennwallner , Alessandra Martello , Axel Polleres
The Semantic Web: Research and Applications 857 -862
30
2009
Pushing efficient evaluation of HEX programs by modular decomposition
Thomas Eiter , Michael Fink , Giovambattista Ianni , Thomas Krennwallner
Logic Programming and Nonmonotonic Reasoning 93 -106
22
2011
Uniform Evaluation of Nonmonotonic DL-Programs
Thomas Eiter , Thomas Krennwallner , Patrik Schneider , Guohui Xiao
7th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2012) 1 -22
18
2012
XSPARQL Language Specification, January 2009
Axel Polleres , Thomas Krennwallner , Nuno Lopes , Jacek Kopecký
W3C member submission
13
2009