Thomas Krennwallner

Available identifiers

zbMath Open krennwallner.thomasDBLP07/2478WikidataQ57413170 ScholiaQ57413170MaRDI QIDQ254000

List of research outcomes

Publication	Date of Publication	Type
ASP-Core-2 Input Language Format	2021-09-03	Paper
A model building framework for answer set programming with external computations	2017-11-09	Paper
Domain expansion for ASP-programs with external sources	2016-03-08	Paper
Weighted Electoral Control	2015-05-28	Paper
FLP answer set semantics without circular justifications for general logic programs	2014-06-10	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets	2014-03-24	Paper
Conflict-driven ASP solving with external sources	2013-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4906884	2013-02-28	Paper
Modular Nonmonotonic Logic Programming Revisited	2012-11-13	Paper
Exploiting Unfounded Sets for HEX-Program Evaluation	2012-09-21	Paper
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results	2012-09-21	Paper
Promoting modular nonmonotonic logic programs	2012-08-29	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	2011-05-26	Paper
Symmetry Breaking for Distributed Multi-Context Systems	2011-05-26	Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems	2010-10-01	Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems	2010-10-01	Paper
Combining nonmonotonic knowledge bases with external sources	2010-01-07	Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs	2009-11-10	Paper
Answer Set Programming: A Primer	2009-10-28	Paper
Exploiting conjunctive queries in description logic programs	2009-07-06	Paper
Realizing Default Logic over Description Logic Knowledge Bases	2009-07-02	Paper

Research outcomes over time

This page was built for person: Thomas Krennwallner