Dirk Draheim
From MaRDI portal
Person:532404
Available identifiers
zbMath Open draheim.dirkMaRDI QIDQ532404
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
GK: implementing full first order default logic for commonsense reasoning (system description) | 2022-12-07 | Paper |
Confidences for commonsense reasoning | 2021-12-01 | Paper |
Generalized Jeffrey Conditionalization | 2017-12-01 | Paper |
Semantics of the Probabilistic Typed Lambda Calculus | 2017-03-30 | Paper |
A type system for reflective program generators | 2011-05-04 | Paper |
Mathematical Knowledge Management | 2005-08-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3155724 | 2005-01-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4426766 | 2003-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4412875 | 2003-07-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: Dirk Draheim