Stefan Brass

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
Transformation-based bottom-up computation of the well-founded model	2024-10-24	Paper
Characterizations of the stable semantics by partial evaluation Logic Programming and Nonmonotonic Reasoning	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 Logics in Artificial Intelligence	2019-10-08	Paper
A rule-based approach to analyzing database schema objects with Datalog (available as arXiv preprint)	2018-09-06	Paper
Super logic programs ACM Transactions on Computational Logic	2017-07-12	Paper
A framework for goal-directed query evaluation with negation Logic Programming and Nonmonotonic Reasoning	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 Theory and Practice of Logic Programming	2004-03-01	Paper
Computation of the semantics of autoepistemic belief theories Artificial Intelligence	2002-07-24	Paper
scientific article; zbMATH DE number 1696854 (Why is no real title available?)	2002-01-28	Paper
On the equivalence of the static and disjunctive well-founded semantics and its computation Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1434110 (Why is no real title available?)	2000-04-25	Paper
Semantics of (disjunctive) logic programs based on partial evaluation The Journal of Logic Programming	1999-11-01	Paper
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA Journal of Automated Reasoning	1998-08-03	Paper
Characterizations of the disjunctive stable semantics by partial evaluation The Journal of Logic Programming	1998-02-26	Paper
Modular specifications with supernormal defaults Annals of Mathematics and Artificial Intelligence	1996-10-20	Paper
scientific article; zbMATH DE number 408775 (Why is no real title available?)	1993-09-06	Paper
scientific article; zbMATH DE number 219216 (Why is no real title available?)	1993-06-29	Paper

Research outcomes over time

This page was built for person: Stefan Brass