Thomas Krennwallner
Thomas Krennwallner
Validere Technologies Inc.
Bestätigte E-Mail-Adresse bei postsubmeta.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Answer Set Programming: A Primer
T Eiter, G Ianni, T Krennwallner
Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009
229*2009
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1452012
Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
T Eiter, T Krennwallner
Springer, 2012
113*2012
Mapping between RDF and XML with XSPARQL
S Bischof, S Decker, T Krennwallner, N Lopes, A Polleres
Journal on Data Semantics 1 (3), 147-185, 2012
1122012
Rules and ontologies for the semantic web
T Eiter, G Ianni, T Krennwallner, A Polleres
Reasoning Web, 1-53, 2008
1112008
XSPARQL: Traveling between the XML and RDF worlds–and avoiding the XSLT pilgrimage
W Akhtar, J Kopecký, T Krennwallner, A Polleres
The Semantic Web: Research and Applications, 432-447, 2008
1052008
Nested HEX-Programs
T Eiter, T Krennwallner, C Redl
19th International Conference on Applications of Declarative Programming and …, 2011
72*2011
Semantically Enriched Multi-Modal Routing
T Eiter, T Krennwallner, M Prandtstetter, C Rudloff, P Schneider, M Straub
19th ITS World Congress (ITS World 2012), 10, 2012
64*2012
The Fourth Answer Set Programming Competition: Preliminary Report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
Logic Programming and Nonmonotonic Reasoning 2013 (LPNMR), 42-53, 2013
622013
Modular nonmonotonic logic programming revisited
M Dao-Tran, T Eiter, M Fink, T Krennwallner
Logic Programming, 145-159, 2009
542009
Distributed nonmonotonic multi-context systems
M Dao-Tran, T Eiter, M Fink, T Krennwallner
12th International Conference on the Principles of Knowledge Representation …, 2010
422010
Conflict-driven ASP solving with external sources
T Eiter, M Fink, T Krennwallner, C Redl
Theory and Practice of Logic Programming 12 (4-5), 659-679, 2012
372012
Realizing default logic over description logic knowledge bases
M Dao-Tran, T Eiter, T Krennwallner
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 602-613, 2009
352009
Hybrid reasoning with rules and ontologies
W Drabent, T Eiter, G Ianni, T Krennwallner, T Lukasiewicz, J Małuszyński
Semantic techniques for the web, 1-49, 2009
352009
FLP answer set semantics without circular justifications for general logic programs
YD Shen, K Wang, T Eiter, M Fink, C Redl, T Krennwallner, J Deng
Artificial Intelligence 213, 1-41, 2014
332014
Efficient HEX-Program Evaluation Based on Unfounded Sets
T Eiter, M Fink, T Krennwallner, C Redl, P Schüller
Journal of Artificial Intelligence Research 49, 269-321, 2014
332014
Exploiting conjunctive queries in description logic programs
T Eiter, G Ianni, T Krennwallner, R Schindlauer
Annals of Mathematics and Artificial Intelligence 53 (1), 115-152, 2008
312008
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
G Ianni, T Krennwallner, A Martello, A Polleres
8th International Semantic Web Conference (ISWC 2009), 310-327, 2009
292009
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
272020
A rule system for querying persistent RDFS data
G Ianni, T Krennwallner, A Martello, A Polleres
The Semantic Web: Research and Applications, 857-862, 2009
262009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20