Roland Kaminski

Available identifiers

Publication	Date of Publication	Type
A tutorial on hybrid answer set solving with \textit{clingo}	2022-07-01	Paper
ASP-Core-2 input language format	2021-09-03	Paper
The return of \textit{xorro}	2019-10-10	Paper
\textit{telingo} = ASP + time	2019-10-10	Paper
Multi-shot ASP solving with clingo	2019-09-19	Paper
Temporal answer set programming on finite traces	2018-12-04	Paper
Computing diverse Boolean networks from phosphoproteomic time series data	2018-10-17	Paper
Abstract gringo	2017-11-09	Paper
aspeed: solver scheduling via answer set programming	2017-11-09	Paper
Clingo goes linear constraints over reals and integers	2017-11-08	Paper
Writing declarative specifications for clauses	2016-11-30	Paper
Progress in clasp series 3	2015-11-04	Paper
ASP solving for expanding universes	2015-11-04	Paper
Ricochet Robots reloaded: a case-study in multi-shot ASP solving	2015-02-04	Paper
Minimal intervention strategies in logical signaling networks with ASP	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q5398056	2014-02-25	Paper
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers	2012-11-13	Paper
Multi-criteria optimization in answer set programming	2012-08-29	Paper
Complex optimization in answer set programming	2011-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3011296	2011-06-28	Paper
Reactive answer set programming	2011-05-26	Paper
Engineering an Incremental ASP Solver	2009-01-22	Paper

This page was built for person: Roland Kaminski