Thomas Krennwallner

From MaRDI portal
Person:254000

Available identifiers

zbMath Open krennwallner.thomasWikidataQ57413170 ScholiaQ57413170MaRDI QIDQ254000

List of research outcomes

PublicationDate of PublicationType
ASP-Core-2 Input Language Format2021-09-03Paper
A model building framework for answer set programming with external computations2017-11-09Paper
Domain expansion for ASP-programs with external sources2016-03-08Paper
Weighted Electoral Control2015-05-28Paper
FLP answer set semantics without circular justifications for general logic programs2014-06-10Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets2014-03-24Paper
Conflict-driven ASP solving with external sources2013-03-13Paper
https://portal.mardi4nfdi.de/entity/Q49068842013-02-28Paper
Modular Nonmonotonic Logic Programming Revisited2012-11-13Paper
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results2012-09-21Paper
Exploiting Unfounded Sets for HEX-Program Evaluation2012-09-21Paper
Promoting Modular Nonmonotonic Logic Programs2012-08-29Paper
Symmetry Breaking for Distributed Multi-Context Systems2011-05-26Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition2011-05-26Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems2010-10-01Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems2010-10-01Paper
Combining Nonmonotonic Knowledge Bases with External Sources2010-01-07Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs2009-11-10Paper
Answer Set Programming: A Primer2009-10-28Paper
Exploiting conjunctive queries in description logic programs2009-07-06Paper
Realizing Default Logic over Description Logic Knowledge Bases2009-07-02Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Thomas Krennwallner