Commonsense reasoning an event calculus-based approach - Mueller, Erik T. 19XX- (Morgan Kaufmann, 2015)
Includes bibliographical references and index