Travelled to:
1 × Australia
1 × Hungary
1 × Italy
2 × USA
Collaborated with:
T.Schaub M.Gebser ∅ B.Kaufmann G.Flouris G.Antoniou M.Durzinsky W.Marwan A.Wagler R.Kaminski S.Thiele C.Drescher T.Grote A.König
Talks about:
asp (5) clingcon (2) system (2) modulo (2) answer (2) solv (2) use (2) set (2) csp (2) reconstruct (1)
Person: Max Ostrowski
DBLP: Ostrowski:Max
Contributed to:
Wrote 7 papers:
- ICLP-2012-Ostrowski #csp
- ASP modulo CSP: The clingcon system (MO), pp. 458–463.
- ICLP-J-2012-OstrowskiS #csp
- ASP modulo CSP: The clingcon system (MO, TS), pp. 485–503.
- ICLP-2011-OstrowskiFSA #evolution #ontology #using
- Evolution of Ontologies using ASP (MO, GF, TS, GA), pp. 16–27.
- ICLP-J-2011-DurzinskyMOSW #automation #network #re-engineering #using
- Automatic network reconstruction using ASP (MD, WM, MO, TS, AW), pp. 749–766.
- ICLP-2009-GebserOS #constraints #set
- Constraint Answer Set Solving (MG, MO, TS), pp. 235–249.
- ICLP-2008-GebserKKOST #incremental
- Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
- KR-2008-DrescherGGKKOS #set
- Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.