The Swedish AI Society Workshop May 27-28; 2009 IDA; Link√∂ping University
 M. L. Anderson; W. Gomaa; J. Grant; and D. Perlis. Active logic semantics for a single agent in a static world. Articial Intelligence; 172:1045-1063; 2008.
 M. Asker. Logical reasoning with temporalconstraints. Master’s thesis; Department of Computer Science; Lund University; August 2003. Available at http://fileadmin.cs.lth.se/ai/xj/- MikaelAsker/exjobb0820.ps.
 M. Asker and J. Malec. Reasoning with limited resources: An LDS-based approach. In et al. B. Tessem; editor; Proc. Eight Scandi- navian Conference on Articial Intelligence; pages 13-24. IOS Press; 2003.
 M. Asker and J. Malec. Reasoning with limited resources: Active logics expressed as labelled deductive systems. Bulletin of the Pol- ish Academy of Sciences; Technical Sciences; 53(1); 2005.
 W. Chong; M. O’Donovan-Anderson; Y. Okamoto; and D. Perlis. Seven days in the life of a robotic agent. Technical report; University of Maryland; 2002.
 DARPA. Urban Challenge. http://www.darpa.mil/GRANDCHALLENGE/- overview.asp; 2007.
 J. Delnaye. Automatic theorem proving in active logics. Master’s thesis; Department of Computer Science; Lund University; June 2008. Available at http://fileadmin.cs.lth.se/ai/xj/- JulienDelnaye/report.pdf.
 J. Drapkin; M. Miller; and D. Perlis. A memory model for real-time commonsense reasoning. Technical Report TR-86-21; Department of Computer Science; University of Maryland; 1986.
 J. Elgot-Drapkin. Step Logic: Reasoning Sit- uated in Time. PhD thesis; Department of Computer Science; University of Maryland; 1988.
 J. Elgot-Drapkin. Step-logic and the threewise- men problem. In Proc. AAAI; pages 412-417; 1991.
 J. Elgot-Drapkin; S. Kraus; M. Miller; M. Nirkhe; and D. Perlis. Active logics: A unied formal approach to episodic reasoning. Technical report; Department of Computer Science; University of Maryland; 1999.
 D. Gabbay. Labelled Deductive Systems; Vol. 1. Oxford University Press; 1996.
 T. O. Heins. A case study of active logic. Master’s thesis; Department of Computer Science; Lund University; January 2009. Available at http://fileadmin.cs.lth.se/ai/xj/- ThorbenHeins/report.pdf.
 F. Heintz. DyKnow. A Stream-Based Knowledge Processing Middleware Framework. PhD thesis; Department of Computer Science; Linkoping University; Sweden; 2009. Linkoping Studies in Science and Technology; Dissertation No. 1240.
 C. Hewitt. Common sense for concurrency and strong paraconsistency using unstratied inference and re ection. Technical report; http://carlhewitt.info; 2008. Available at: http://commonsense.carlhewitt.info.
 M. Nirkhe; S. Kraus; and D. Perlis. Situated reasoning within tight deadlines and realistic space and computation bounds. In Proc. Com- mon Sense 93; 1993.
 K. Purang; D. Purushothaman; D. Traum; C. Andersen; D. Traum; and D. Perlis. Practical reasoning and plan execution with active logic. In Proceedings of the IJCAI’99 Work- shop on Practical Reasoning and Rationality; 1999.
 B. Selman and H. Kautz. Knowledge compilation and theory approximation. JACM; 43(2):193-224; 1996.