Tanel Tammet
Title
Cited by
Cited by
Year
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Science & Business Media, 1993
1651993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1512001
Gandalf
T Tammet
Journal of Automated Reasoning 18 (2), 199-204, 1997
1481997
A resolution theorem prover for intuitionistic logic
T Tammet
International Conference on Automated Deduction, 2-16, 1996
791996
Proof strategies in linear logic
T Tammet
Journal of Automated Reasoning 12 (3), 273-304, 1994
761994
Using resolution for deciding solvable classes and building finite models
T Tammet
Baltic Computer Science Conference, 33-64, 1991
591991
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
492011
Resolution methods for decision problems and finite-model building
T Tammet
Department of Computer Sciences, Chalmers University of Technology, 1992
371992
Towards efficient subsumption
T Tammet
International Conference on Automated Deduction, 427-441, 1998
361998
Resolution methods for the decision problem
C Fermiiller, A Leitsch, T Tammet, N Zamov
Lecture Notes in Artificial Intelligence vol. 679, Springer Verlag, 1993
291993
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
281995
Sightsmap: crowd-sourced popularity of the world places
T Tammet, A Luberg, P Järv
Information and communication technologies in tourism 2013, 314-325, 2013
262013
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
242009
The resolution program, able to decide some solvable classes
T Tammet
International Conference on Computer Logic, 300-312, 1988
201988
Resolution, inverse method and the sequent calculus
T Tammet
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 65-83, 1997
191997
A survey on socio-semantic information retrieval
K Schoefegger, T Tammet, M Granitzer
Computer Science Review 8, 25-46, 2013
182013
Finite model building: improvements and comparisons
T Tammet
CADE-19, Workshop W 4, 2003
182003
Proof search strategies in linear logic
T Tammet
Chalmers Tekniska Högskola/Göteborgs Universitet. Programming MethodologyGroup, 1993
171993
RFID-based communications for a self-organising robot swarm
T Tammet, J Vain, A Puusepp, E Reilent, A Kuusik
2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008
162008
Data integration patterns for data warehouse automation
K Tomingas, M Kliimask, T Tammet
New Trends in Database and Information Systems II, 41-55, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20