Follow
Tanel Tammet
Title
Cited by
Cited by
Year
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Berlin Heidelberg, 1993
1851993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1572001
Gandalf
T Tammet
Journal of Automated Reasoning 18, 199-204, 1997
1471997
A resolution theorem prover for intuitionistic logic
T Tammet
International Conference on Automated Deduction, 2-16, 1996
891996
Proof strategies in linear logic
T Tammet
Journal of Automated Reasoning 12, 273-304, 1994
771994
Using resolution for deciding solvable classes and building finite models
T Tammet
Baltic Computer Science Conference, 33-64, 1991
621991
Smart city: a rule-based tourist recommendation system
A Luberg, T Tammet, P Järv
Information and communication technologies in tourism 2011, 51-62, 2011
592011
Towards efficient subsumption
T Tammet
International Conference on Automated Deduction, 427-441, 1998
511998
Resolution methods for decision problems and finite-model building
T Tammet
Department of Computer Sciences, Chalmers University of Technology, 1992
381992
Sightsmap: crowd-sourced popularity of the world places
T Tammet, A Luberg, P Järv
Information and Communication Technologies in Tourism 2013: Proceedings of …, 2013
342013
Optimized encodings of fragments of type theory in first order logic
T Tammet, JM Smith
International Workshop on Types for Proofs and Programs, 265-287, 1995
301995
An ultra-scalable blockchain platform for universal asset tokenization: Design and implementation
A Buldas, D Draheim, M Gault, R Laanoja, T Nagumo, M Saarepera, ...
IEEE Access 10, 77284-77322, 2022
292022
GKC: a reasoning system for large knowledge bases
T Tammet
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
262019
Personalized context-aware recommendations in SMARTMUSEUM: combining semantics with statistics
I Liiv, T Tammet, T Ruotsalo, A Kuusik
2009 Third International Conference on Advances in Semantic Processing, 50-55, 2009
252009
Resolution, inverse method and the sequent calculus
T Tammet
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 65-83, 1997
221997
A survey on socio-semantic information retrieval
K Schoefegger, T Tammet, M Granitzer
Computer Science Review 8, 25-46, 2013
212013
The resolution program, able to decide some solvable classes
T Tammet
International Conference on Computer Logic, 300-312, 1988
211988
Finite model building: improvements and comparisons
T Tammet
CADE-19, Workshop W 4, 2003
202003
Completeness of resolution for definite answers
T Tammet
Journal of Logic and Computation 5 (4), 449-471, 1995
181995
Data integration patterns for data warehouse automation
K Tomingas, M Kliimask, T Tammet
New Trends in Database and Information Systems II: Selected papers of the …, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20