Travelled to:1 × Hungary
2 × Italy
2 × USA
Collaborated with:T.Schaub M.Gebser B.Kaufmann A.Siegel S.Videla H.Hoos M.T.Schneider A.Harrison V.Lifschitz T.Grote P.Obermeier O.Sabuncu M.Ostrowski S.Thiele
Talks about:asp (4) program (3) solver (3) answer (3) set (3) optim (2) preliminari (1) constraint (1) intervent (1) increment (1)
Person: Roland Kaminski
DBLP: Kaminski:Roland
Contributed to:
201520132012
20122011201120092008Wrote 8 papers:
- ICLP-J-2015-GebserHKLS
- Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.
- ICLP-J-2013-KaminskiSSV #logic #network
- Minimal intervention strategies in logical signaling networks with ASP (RK, TS, AS, SV), pp. 675–690.
- ICLP-2012-HoosKSS #named #scheduling
- aspeed: ASP-based Solver Scheduling (HH, RK, TS, MTS), pp. 176–187.
- KR-2012-GebserGKOSS #programming #reasoning #set
- Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
- ICLP-2011-GebserKKS #multi #optimisation #programming #set
- Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
- ICLP-J-2011-GebserKS #optimisation #programming #set
- Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.
- ICLP-2009-GebserKKS #constraints #implementation #on the
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
- ICLP-2008-GebserKKOST #incremental
- Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.