Roland Kaminski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A tutorial on hybrid answer set solving with \textit{clingo} Reasoning Web. Semantic Interoperability on the Web	2022-07-01	Paper
ASP-Core-2 input language format Theory and Practice of Logic Programming	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 Theory and Practice of Logic Programming	2019-09-19	Paper
Temporal answer set programming on finite traces Theory and Practice of Logic Programming	2018-12-04	Paper
Computing diverse Boolean networks from phosphoproteomic time series data	2018-10-17	Paper
Abstract gringo Theory and Practice of Logic Programming	2017-11-09	Paper
aspeed: solver scheduling via answer set programming Theory and Practice of Logic Programming	2017-11-09	Paper
Clingo goes linear constraints over reals and integers Theory and Practice of Logic Programming	2017-11-08	Paper
Writing declarative specifications for clauses Logics in Artificial Intelligence	2016-11-30	Paper
Progress in clasp series 3 Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
ASP solving for expanding universes Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Ricochet Robots reloaded: a case-study in multi-shot ASP solving Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
Minimal intervention strategies in logical signaling networks with ASP Theory and Practice of Logic Programming	2014-02-27	Paper
scientific article; zbMATH DE number 6261538 (Why is no real title available?)	2014-02-25	Paper
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Logic Programming	2012-11-13	Paper
Multi-criteria optimization in answer set programming	2012-08-29	Paper
Complex optimization in answer set programming Theory and Practice of Logic Programming	2011-08-16	Paper
scientific article; zbMATH DE number 5914356 (Why is no real title available?)	2011-06-28	Paper
Reactive answer set programming Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
Engineering an Incremental ASP Solver Logic Programming	2009-01-22	Paper

Research outcomes over time

This page was built for person: Roland Kaminski