{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:05:52Z","timestamp":1725573952397},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_19","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:17:05Z","timestamp":1294359425000},"page":"237-245","source":"Crossref","is-referenced-by-count":0,"title":["Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic"],"prefix":"10.1007","author":[{"given":"Frank M.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 8th International Conference on Automated Deduction","author":"F.M. Brown","year":"1986","unstructured":"Brown, F.M.: A Commonsense Theory of Nonmonotonic Reasoning. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol.\u00a0230. Springer, Heidelberg (1986)"},{"key":"19_CR2","volume-title":"Proc. of the 1987 AAAI Workshop","author":"F.M. Brown","year":"1987","unstructured":"Brown, F.M.: \u201dThe Modal Logic Z\u201d, The Frame Problem in AI. In: Proc. of the 1987 AAAI Workshop, Morgan Kaufmann, Los Altos (1987)"},{"key":"#cr-split#-19_CR3.1","unstructured":"Brown, F.M.:The Modal Quantificational Logic Z Applied to the Frame Problem. In: Advanced paper First International Workshop on Human & Machine Cognition, Pensacola, Florida (May 1989);"},{"key":"#cr-split#-19_CR3.2","unstructured":"Abbreviated version published in: Ford, K., Hayes, P. (eds.) International Journal of Expert Systems Research and Applications, Special Issue: The Frame Problem. Part A. 3(3), 169???206 (1990);"},{"key":"#cr-split#-19_CR3.3","unstructured":"Reprinted in: Ford, K.M., Hayes, P.J. (eds.) Reasoning Agents in a Dynamic World: The Frame problem, JAI Press (1991)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Brown, F.M.: Solving Modal Equivalences. In: IEEE International Symposium on Intelligent Control, October 5-8. Omni press (2003)","DOI":"10.1109\/ISIC.2003.1254745"},{"key":"19_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-45616-3_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Klotz, V., Tompits, H., Woltran, S.: Modal nonmonotonic logics revisited: Efficient encodings for the basic reasoning tasks. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, p. 100. Springer, Heidelberg (2002)"},{"key":"19_CR6","unstructured":"Konolige, K.: On the Relation between Autoepistemic Logic and Circumscription Preliminary Report, In: IJCAI (1989)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Moore, R.C.: Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence\u00a025 (1985)","DOI":"10.1016\/0004-3702(85)90042-6"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:09:36Z","timestamp":1559912976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}