( en | de | ru )

 

Disambiguation of "Schaub, Torsten"

Author of the publication

copydeleteadd this publication to your clipboard
Lower Bound Founded Logic of Here-and-There.

, , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 509-525. 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. You can also use the button next to the name to display some publications already assigned to the person.

Torsten Schaub

Torsten Schaub

Eva Schaub

Elisabeth Schaub

Bianca Schaub

 

Other publications of authors with the same name

On the Foundations of Grounding in Answer Set Programming., and . CoRR, (2021)ASP-Core-2 Input Language Format., , , , , , , , , and . Theory Pract. Log. Program., 20 (2): 294-309 (2020)claspfolio 2: Advances in Algorithm Selection for Answer Set Programming., , and . Theory Pract. Log. Program., 14 (4-5): 569-585 (2014)Train Scheduling with Hybrid ASP., , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 3-17. Springer, (2019)Verifying Strong Equivalence of Programs in the Input Language of gringo., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 270-283. Springer, (2019)The Return of xorro., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 284-297. Springer, (2019)Gelfond-Zhang aggregates as propositional formulas., , , and . Artif. Intell., (2019)Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers., , , and . ICAART (1), page 264-271. SCITEPRESS, (2024)Generalized Target Assignment and Path Finding Using Answer Set Programming., , , , and . SOCS, page 194-195. AAAI Press, (2019)Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN ., , , , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 54-62. Springer, (2022)