1. Specifying electronic societies with the Causal Calculator;Artikis,2003
2. Reinforcing a claim in commonsense reasoning;Campbell,2003
3. S.T. Erdoğan, Formalization of the TRAFFIC world in the C action language, Master's Thesis, Bilkent University, 2000, http://www.cs.utexas.edu/users/selim/publications/tezdeneme.ps.gz
4. STRIPS: A new approach to the application of theorem proving to problem solving;Fikes;Artificial Intelligence,1971
5. An action language based on causal explanation: Preliminary report;Giunchiglia,1998