Dirk Draheim

From MaRDI portal
Person:532404

Available identifiers

zbMath Open draheim.dirkMaRDI QIDQ532404

List of research outcomes





PublicationDate of PublicationType
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)2024-04-26Paper
GK: implementing full first order default logic for commonsense reasoning (system description)2022-12-07Paper
Confidences for commonsense reasoning2021-12-01Paper
Generalized Jeffrey Conditionalization2017-12-01Paper
Semantics of the Probabilistic Typed Lambda Calculus2017-03-30Paper
A type system for reflective program generators2011-05-04Paper
Mathematical Knowledge Management2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q31557242005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q44267662003-09-16Paper
https://portal.mardi4nfdi.de/entity/Q44128752003-07-17Paper

Research outcomes over time

This page was built for person: Dirk Draheim

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