Travelled to:1 × Australia
1 × Czech Republic
1 × Germany
Collaborated with:R.A.Schmidt G.Reger A.Voronkov R.Alenda N.Olivetti C.Schwind
Talks about:tableau (2) logic (2) fragment (1) descript (1) minspac (1) general (1) calculi (1) attempt (1) method (1) cooper (1)
Person: Dmitry Tishkovsky
DBLP: Tishkovsky:Dmitry
Contributed to:
2015
2010
2008Wrote 3 papers:
- CADE-2015-RegerTV #proving
- Cooperating Proof Attempts (GR, DT, AV), pp. 339–355.
- CSL-2010-AlendaOST #calculus
- Tableau Calculi for CSL over minspaces (RA, NO, CS, DT), pp. 52–66.
- IJCAR-2008-SchmidtT #first-order #logic
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.