Peter Schüller

Available identifiers

zbMath Open schuller.peterWikidataQ58386175 ScholiaQ58386175MaRDI QIDQ460630

List of research outcomes

Publication	Date of Publication	Type
Answer Set Programming with External Source Access	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5020542	2022-01-06	Paper
Abstraction for non-ground answer set programs	2021-11-02	Paper
Partial Compilation of ASP Programs	2020-05-04	Paper
The Hexlite solver. Lightweight and efficient evaluation of HEX programs	2020-02-18	Paper
Abstraction for non-ground answer set programs	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4631192	2019-04-24	Paper
Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition	2018-11-12	Paper
Modeling Variations of First-Order Horn Abduction in Answer Set Programming	2017-11-09	Paper
A model building framework for answer set programming with external computations	2017-11-09	Paper
Finding explanations of inconsistency in multi-context systems	2014-10-13	Paper
Efficient HEX-Program Evaluation Based on Unfounded Sets	2014-03-24	Paper
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach	2014-02-27	Paper
Prolog and ASP Inference under One Roof	2013-10-10	Paper
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming	2013-10-10	Paper
Exploiting Unfounded Sets for HEX-Program Evaluation	2012-09-21	Paper
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming	2012-07-23	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	2011-05-26	Paper
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems	2011-05-26	Paper
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems	2010-10-01	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: Peter Schüller