Knowledge in Action: logical foundations for specifying and implementing dynamical systems. Reiter, R. MIT Press, Cambridge, Mass, 2001. bibtex @book{reiter_knowledge_2001,
address = {Cambridge, Mass},
title = {Knowledge in {Action}: logical foundations for specifying and implementing dynamical systems},
isbn = {9780262182188},
shorttitle = {Knowledge in action},
publisher = {MIT Press},
author = {Reiter, Raymond},
year = {2001},
keywords = {Expert systems (Computer science), Knowledge representation (Information theory), Logic, Symbolic and mathematical},
}
Downloads: 0
{"_id":{"_str":"5342b4530e946d920a003330"},"__v":6,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-knowledgeinactionlogicalfoundationsforspecifyingandimplementingdynamicalsystems-2001","bibdata":{"bibtype":"book","type":"book","address":"Cambridge, Mass","title":"Knowledge in Action: logical foundations for specifying and implementing dynamical systems","isbn":"9780262182188","shorttitle":"Knowledge in action","publisher":"MIT Press","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Raymond"],"suffixes":[]}],"year":"2001","keywords":"Expert systems (Computer science), Knowledge representation (Information theory), Logic, Symbolic and mathematical","bibtex":"@book{reiter_knowledge_2001,\n\taddress = {Cambridge, Mass},\n\ttitle = {Knowledge in {Action}: logical foundations for specifying and implementing dynamical systems},\n\tisbn = {9780262182188},\n\tshorttitle = {Knowledge in action},\n\tpublisher = {MIT Press},\n\tauthor = {Reiter, Raymond},\n\tyear = {2001},\n\tkeywords = {Expert systems (Computer science), Knowledge representation (Information theory), Logic, Symbolic and mathematical},\n}\n\n","author_short":["Reiter, R."],"key":"reiter_knowledge_2001","id":"reiter_knowledge_2001","bibbaseid":"reiter-knowledgeinactionlogicalfoundationsforspecifyingandimplementingdynamicalsystems-2001","role":"author","urls":{},"keyword":["Expert systems (Computer science)","Knowledge representation (Information theory)","Logic","Symbolic and mathematical"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/christianfritz","downloads":0,"keywords":["expert systems (computer science)","knowledge representation (information theory)","logic","symbolic and mathematical"],"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"]}