{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T02:50:23Z","timestamp":1769914223734,"version":"3.49.0"},"reference-count":22,"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":[[1993,1]]},"DOI":"10.1080\/11663081.1993.10510796","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:02:48Z","timestamp":1338364968000},"page":"73-92","source":"Crossref","is-referenced-by-count":7,"title":["Modal logic based theory for non-monotonic reasoning"],"prefix":"10.1080","volume":"3","author":[{"given":"Pierre","family":"Siegel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camilla","family":"Schwind","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Besnard, P. and Siegel, P. 1986. \u201cThe preferential models approach to non monotonic logics. Workshop \u201cNon-standard Logics for Automated Reasoning\u201d-Cordes France, Septembre\u201d. Edited by: Smets, P., Mandani, A., Dubois, D. and Prade, H. Vol. 1988, 137\u2013161. London: Academic Press. Also in: Non-Standard Logics for Automated Reasoning"},{"key":"CIT0002","unstructured":"Besnard, P. and Siegel, P. 1988. \u201cSupposition-based Logic For Automated Nonmonotonic Reasonning. Proc. of the 9th Conf. on Automated Deduction. Argonne, USA, May\u201d."},{"key":"CIT0003","unstructured":"Besnard, P. and Siegel, P. 1988. \u201cA Framework for logics of \u201csuppose\u201d and \u201cadmit\u201d. Proc. of Europ. Workshop on Logical Methods in Artificial Intelligence (JELIA'88), Roscoff, France, June\u201d."},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Bossu, G. 1982. \u201cSiegel P. Nonmonotonic reasoning and databases. Proc. of the Workshop \u201cLogical Bases for Data Bases, Toulouse, Dec.\u201d. Edited by: Gallaire, H., Minker, J. and Nicolas, J. M. 239\u2013284. New York and London: Plenum Press. Also in: Advances in Data Bases Theory (1984","DOI":"10.1007\/978-1-4615-9385-0_9"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90040-2"},{"issue":"1","key":"CIT0006","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"Etherington E.","year":"1987","journal-title":"Artificial Inteligence"},{"key":"CIT0007","first-page":"41","volume":"2","author":"Jeannicot S.","year":"1988","journal-title":"Revue d'Intelligence Artificielle"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Konolige, K. 1987. \u201cOn the relation between default and autoepistemic logic Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'87)\u201d.","DOI":"10.21236\/ADA461880"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90021-5"},{"key":"CIT0010","unstructured":"Lin, F. and Shoham, Y. 1990. \u201cEpistemic semantics for fixed-point non monotonic logics. Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning about Knowledge (TARK'90)\u201d."},{"key":"CIT0011","unstructured":"Marek, W. and Truszczynski, M. 1989. \u201cRelating autoepistemic and default logics. Proc. of the 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning, Toronto\u201d."},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01531081","volume":"1","author":"Marek W.","year":"1990","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"McCarthy, J. 1980. \u201cCircumscription\u2014A form of non-monotonic reasoning. Artificial Intelligence, 13\u201d.","DOI":"10.21236\/ADA086574"},{"issue":"1","key":"CIT0014","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"McDermott D.","year":"1982","journal-title":"J. of the Ass. for Comp. Mach."},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Schwind, C. 1990. \u201cA tableaux-based theorem prover for a decidable subset of default logic. Proc. of the 10th Inter. Conf. on Automated Deduction (CADE'90), July\u201d.","DOI":"10.1007\/3-540-52885-7_112"},{"key":"CIT0018","unstructured":"Shoham, Y. 1987. \u201cNonmonotonic logics: meaning and utility. Proc. Of Inter. Joint Conf. on Artificial Intelligence (IJCAI'87), Milan, Italy\u201d."},{"key":"CIT0019","unstructured":"Siegel, P. 1987. \u201cRepr\u00e9sentation et utilisation de la connaissance en calcul propositionnel. Th\u00e8se de Doctorat d'Etat en Informatique, Universit\u00e9 d'Aix-Marseille II, juillet\u201d."},{"key":"CIT0020","unstructured":"Siegel, P. 1990. \u201cA modal language for nonmonotonic logic. D.R.U.M.S Workshop, Marseille, February\u201d."},{"key":"CIT0021","unstructured":"Siegel, P. and Schwind, C. 1991. \u201cHypothesis theory for nonmonotonic reasoning. Proc. of the 1st Inter. Workshop on Nonstandard Queries and Answers, Toulouse, July\u201d."},{"key":"CIT0022","unstructured":"Truszczynski, M. 1991. \u201cModal interpretations of default logic. Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'91)\u201d."}],"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":[[2019,6,29]],"date-time":"2019-06-29T07:07:07Z","timestamp":1561792027000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1993.10510796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/11663081.1993.10510796"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1993.10510796","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}