Stefan Brüning

Available identifiers

zbMath Open bruning.stefanMaRDI QIDQ1275595

List of research outcomes

Publication	Date of Publication	Type
Detecting non-provable goals	2020-01-21	Paper
KoMeT	2020-01-21	Paper
XRay: A prolog technology theorem prover for default reasoning: A system description	2019-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4797423	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4530457	2002-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4524786	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4262999	2000-05-09	Paper
Prolog technology for default reasoning: proof theory and compilation techniques	1999-01-12	Paper
A disjunctive positive refinement of model elimination and its application to subsumption deletion	1998-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4860655	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4282502	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4282600	1994-03-17	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: Stefan Brüning