{"_id":"4ZvWudneX43hExMHe","bibbaseid":"pirri-reiter-somecontributionstothemetatheoryofthesituationcalculus1introduction2formalpreliminaries-1999","authorIDs":[],"author_short":["Pirri, F.","Reiter, R."],"bibdata":{"bibtype":"article","type":"article","title":"Some Contributions to the Metatheory of the Situation Calculus 1 Introduction 2 Formal Preliminaries","volume":"46","number":"3","journal":"Journal of the ACM","author":[{"propositions":[],"lastnames":["Pirri"],"firstnames":["Fiora"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"year":"1999","bibtex":"@article{pirri_contributions_1999-1,\n\ttitle = {Some {Contributions} to the {Metatheory} of the {Situation} {Calculus} 1 {Introduction} 2 {Formal} {Preliminaries}},\n\tvolume = {46},\n\tnumber = {3},\n\tjournal = {Journal of the ACM},\n\tauthor = {Pirri, Fiora and Reiter, Ray},\n\tyear = {1999}\n}\n\n","author_short":["Pirri, F.","Reiter, R."],"key":"pirri_contributions_1999-1","id":"pirri_contributions_1999-1","bibbaseid":"pirri-reiter-somecontributionstothemetatheoryofthesituationcalculus1introduction2formalpreliminaries-1999","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:42:18.212Z","downloads":0,"keywords":[],"search_terms":["contributions","metatheory","situation","calculus","introduction","formal","preliminaries","pirri","reiter"],"title":"Some Contributions to the Metatheory of the Situation Calculus 1 Introduction 2 Formal Preliminaries","year":1999,"dataSources":["9pYjFWPBodPyDyb7N"]}