Knowledge Processing and Information Systems
Klaus Strauch

MSc Klaus Strauch

University of Potsdam
Institute of Computer Science
An der Bahn 2
D-14476 Potsdam

Campus Golm, Building 70, Room 02.28

Phone +49-331-977-3091
Email kstrauch@uni-potsdam.de

Romero, J., Schaub, T., & Strauch, K. (2025). On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. Theory Pract. Log. Program., 25(2), 197–224. [bib]

Kaminski, R., Schaub, T., Strauch, K., & Svancara Jirı́. (2024). Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. ICAART (1), 264–271. [pdf] [bib]
Svancara Jirı́, Atzmon, D., Strauch, K., Kaminski, R., & Schaub, T. (2024). Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. ICAART (3), 23–33. [pdf] [bib]
Romero, J., Schaub, T., & Strauch, K. (2024). On the generalization of learned constraints for ASP solving in temporal domains. CoRR, abs/2401.16124. [pdf] [bib]

Romero, J., Schaub, T., & Strauch, K. (2022). On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. RuleML+RR, 13752, 20–37. [bib]