The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tanel Tammet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tanel Tammet
    Using Resolution for Deciding Solvable Classes and Building Finite Models. [Citation Graph (0, 0)][DBLP]
    Baltic Computer Science, 1991, pp:33-64 [Conf]
  2. Tanel Tammet
    A Resolution Theorem Prover for Intuitonistic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:2-16 [Conf]
  3. Tanel Tammet
    Chain Resolution for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:307-320 [Conf]
  4. Tanel Tammet
    Towards Efficient Subsumption. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:427-441 [Conf]
  5. Tanel Tammet
    Using Resolution for Extending KL-ONE-type Languages. [Citation Graph (0, 11)][DBLP]
    CIKM, 1995, pp:326-332 [Conf]
  6. Tanel Tammet
    The resolution program, able to decide some solvable classes. [Citation Graph (0, 0)][DBLP]
    Conference on Computer Logic, 1988, pp:300-312 [Conf]
  7. Tanel Tammet
    Completeness of Resolution for Definite Answers with Case Analysis. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:309-323 [Conf]
  8. Tanel Tammet
    Resolution, Inverse Method and the Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:65-83 [Conf]
  9. Tanel Tammet
    Extending Classical Theorem Proving for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PSSS, 2003, pp:- [Conf]
  10. Tanel Tammet, Vello Kadarpik
    Combining an Inference Engine with Database: A Rule Server. [Citation Graph (0, 0)][DBLP]
    RuleML, 2003, pp:136-149 [Conf]
  11. Tanel Tammet, Jan M. Smith
    Optimized Encodings of Fragments of Type Theory in First Order Logic. [Citation Graph (0, 0)][DBLP]
    TYPES, 1995, pp:265-287 [Conf]
  12. Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
    Preface. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:1-2 [Journal]
  13. Grigori Mints, Tanel Tammet
    Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:587-596 [Journal]
  14. Tanel Tammet
    Proof Sytrategies in Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:12, n:3, pp:273-304 [Journal]
  15. Tanel Tammet
    Gandalf. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:199-204 [Journal]
  16. Tanel Tammet
    Completeness of Resolution for Definite Answers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:4, pp:449-471 [Journal]
  17. Tanel Tammet, Jan M. Smith
    Optimized Encodings of Fragments of Type Theory in First-Order Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:6, pp:713-744 [Journal]

  18. Using a Rule Language for Capturing Semantics in Web-Based Systems. [Citation Graph (, )][DBLP]


  19. RFID-based Communications for a Self-Organising Robot Swarm. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002