Travelled to:
1 × USA
Collaborated with:
I.Horrocks
Talks about:
descript (2) system (1) reason (1) logic (1)
Person: Dmitry Tsarkov
DBLP: Tsarkov:Dmitry
Contributed to:
Wrote 1 papers:
- IJCAR-2006-TsarkovH #logic
- FaCT++ Description Logic Reasoner: System Description (DT, IH), pp. 292–297.