Stefan Brüning

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
\textsf{Ko\(_{\mathsf{M}}\)eT} Automated Deduction — CADE-12	2020-01-21	Paper
Detecting non-provable goals Automated Deduction — CADE-12	2020-01-21	Paper
\(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description Automated Deduction — Cade-13	2019-01-15	Paper
scientific article; zbMATH DE number 1882047 (Why is no real title available?)	2003-03-13	Paper
scientific article; zbMATH DE number 1748572 (Why is no real title available?)	2002-11-13	Paper
scientific article; zbMATH DE number 1552526 (Why is no real title available?)	2001-07-29	Paper
scientific article; zbMATH DE number 1341460 (Why is no real title available?)	2000-05-09	Paper
Prolog technology for default reasoning: proof theory and compilation techniques Artificial Intelligence	1999-01-12	Paper
A disjunctive positive refinement of model elimination and its application to subsumption deletion Journal of Automated Reasoning	1998-04-15	Paper
scientific article; zbMATH DE number 834568 (Why is no real title available?)	1997-02-24	Paper
scientific article; zbMATH DE number 516986 (Why is no real title available?)	1994-08-21	Paper
scientific article; zbMATH DE number 517070 (Why is no real title available?)	1994-03-17	Paper

Research outcomes over time

This page was built for person: Stefan Brüning