PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kaminski, Roland"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Answer Set Programming for Stream Reasoning

, , , , , und . CoRR, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas Kaminski

Dr. Andreas Kaminski University of Stuttgart

Roland Weil University of Stuttgart

Univ. -Prof. Dr. Roland Kontermann University of Stuttgart

apl. Prof. Dr. Roland Gehrke University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Clingo = ASP + Control: Preliminary Report., , , und . CoRR, (2014)Multi-Criteria Optimization in Answer Set Programming., , , und . ICLP (Technical Communications), Volume 11 von LIPIcs, Seite 1-10. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers., , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 250-264. Springer, (2009)Progress in clasp Series 3., , , , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 368-383. Springer, (2015)Reactive Answer Set Programming., , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 54-66. Springer, (2011)The Return of xorro., , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 284-297. Springer, (2019)Theory Solving Made Easy with Clingo 5., , , , , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Engineering an Incremental ASP Solver., , , , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 190-205. Springer, (2008)Cluster-Based ASP Solving with claspar., , , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 364-369. Springer, (2011)Grounding Recursive Aggregates: Preliminary Report., , und . CoRR, (2016)