BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Ireland
2 × USA
Collaborated with:

Talks about:
resolut (3) intuitonist (1) subsumpt (1) knowledg (1) theorem (1) languag (1) toward (1) system (1) semant (1) reason (1)

Person: Tanel Tammet

DBLP DBLP: Tammet:Tanel

Contributed to:

IJCAR 20042004
CADE 19981998
CADE 19961996
CIKM 19951995
CADE 20192019

Wrote 5 papers:

IJCAR-2004-Tammet #semantics #web
Chain Resolution for the Semantic Web (TT), pp. 307–320.
CADE-1998-Tammet #performance #towards
Towards Efficient Subsumption (TT), pp. 427–441.
CADE-1996-Tammet #logic #proving #theorem proving
A Resolution Theorem Prover for Intuitonistic Logic (TT), pp. 2–16.
CIKM-1995-Tammet #using
Using Resolution for Extending KL-ONE-type Languages (TT), pp. 326–332.
CADE-2019-Tammet #knowledge base #named #reasoning #scalability
GKC: A Reasoning System for Large Knowledge Bases (TT), pp. 538–549.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.