Travelled to:1 × Australia
1 × Italy
Collaborated with:M.Gebser T.Schaub R.Kaminski P.Obermeier O.Sabuncu C.Drescher B.Kaufmann A.König M.Ostrowski
Talks about:answer (2) set (2) preliminari (1) disjunct (1) conflict (1) program (1) stream (1) report (1) reason (1) driven (1)
Person: Torsten Grote
DBLP: Grote:Torsten
Contributed to:
20122008Wrote 2 papers:
- KR-2012-GebserGKOSS #programming #reasoning #set
- Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
- KR-2008-DrescherGGKKOS #set
- Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.