1. Some philosophical problems from the standpoint of artificial intelligence;McCarthy;Mach. Intel. J.,1969
2. A logic-based calculus of events;Kowalski;New Gener. Comput.,1986
3. Introduction to the fluent calculus;Thielscher;Electron. Transact. Artif. Intel.,1998
4. (TAL) temporal action logics: language specification and tutorial;Doherty;Electron. Transact. Artif. Intel.,1998
5. Action languages;Gelfond;Electron. Transact. Artif. Intel.,1998