( en | de | ru )

 

Disambiguierung von "Schaub, Torsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

, , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 278-286. Springer, (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

Towards Dynamic Answer Set Programming over Finite Traces., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 148-162. Springer, (2019)eclingo : A Solver for Epistemic Logic Programs., , , , und . Theory Pract. Log. Program., 20 (6): 834-847 (2020)ASP-Core-2 Input Language Format., , , , , , , , , und . CoRR, (2019)On Constrained Default Theories.. ECAI, Seite 304-308. John Wiley and Sons, (1992)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)Towards Metric Temporal Answer Set Programming., , , und . Theory Pract. Log. Program., 20 (5): 783-798 (2020)Evolutionary System Design with Answer Set Programming., , , , und . Algorithms, 16 (4): 179 (April 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)