( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Train Scheduling with Hybrid ASP.

, , , , , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Torsten Schaub

Torsten Schaub

Elisabeth Schaub

Bernd Schaub

Rüdiger Schaub

 

Другие публикации лиц с тем же именем

Towards Dynamic Answer Set Programming over Finite Traces., , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2019)On Constrained Default Theories.. ECAI, стр. 304-308. John Wiley and Sons, (1992)ASP-Core-2 Input Language Format., , , , , , , , , и . CoRR, (2019)eclingo : A Solver for Epistemic Logic Programs., , , , и . Theory Pract. Log. Program., 20 (6): 834-847 (2020)Metric dynamic equilibrium logic., , , , , и . J. Appl. Non Class. Logics, 33 (3-4): 495-519 (октября 2023)Evolutionary System Design with Answer Set Programming., , , , и . Algorithms, 16 (4): 179 (апреля 2023)Metric Temporal Equilibrium Logic over Timed Traces., , , , и . CoRR, (2023)asprin: Customizing Answer Set Preferences without a Headache., , , и . AAAI, стр. 1467-1474. AAAI Press, (2015)Towards Metric Temporal Answer Set Programming., , , и . Theory Pract. Log. Program., 20 (5): 783-798 (2020)Answer Set Programming Made Easy., , , и . Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, том 13160 из Lecture Notes in Computer Science, стр. 133-150. Springer, (2023)