The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roland Kaminski" ( http://dblp.L3S.de/Authors/Roland_Kaminski )

  Author page on DBLP  Author page in RDF  Community of Roland Kaminski in ASPL-2

Publication years (Num. hits)
2008-2011 (16) 2012-2016 (19) 2017-2019 (12)
Publication types (Num. hits)
article(18) book(1) inproceedings(28)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub telingo = ASP + Time. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub The Return of xorro. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko The Potsdam Answer Set Solving Collection 5.0. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Misbah Razzaq, Roland Kaminski, Javier Romero 0003, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko Clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Roland Kaminski, Torsten Schaub, Philipp Wanko A Tutorial on Hybrid Answer Set Solving with clingo. Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Grounding Recursive Aggregates: Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko Theory Solving Made Easy with Clingo 5. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub Answer Set Solving with Generalized Learned Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub An ASP Semantics for Default Reasoning with Constraints. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract Gringo. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub aspeed: Solver scheduling via answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub Progress in clasp Series 3. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub ASP Solving for Expanding Universes. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub Solver Scheduling via Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Clingo = ASP + Control: Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub Answer Set Programming for Stream Reasoning Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla Minimal intervention strategies in logical signaling networks with ASP. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider Ricochet Robots: A Transverse ASP Benchmark. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Answer Set Solving in Practice Search on Bibsonomy 2012   DOI  RDF
1Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Thomas Schneider aspeed: ASP-based Solver Scheduling. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub Stream Reasoning with Answer Set Programming: Preliminary Report. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider Potassco: The Potsdam Answer Set Solving Collection. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Complex Optimization in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub aspcud: A Linux Package Configuration Tool Based on Answer Set Programming Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Complex optimization in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Challenges in Answer Set Solving. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-Criteria Optimization in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub Advances in gringo Series 3. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor Cluster-Based ASP Solving with claspar. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub Reactive Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller A Portfolio Solver for Answer Set Programming: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub plasp: A Prototype for PDDL-Based Planning in ASP. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Experiences Running a Parallel Answer Set Solver on Blue Gene. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Applications based on Message-Passing, Performance evaluation, Answer Set Programming
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele On the Input Language of ASP Grounder Gringo. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor A Simple Distributed Conflict-Driven Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele Engineering an Incremental ASP Solver. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license