Keywords:
Publications of Froduald Kabanza
2000
Using temporal logics to express search control knowledge for planning (2000), in: Artificial Intelligence, 116:1-2(123 - 191) | and ,
Keywords:
Using temporal logics to express search control knowledge for planning (2000), in: Artificial Intelligence, 116:1-2(123 - 191) | and ,