Telecharger Cours

Tractable Reasoning with Incomplete First-Order Knowledge ... - IJCAI

A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been per- formed.



Download