Answer Set Programming: A Primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009 | 291 | 2009 |
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 | 188 | 2020 |
ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 171 | 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 | 144 | 2012 |
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 | 131* | 2012 |
Rules and ontologies for the semantic web T Eiter, G Ianni, T Krennwallner, A Polleres Reasoning Web, 1-53, 2008 | 127 | 2008 |
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 | 117 | 2008 |
Nested HEX-Programs T Eiter, T Krennwallner, C Redl 19th International Conference on Applications of Declarative Programming and …, 2011 | 83* | 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 | 69 | 2013 |
Modular nonmonotonic logic programming revisited M Dao-Tran, T Eiter, M Fink, T Krennwallner Logic Programming, 145-159, 2009 | 64 | 2009 |
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 | 42 | 2012 |
Distributed nonmonotonic multi-context systems M Dao-Tran, T Eiter, M Fink, T Krennwallner 12th International Conference on the Principles of Knowledge Representation …, 2010 | 42 | 2010 |
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 | 39 | 2009 |
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 | 37 | 2009 |
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 | 36 | 2014 |
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 | 34 | 2014 |
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 | 31 | 2008 |
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 | 30 | 2009 |
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 | 30 | 2009 |
Domain expansion for ASP-programs with external sources T Eiter, M Fink, T Krennwallner, C Redl Artificial Intelligence 233, 84-121, 2016 | 27 | 2016 |