Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
The Collaborative Planning Model (CPM) supports human planners in managing planning information and facilitating automated reasoning. It aims to make plans 'alive' by digitizing planning concepts to facilitate their dynamic use, modification, dissemination, and reuse. © 2001-2011 IEEE.
Joseph Y. Halpern
aaai 1996
Joxan Jaffar
Journal of the ACM
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
Ira Pohl
Artificial Intelligence