Concepedia

Thomas Krennwallner

TK

Statistics

Publications

11

Citations

355

H-Index

11

Active since

2008

Affiliations

TU Wien(Current)

University of Calabria

Thomas Krennwallner is an author at TU Wien specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningLogic ProgrammingFormal VerificationAnswer Set ProgrammingProgram AnalysisSoftware AnalysisSemantics

Publications per year

2008–2016

11

Publications

11

Mapping between RDF and XML with XSPARQL

Stefan Bischof, Stefan Decker, Thomas Krennwallner et al. · Journal on Data Semantics · 2012 · 115 citations · Full text

Data Integration, Semantic Web, Xml Database +2

A model building framework for answer set programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni et al. · Theory and Practice of Logic Programming · 2015 · 46 citations · Full text

Artificial Intelligence, Engineering, Model Building Framework +22

Distributed nonmonotonic multi-context systems

Minh Dao-Tran, Thomas Eiter, Michael Fink et al. · 2010 · 32 citations

FLP answer set semantics without circular justifications for general logic programs

Yi-Dong Shen, Kewen Wang, Thomas Eiter et al. · Artificial Intelligence · 2014 · 27 citations · Full text

Computational Logic, Non-monotonic Logic, Engineering +15

Efficient HEX-Program Evaluation Based on Unfounded Sets

Thomas Eiter, Michael Fink, Thomas Krennwallner et al. · Journal of Artificial Intelligence Research · 2014 · 27 citations · Full text

Mathematical Programming, External Atoms, Engineering +15

Rows per page

1–5 of 11