( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Certified Unsolvability in Classical Planning.

. IJCAI, стр. 5141-5145. ijcai.org, (2017)

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.

Gabriele Röger

Christoph Röger

Ralf Röger

Marc Röger

Hardy Röger

 

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

A Proof System for Unsolvable Planning Tasks., , и . ICAPS, стр. 65-73. AAAI Press, (2018)From Non-Negative to General Operator Cost Partitioning., , , и . AAAI, стр. 3335-3341. AAAI Press, (2015)Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster., , , , , , , , , и 6 other автор(ы). IISA, стр. 1-8. IEEE, (2023)An Atom-Centric Perspective on Stubborn Sets., , , и . SOCS, стр. 57-65. AAAI Press, (2020)Heuristics for Cost-Optimal Classical Planning Based on Linear Programming., , , и . IJCAI, стр. 4303-4309. AAAI Press, (2015)Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting., , и . ECAI, том 263 из Frontiers in Artificial Intelligence and Applications, стр. 765-770. IOS Press, (2014)Expressiveness of ADL and Golog: Functions Make a Difference., и . AAAI, стр. 1051-1056. AAAI Press, (2007)Formal Representations of Classical Planning Domains., , и . ICAPS, стр. 239-248. AAAI Press, (2024)Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks., , , и . ICAPS, стр. 446-454. AAAI Press, (2019)Unsolvability Certificates for Classical Planning., , и . ICAPS, стр. 88-97. AAAI Press, (2017)