{"_id":"YskqBuqhiP4CW48tJ","bibbaseid":"miller-shanahan-somealternativeformulationsoftheeventcalculus-2002","author_short":["Miller, R.","Shanahan, M."],"bibdata":{"bibtype":"incollection","type":"incollection","doi":"10.1007/3-540-45632-5_17","url":"https://doi.org/10.1007\\%2F3-540-45632-5_17","year":"2002","publisher":"Springer Berlin Heidelberg","pages":"452–490","author":[{"firstnames":["Rob"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Murray"],"propositions":[],"lastnames":["Shanahan"],"suffixes":[]}],"title":"Some Alternative Formulations of the Event Calculus","booktitle":"Computational Logic: Logic Programming and Beyond","bibtex":"@incollection{Miller_2002,\n doi = {10.1007/3-540-45632-5_17},\n url = {https://doi.org/10.1007\\%2F3-540-45632-5_17},\n year = 2002,\n publisher = {Springer Berlin Heidelberg},\n pages = {452--490},\n author = {Rob Miller and Murray Shanahan},\n title={{{Some Alternative Formulations of the Event Calculus}}},\n booktitle = {Computational Logic: Logic Programming and Beyond}\n}\n\n","author_short":["Miller, R.","Shanahan, M."],"key":"Miller_2002","id":"Miller_2002","bibbaseid":"miller-shanahan-somealternativeformulationsoftheeventcalculus-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007\\%2F3-540-45632-5_17"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/network/files/WHTzEF4iNkBsbixuA","dataSources":["EQkpjiJorzbSFGLvW"],"keywords":[],"search_terms":["alternative","formulations","event","calculus","miller","shanahan"],"title":"Some Alternative Formulations of the Event Calculus","year":2002}