{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T12:21:09Z","timestamp":1648988469256},"reference-count":20,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1080\/11663081.1996.10510864","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:05:01Z","timestamp":1338365101000},"page":"9-27","source":"Crossref","is-referenced-by-count":0,"title":["Automated inference in active logics"],"prefix":"10.1080","volume":"6","author":[{"given":"Michael","family":"Miller","sequence":"first","affiliation":[]},{"given":"Donald","family":"Perlis","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"deKleer J.","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"3","key":"CIT0002","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"Doyle J.","year":"1979","journal-title":"Artificial Intelligence"},{"key":"CIT0003","first-page":"412","volume-title":"Proceedings of the 9th National Conference on Artificial Intelligence","author":"Elgot-Drapkin J.","year":"1991"},{"issue":"1","key":"CIT0004","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"Elgot-Drapkin J.","year":"1990","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"CIT0005","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"Fagin R.","year":"1988","journal-title":"Artificial Intelligence"},{"key":"CIT0006","volume-title":"The Language of Thought.","author":"Fodor J.","year":"1979"},{"key":"CIT0007","volume-title":"Contexts: A formalization and some applications. PhD thesis, Stanford University, Palo Alto, CA","author":"Guha R. V.","year":"1991"},{"key":"CIT0008","first-page":"1","volume-title":"Formal methods in the study of language","author":"Kamp H.","year":"1981"},{"issue":"3","key":"CIT0009","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0004-3702(91)90018-F","volume":"50","author":"Maida A.","year":"1991","journal-title":"Artificial Intelligence"},{"key":"CIT0010","unstructured":"Maida, A. 1992. \u201cPropositionally representing incomplete knowledge about existence. Stanford University, March\u201d. AAAI92 Spring Symposium Series on Propositional Knowledge Representation"},{"key":"CIT0011","volume-title":"Proceedings of the Symposium on the Mechanization of Thought Processes","author":"McCarthy J.","year":"1958"},{"key":"CIT0012","volume-title":"Second Workshop on Formal Common Sense Reasoning","author":"McCarthy J.","year":"1993"},{"key":"CIT0013","volume-title":"A view of one's past and other aspects of reasoned change in belief. PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"Miller M.","year":"1993"},{"issue":"3","key":"CIT0014","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1111\/j.1467-8640.1987.tb00198.x","volume":"3","author":"McCarthy J.","year":"1987","journal-title":"Computational Intelligence"},{"key":"CIT0015","volume-title":"Proceedings of the 8th Int'l Joint Conference on Artificial Intelligence","author":"Moore R.","year":"1983"},{"key":"CIT0016","volume-title":"Proceedings of the 15th Annual Conference of the Cognitive Science Society","author":"Miller M.","year":"1993"},{"key":"CIT0017","volume-title":"Time-situated reasoning within tight deadlines and realistic space and computation bounds. PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"Nirkhe M.","year":"1994"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"Perlis D.","year":"1985","journal-title":"Artificial Intelligence"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"435","DOI":"10.2307\/2216073","volume":"25","author":"Perlis D.","year":"1991","journal-title":"No\u00fbs"},{"key":"CIT0020","volume-title":"Conceptual Memory: A Theory and Computer Program for Processing the Meaning Content of Natural-Language Utterances. PhD thesis, Department of Computer Science, Stanford University, Palo Alto, California","author":"Rieger C.","year":"1974"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:27:11Z","timestamp":1497986831000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1996.10510864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1080\/11663081.1996.10510864"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1996.10510864","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}