Minimizing Agent Specifications using a Logic of Knowledge and Actions

Gilbert Ndjatou. Minimizing Agent Specifications using a Logic of Knowledge and Actions. Journal of Logic and Computation, 11(2):337-354, 2001. [doi]

Abstract

Abstract is missing.