BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kaminski:Roland

Contributed to:

ICLP 20152015
ICLP 20132013
ICLP 20122012
KR 20122012
ICLP 20112011
ICLP 20112011
ICLP 20092009
ICLP 20082008

Wrote 8 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.