Erik T. Mueller. Automating commonsense reasoning using the event calculus. Communications of the ACM, 52(1):113-117, 2009. [doi]
@article{Mueller09-1, title = {Automating commonsense reasoning using the event calculus}, author = {Erik T. Mueller}, year = {2009}, doi = {10.1145/1435417.1435443}, url = {http://doi.acm.org/10.1145/1435417.1435443}, researchr = {https://researchr.org/publication/Mueller09-1}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {52}, number = {1}, pages = {113-117}, }