Media Summary: Roman Bartak and Jindrich Vodrazka An Experimental Study of Influence of Modeling and Solving Techniques on Performance of ... A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning Jendrik Seipp, Thomas Keller and Malte Helmert ... Automatic Extraction of Axioms for Planning Shuwa Miura and Alex Fukunaga Tractable Inference (Session 9a)
Icaps 2017 Tutorial Logic Programming - Detailed Analysis & Overview
Roman Bartak and Jindrich Vodrazka An Experimental Study of Influence of Modeling and Solving Techniques on Performance of ... A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning Jendrik Seipp, Thomas Keller and Malte Helmert ... Automatic Extraction of Axioms for Planning Shuwa Miura and Alex Fukunaga Tractable Inference (Session 9a) Accelerating SAT Based Planning with Incremental SAT Solving Stephan Gocht and Tomas Balyo Heuristics III (Session 6a) ... Adapting Novelty to Classical Planning as Heuristic Search Michael Katz, Nir Lipovetzky, Dany Moshkovich and Alexander Tuisov ...
