Thomas Krennwallner

Available identifiers

zbMath Open krennwallner.thomasWikidataQ57413170 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
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results	2012-09-21	Paper
Exploiting Unfounded Sets for HEX-Program Evaluation	2012-09-21	Paper
Promoting Modular Nonmonotonic Logic Programs	2012-08-29	Paper
Symmetry Breaking for Distributed Multi-Context Systems	2011-05-26	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	2011-05-26	Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems	2010-10-01	Paper
The DMCS Solver for 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Krennwallner