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