Stefan Brüning

From MaRDI portal
Person:1275595

Available identifiers

zbMath Open bruning.stefanMaRDI QIDQ1275595

List of research outcomes





PublicationDate of PublicationType
KoMeT2020-01-21Paper
Detecting non-provable goals2020-01-21Paper
XRay: A prolog technology theorem prover for default reasoning: A system description2019-01-15Paper
https://portal.mardi4nfdi.de/entity/Q47974232003-03-13Paper
https://portal.mardi4nfdi.de/entity/Q45304572002-11-13Paper
https://portal.mardi4nfdi.de/entity/Q45247862001-07-29Paper
https://portal.mardi4nfdi.de/entity/Q42629992000-05-09Paper
Prolog technology for default reasoning: proof theory and compilation techniques1999-01-12Paper
A disjunctive positive refinement of model elimination and its application to subsumption deletion1998-04-15Paper
https://portal.mardi4nfdi.de/entity/Q48606551997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q42825021994-08-21Paper
https://portal.mardi4nfdi.de/entity/Q42826001994-03-17Paper

Research outcomes over time

This page was built for person: Stefan Brüning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1275595&oldid=6066010"
Powered by MediaWiki