Tanel Tammet

Available identifiers

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
GKC: a reasoning system for large knowledge bases	2020-03-10	Paper
A resolution theorem prover for intuitionistic logic	2019-01-15	Paper
Optimized encodings of fragments of type theory in first order logic	2019-01-15	Paper
Using resolution for deciding solvable classes and building finite models	2018-12-11	Paper
Automated Reasoning	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4474848	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2751377	2001-10-21	Paper
Optimized encodings of fragments of type theory in first-order logic	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4364504	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q5688802	1997-03-16	Paper
Completeness of Resolution for Definite Answers	1995-09-20	Paper
Proof strategies in linear logic	1994-12-21	Paper
Condensed detachment is complete for relevance logic: A computer-aided proof	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3348885	1990-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tanel Tammet