1
by Mueller, Erik T.
Published 2015
Elsevier Morgan Kaufmann
Table of Contents: ... Finding; Bibliographic Notes; Event calculus basics and axioms; Reification; Time intervals; Nonmonotonic...

2
by Cai, Wen
Published 2013
CRC Press
Table of Contents: ...-stability by using the extension theory / A. Olaru -- Extension theory applied to real time control...