Dirk Draheim

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
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)	2024-04-26	Paper
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. A frequentist semantics of partial conditionalization SpringerBriefs in Computer Science	2017-12-01	Paper
Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics	2017-03-30	Paper
A type system for reflective program generators Science of Computer Programming	2011-05-04	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2129114 (Why is no real title available?)	2005-01-18	Paper
scientific article; zbMATH DE number 1982668 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1950278 (Why is no real title available?)	2003-07-17	Paper

Research outcomes over time

This page was built for person: Dirk Draheim