`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: Tammet:Tanel

### Contributed to:

### 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.