Thomas Krennwallner

MaRDI QIDQ254000zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
ASP-Core-2 input language format Theory and Practice of Logic Programming	2021-09-03	Paper
A model building framework for answer set programming with external computations Theory and Practice of Logic Programming	2017-11-09	Paper
Domain expansion for ASP-programs with external sources Artificial Intelligence	2016-03-08	Paper
Distributed evaluation of nonmonotonic multi-context systems Journal of Artificial Intelligence Research	2015-05-28	Paper
FLP answer set semantics without circular justifications for general logic programs Artificial Intelligence	2014-06-10	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets Journal of Artificial Intelligence Research	2014-03-24	Paper
Conflict-driven ASP solving with external sources Theory and Practice of Logic Programming	2013-03-13	Paper
scientific article; zbMATH DE number 6139986 (Why is no real title available?)	2013-02-28	Paper
Modular nonmonotonic logic programming revisited Logic Programming	2012-11-13	Paper
Exploiting unfounded sets for HEX-program evaluation Logics in Artificial Intelligence	2012-09-21	Paper
Inconsistency management for traffic regulations: formalization and complexity results Logics in Artificial Intelligence	2012-09-21	Paper
Promoting modular nonmonotonic logic programs	2012-08-29	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
Symmetry breaking for distributed multi-context systems Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems Logics in Artificial Intelligence	2010-10-01	Paper
Decomposition of distributed nonmonotonic multi-context systems Logics in Artificial Intelligence	2010-10-01	Paper
Combining nonmonotonic knowledge bases with external sources Frontiers of Combining Systems	2010-01-07	Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Answer Set Programming: A Primer Lecture Notes in Computer Science	2009-10-28	Paper
Exploiting conjunctive queries in description logic programs Annals of Mathematics and Artificial Intelligence	2009-07-06	Paper
Realizing Default Logic over Description Logic Knowledge Bases Lecture Notes in Computer Science	2009-07-02	Paper

Research outcomes over time

This page was built for person: Thomas Krennwallner