Search the dblp DataBase
Tanel Tammet :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Tanel Tammet A Resolution Theorem Prover for Intuitonistic Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:2-16 [Conf ] Tanel Tammet Chain Resolution for the Semantic Web. [Citation Graph (0, 0)][DBLP ] IJCAR, 2004, pp:307-320 [Conf ] Tanel Tammet Towards Efficient Subsumption. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:427-441 [Conf ] Tanel Tammet Using Resolution for Extending KL-ONE-type Languages. [Citation Graph (0, 11)][DBLP ] CIKM, 1995, pp:326-332 [Conf ] 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 ] Tanel Tammet Completeness of Resolution for Definite Answers with Case Analysis. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:309-323 [Conf ] Tanel Tammet Resolution, Inverse Method and the Sequent Calculus. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1997, pp:65-83 [Conf ] Tanel Tammet Extending Classical Theorem Proving for the Semantic Web. [Citation Graph (0, 0)][DBLP ] PSSS, 2003, pp:- [Conf ] Tanel Tammet , Vello Kadarpik Combining an Inference Engine with Database: A Rule Server. [Citation Graph (0, 0)][DBLP ] RuleML, 2003, pp:136-149 [Conf ] 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 ] 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 ] 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 ] Tanel Tammet Proof Sytrategies in Linear Logic. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1994, v:12, n:3, pp:273-304 [Journal ] Tanel Tammet Gandalf. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:199-204 [Journal ] 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 ] 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 ] Using a Rule Language for Capturing Semantics in Web-Based Systems. [Citation Graph (, )][DBLP ] RFID-based Communications for a Self-Organising Robot Swarm. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs