@book{Reiter:2001a,
	author = "Raymond Reiter",
	year = "2001",
	title = "Knowledge in Action: {L}ogical Foundations for Specifying and Implementing Dynamical Systems",
	publisher = mit,
	_address = mit-ad
}

{"_id":{"_str":"5342b4530e946d920a003330"},"__v":6,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-knowledgeinactionlogicalfoundationsforspecifyingandimplementingdynamicalsystems-2001","bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Raymond"],"propositions":[],"lastnames":["Reiter"],"suffixes":[]}],"year":"2001","title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","publisher":"MIT Press","_address":"Cambridge, MA","bibtex":"@book{Reiter:2001a,\n\tauthor = \"Raymond Reiter\",\n\tyear = \"2001\",\n\ttitle = \"Knowledge in Action: {L}ogical Foundations for Specifying and Implementing Dynamical Systems\",\n\tpublisher = mit,\n\t_address = mit-ad\n}\n\n","author_short":["Reiter, R."],"key":"Reiter:2001a","id":"Reiter:2001a","bibbaseid":"reiter-knowledgeinactionlogicalfoundationsforspecifyingandimplementingdynamicalsystems-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","downloads":0,"keywords":[],"search_terms":["knowledge","action","logical","foundations","specifying","implementing","dynamical","systems","reiter"],"title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","year":2001,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","Wo6xXToiJqz8R4Frj","vAo9zFmkx4MpPsgha","Qpy9RPTJoQ48BbKTB","cx4WvnDhXJhiLqdQo"]}