Propositional_Proof_Systems Dependents

Verified SAT-Based AI Planning

by Mohammad Abdulaziz and Friedrich Kurz

AI Planning Languages Semantics

by Mohammad Abdulaziz and Peter Lammich