UNIVERSAL AND UNIFORM ACTION REVERSIBILITY

von Chrpa, Lukáš
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

ON EVENTUAL APPLICABILITY OF PLANS IN DYNAMIC ENVIRONMENTS WITH CYCLIC PHENOMENA

von Chrpa, Lukáš
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study

von Vallati, Mauro
Veröffentlicht in AI (Veranstaltung : 33. : 2020 : Online) AI 2020: advances in artificial intelligence (2020)

A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions

von Vallati, Mauro
Veröffentlicht in AI (Veranstaltung : 33. : 2020 : Online) AI 2020: advances in artificial intelligence (2020)

Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks

von Balyo, Tomás
Veröffentlicht in International Symposium on Combinatorial Search (11. : 2018 : Stockholm) Proceedings of the Eleventh International Symposium on Combinatorial Search (SoCS 2018) (2018)

Planning against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions

von Chrpa, Lukas
Veröffentlicht in International Symposium on Combinatorial Search (13. : 2020 : Online) Proceedings of the Thirteenth International Symposium on Combinatorial Search (SoCS 2020) (2020)

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

von Faber, Wolfgang
Veröffentlicht in PADL (24. : 2022 : Philadelphia, Pa.) Practical Aspects of Declarative Languages (2022)

ON THE REVERSIBILITY OF ACTIONS IN PLANNING

von Morak, Michael
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Automated Acquisition of Control Knowledge for Classical Planners

von Vomlelovd, Marta
Veröffentlicht in ICAART (12. : 2020 : Valletta) ICAART 2020 ; Volume 2 (2020)

Enhancing Temporal Planning by Sequential Macro-Actions

von Bortoli, Marco De
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Comparing Planning Domain Models Using Answer Set Programming

von Chrpa, Lukáš
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

ADVERSARY STRATEGY SAMPLING FOR EFFECTIVE PLAN GENERATION

von Chrpa, Lukáš
Veröffentlicht in International Symposium on Combinatorial Search (14. : 2021 : Online) 14th International Symposium on Combinatorial Search (SoCS 2021) (2021)