( en | de | ru )

 

Disambiguierung von "Schaub, Torsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Semantics of Hybrid ASP Systems Based on Clingo.

, , , und . Algorithms, 16 (4): 185 (April 2023)

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

eclingo : A Solver for Epistemic Logic Programs., , , , und . Theory Pract. Log. Program., 20 (6): 834-847 (2020)On Constrained Default Theories.. ECAI, Seite 304-308. John Wiley and Sons, (1992)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)Metric Temporal Equilibrium Logic over Timed Traces., , , , und . CoRR, (2023)Metric dynamic equilibrium logic., , , , , und . J. Appl. Non Class. Logics, 33 (3-4): 495-519 (Oktober 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)Towards Metric Temporal Answer Set Programming., , , und . Theory Pract. Log. Program., 20 (5): 783-798 (2020)asprin: Customizing Answer Set Preferences without a Headache., , , und . AAAI, Seite 1467-1474. AAAI Press, (2015)