Stefan Brass

Available identifiers

zbMath Open brass.stefanMaRDI QIDQ1382157

List of research outcomes

Publication	Date of Publication	Type
Transformation-based bottom-up computation of the well-founded model	2024-10-24	Paper
Characterizations of the stable semantics by partial evaluation	2022-08-30	Paper
Translation of interactive Datalog programs for microcontrollers to finite state machines	2022-03-23	Paper
Characterizing D-WFS: Confluence and iterated GCWA	2019-10-08	Paper
A rule-based approach to analyzing database schema objects with Datalog	2018-09-06	Paper
Super logic programs	2017-07-12	Paper
A Framework for Goal-Directed Query Evaluation with Negation	2015-11-04	Paper
Declarative output by ordering text pieces	2012-08-29	Paper
Implementation alternatives for bottom-up evaluation	2012-05-11	Paper
Transformation-based bottom-up computation of the well-founded model	2004-03-01	Paper
Computation of the semantics of autoepistemic belief theories	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2767129	2002-01-28	Paper
On the equivalence of the static and disjunctive well-founded semantics and its computation	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4947585	2000-04-25	Paper
Semantics of (disjunctive) logic programs based on partial evaluation	1999-11-01	Paper
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA	1998-08-03	Paper
Characterizations of the disjunctive stable semantics by partial evaluation	1998-02-26	Paper
Modular specifications with supernormal defaults	1996-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4202917	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4694698	1993-06-29	Paper

Research outcomes over time

This page was built for person: Stefan Brass