Peter Schüller

From MaRDI portal
Person:460630

Available identifiers

zbMath Open schuller.peterWikidataQ58386175 ScholiaQ58386175MaRDI QIDQ460630

List of research outcomes





PublicationDate of PublicationType
Answer Set Programming with External Source Access2022-07-01Paper
https://portal.mardi4nfdi.de/entity/Q50205422022-01-06Paper
Abstraction for non-ground answer set programs2021-11-02Paper
Partial Compilation of ASP Programs2020-05-04Paper
The Hexlite solver. Lightweight and efficient evaluation of HEX programs2020-02-18Paper
Abstraction for non-ground answer set programs2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q46311922019-04-24Paper
Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition2018-11-12Paper
A model building framework for answer set programming with external computations2017-11-09Paper
Modeling Variations of First-Order Horn Abduction in Answer Set Programming2017-11-09Paper
Finding explanations of inconsistency in multi-context systems2014-10-13Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets2014-03-24Paper
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach2014-02-27Paper
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming2013-10-10Paper
Prolog and ASP Inference under One Roof2013-10-10Paper
Exploiting Unfounded Sets for HEX-Program Evaluation2012-09-21Paper
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming2012-07-23Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition2011-05-26Paper
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems2011-05-26Paper
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems2010-10-01Paper

Research outcomes over time

This page was built for person: Peter Schüller