Morariu VI, Davis LS.  2011.  Multi-agent event recognition in structured scenarios. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :3289-3296.

Anderson ML, Gomaa W, Grant J, Perlis D.  2008.  Active logic semantics for a single agent in a static world. Artificial Intelligence. 172(8-9):1045-1063.

Shet VD, Harwood D, Davis LS.  2005.  VidMAP: video monitoring of activity with Prolog. Advanced Video and Signal Based Surveillance, 2005. AVSS 2005. IEEE Conference on. :224-229.

Leone N, Scarcello F, V.S. Subrahmanian.  2004.  Optimal models of disjunctive logic programs: semantics, complexity, and computation. Knowledge and Data Engineering, IEEE Transactions on. 16(4):487-503.

Ilghami O, Nau DS.  2003.  A General Approach to Synthesize Problem-Specific Planners. 

Grant J, Gryz J, Minker J, Raschid L.  2000.  Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.

Grant J, Gryz J, Minker J, Raschid L.  1997.  Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.

Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational ?-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.

Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.

Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.