Tanel Tammet

Ago Luberg, Michael Granitzer, Honghan Wu, Priit Järv, Tanel Tammet: Information retrieval and deduplication for tourism recommender sightsplanner. WIMS 2012: 50

Honghan Wu, Ago Luberg, Tanel Tammet: Ranking domain objects by wisdom of web pages. WIMS 2012: 67

Ago Luberg, Tanel Tammet, Priit Järv: Extended Triple Store Structure Used in Recommender System. DEXA Workshops 2011: 539-543

Ago Luberg, Tanel Tammet, Priit Järv: Smart City: A Rule-based Tourist Recommendation System. ENTER 2011: 51-62

Ago Luberg, Priit Järv, Karin Schoefegger, Tanel Tammet: Context-aware and multilingual information extraction for a tourist recommender system. I-KNOW 2011: 13

Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik: RFID-based Communications for a Self-Organising Robot Swarm. SASO 2008: 45-54

Stephan Schulz, Geoff Sutcliffe, Tanel Tammet: Preface. International Journal on Artificial Intelligence Tools 15(1): 1-2 (2006)

Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees: Using a Rule Language for Capturing Semantics in Web-Based Systems. DB&IS 2006: 249-259

Tanel Tammet: Chain Resolution for the Semantic Web. IJCAR 2004: 307-320

Tanel Tammet: Extending Classical Theorem Proving for the Semantic Web. PSSS 2003

Tanel Tammet, Vello Kadarpik: Combining an Inference Engine with Database: A Rule Server. RuleML 2003: 136-149

Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet: Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849

Tanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8(6): 713-744 (1998)

Tanel Tammet: Towards Efficient Subsumption. CADE 1998: 427-441

Tanel Tammet: Gandalf. J. Autom. Reasoning 18(2): 199-204 (1997)

Tanel Tammet: Resolution, Inverse Method and the Sequent Calculus. Kurt Gödel Colloquium 1997: 65-83

Tanel Tammet: A Resolution Theorem Prover for Intuitonistic Logic. CADE 1996: 2-16

Tanel Tammet: Completeness of Resolution for Definite Answers. J. Log. Comput. 5(4): 449-471 (1995)

Tanel Tammet: Using Resolution for Extending KL-ONE-type Languages. CIKM 1995: 326-332

Tanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES 1995: 265-287

Tanel Tammet: Proof Sytrategies in Linear Logic. J. Autom. Reasoning 12(3): 273-304 (1994)

Tanel Tammet: Completeness of Resolution for Definite Answers with Case Analysis. CSL 1994: 309-323

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov: Resolution Methods for the Decision Problem. Lecture Notes in Computer Science 679, Springer 1993, isbn 3-540-56732-1

Grigori Mints, Tanel Tammet: Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. J. Autom. Reasoning 7(4): 587-596 (1991)

Tanel Tammet: Using Resolution for Deciding Solvable Classes and Building Finite Models. Baltic Computer Science 1991: 33-64

Tanel Tammet: The resolution program, able to decide some solvable classes. Conference on Computer Logic 1988: 300-312