( en | de | ru )

 

Disambiguierung von "Schaub, Torsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
aspeed: ASP-based Solver Scheduling.

, , , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 176-187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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.

Torsten Schaub

Torsten Schaub

Friedrich Schaub

Katrin Schaub

Bianca Schaub

 

Weitere Publikationen von Autoren mit dem selben Namen

ASP-Core-2 Input Language Format., , , , , , , , , und . CoRR, (2019)Towards Dynamic Answer Set Programming over Finite Traces., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 148-162. Springer, (2019)On Constrained Default Theories.. ECAI, Seite 304-308. John Wiley and Sons, (1992)eclingo : A Solver for Epistemic Logic Programs., , , , und . Theory Pract. Log. Program., 20 (6): 834-847 (2020)Metric Temporal Equilibrium Logic over Timed Traces., , , , und . CoRR, (2023)Solving Vehicle Equipment Specification Problems with Answer Set Programming., , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 232-249. Springer, (2023)Answer Set Programming Made Easy., , , und . Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Volume 13160 von Lecture Notes in Computer Science, Seite 133-150. Springer, (2023)asprin: Customizing Answer Set Preferences without a Headache., , , und . AAAI, Seite 1467-1474. AAAI Press, (2015)Metric Temporal Answer Set Programming over Timed Traces., , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 117-130. Springer, (2022)Implementing Dynamic Answer Set Programming over Finite Traces., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 656-663. IOS Press, (2020)