دنبال کردن
Thomas Krennwallner
عنوان
نقل شده توسط
نقل شده توسط
سال
Answer Set Programming: A Primer‏
T Eiter, G Ianni, T Krennwallner‏
Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009‏
3212009
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‏
2482020
ASP-Core-2: Input language format‏
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...‏
ASP Standardization Working Group, 2012‏
1572012
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‏
1502012
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‏
130*2012
Rules and ontologies for the semantic web‏
T Eiter, G Ianni, T Krennwallner, A Polleres‏
Reasoning Web, 1-53, 2008‏
1262008
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‏
1182008
Nested HEX-Programs‏
T Eiter, T Krennwallner, C Redl‏
19th International Conference on Applications of Declarative Programming and …, 2011‏
86*2011
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‏
752013
Modular nonmonotonic logic programming revisited‏
M Dao-Tran, T Eiter, M Fink, T Krennwallner‏
Logic Programming, 145-159, 2009‏
652009
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‏
442012
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
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‏
402009
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‏
372009
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‏
352014
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‏
342014
ASP-Core-2: Input language format. 2012‏
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...‏
URL https://www. mat. unical. it/aspcomp2013/files/ASP-CORE-2.01 c. pdf, 2015‏
322015
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‏
312009
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
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‏
302009
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20