{"_id":"EqCiPLgmjHbdJ9iEE","bibbaseid":"barringer-fisher-gabbay-hunter-metareasoninginexecutabletemporallogic-1991","downloads":0,"creationDate":"2016-05-26T11:21:07.955Z","title":"Meta-Reasoning in Executable Temporal Logic","author_short":["Barringer, H.","Fisher, M.","Gabbay, D. M.","Hunter, A."],"year":1991,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Howard"],"propositions":[],"lastnames":["Barringer"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Dov","M."],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Hunter"],"suffixes":[]}],"title":"Meta-Reasoning in Executable Temporal Logic","booktitle":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991.","pages":"40–49","year":"1991","crossref":"DBLP:conf/kr/1991","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/kr/BarringerFGH91","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/BarringerFGH91,\n author = {Howard Barringer and\n Michael Fisher and\n Dov M. Gabbay and\n Anthony Hunter},\n title = {Meta-Reasoning in Executable Temporal Logic},\n booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge\n Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,\n 1991.},\n pages = {40--49},\n year = {1991},\n crossref = {DBLP:conf/kr/1991},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/kr/BarringerFGH91},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Barringer, H.","Fisher, M.","Gabbay, D. M.","Hunter, A."],"key":"DBLP:conf/kr/BarringerFGH91","id":"DBLP:conf/kr/BarringerFGH91","bibbaseid":"barringer-fisher-gabbay-hunter-metareasoninginexecutabletemporallogic-1991","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["meta","reasoning","executable","temporal","logic","barringer","fisher","gabbay","hunter"],"keywords":["dblp"],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}