{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:16:26Z","timestamp":1676006186299},"reference-count":24,"publisher":"Hindawi Limited","issue":"5","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":9040,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1990,12]]},"DOI":"10.1002\/int.4550050505","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T15:19:44Z","timestamp":1183907984000},"page":"505-520","source":"Crossref","is-referenced-by-count":6,"title":["A general approach for determining the validity of commonsense assertions using conditional logics"],"prefix":"10.1155","volume":"5","author":[{"given":"Chris","family":"Groeneboer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James P.","family":"Delgrande","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550050505-BIB1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"Smullyan","year":"1968","unstructured":"First-Order Logic, Springer-Verlag, 1968."},{"key":"10.1002\/int.4550050505-BIB2","volume-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968","unstructured":"and , An Introduction to Modal Logic, Methuen and Col. Ltd., 1968."},{"key":"10.1002\/int.4550050505-BIB3","author":"Groeneboer","year":"1987","unstructured":"Tableau-Based Theorem Proving for a Conditional Logic, M. Sc. Thesis, School of Computing Science, Simon Fraser University, 1987."},{"key":"10.1002\/int.4550050505-BIB4","volume-title":"Counterfactuals","author":"Lewis","year":"1973","unstructured":"Counterfactuals, Harvard University Press, 1973."},{"key":"10.1002\/int.4550050505-BIB5","series-title":"Philosophical","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","volume":"20","author":"Nute","year":"1980","unstructured":"Topics in Conditional Logic, Philosophical Studies Series in Philosophy, Volume 20, D. Reidel Pub. Co., 1980."},{"key":"10.1002\/int.4550050505-BIB6","first-page":"98","volume-title":"Studies in Logical Theory","author":"Stalnaker","year":"1968","unstructured":"\u201cA Theory of Conditionals,\u201d In Studies in Logical Theory, (Ed.), Basil Blackwell, Oxford, 1968, pp. 98\u2013112."},{"key":"10.1002\/int.4550050505-BIB7","author":"Ginsberg","year":"1985","unstructured":"\u201cCounterfactuals,\u201d Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 1985, pp. 80\u201386."},{"key":"10.1002\/int.4550050505-BIB8","series-title":"Philosophical","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1500-4","volume-title":"Subjunctive Reasoning","author":"Pollock","year":"1976","unstructured":"Subjunctive Reasoning, Philosophical Studies Series in Philosophy, Reidel Publishing, Dordrecht, Holland, 1976."},{"key":"10.1002\/int.4550050505-BIB9","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF00255570","volume":"1","author":"van Fraassen","year":"1972","journal-title":"Journal of Philosophical Logic"},{"key":"10.1002\/int.4550050505-BIB10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: an Introduction","author":"Chellas","year":"1980","unstructured":"Modal Logic: an Introduction, Cambridge University Press, 1980."},{"key":"10.1002\/int.4550050505-BIB11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"Chellas","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"10.1002\/int.4550050505-BIB12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050505-BIB13","first-page":"295","volume-title":"Proceedings of the Non-Monotonic Reasoning Workshop","author":"McCarthy","year":"1984","unstructured":"\u201cApplications of Circumscription to Formalizing Commonsense Reasoning,\u201d Proceedings of the Non-Monotonic Reasoning Workshop, American Association for Artificial Intelligence, 1984, pp. 295\u2013324."},{"key":"10.1002\/int.4550050505-BIB14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050505-BIB15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050505-BIB16","author":"Glymour","year":"1984","unstructured":"and , \u201cDefault Reasoning and the Logic of Theory Perturbation,\u201d Proceedings of the Non-Monotonic Reasoning Workshop, American Association for Artificial Intelligence, 1984, pp. 93\u2013102."},{"key":"10.1002\/int.4550050505-BIB17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"Delgrande","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050505-BIB18","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969","unstructured":"\u201cInvestigations into Logical Deduction,\u201d In The Collected Papers of Gerhard Gentzen, (Ed.), North-Holland Publishing Company, Amsterdam, 1969, pp. 68\u2013131."},{"key":"10.1002\/int.4550050505-BIB19","volume-title":"The Foundations of Mathematics","author":"Beth","year":"1959","unstructured":"The Foundations of Mathematics, North-Holland, 1959, revised edition 1964."},{"key":"10.1002\/int.4550050505-BIB20","first-page":"7","volume":"8","author":"Hintikka","year":"1955","journal-title":"Acta Philosophica Fennica"},{"key":"10.1002\/int.4550050505-BIB21","first-page":"31","volume-title":"Sixth Canadian Conference on Artificial Intelligence","volume":"AI-86","author":"Oppacher","year":"1986","unstructured":"and , \u201cAn Efficient Tableau-based Theorem Prover,\u201d AI-86, Sixth Canadian Conference on Artificial Intelligence, Montreal, Canadian Society for Computational Studies of Intelligence, May 1986, pp. 31\u201335."},{"key":"10.1002\/int.4550050505-BIB22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"Fitting","year":"1983","unstructured":"Proof Methods for Modal and Intuitionistic Logics, Reidel Publishing, Dordrecht, Holland, 1983."},{"key":"10.1002\/int.4550050505-BIB23","author":"Kripke","year":"1963","unstructured":"\u201cSemantical Considerations on Modal Logics,\u201d Acta Philosophica Fennica, Modal and Many-valued Logics, 1963, pp. 83\u201394."},{"key":"10.1002\/int.4550050505-BIB24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"Rescher","year":"1971","unstructured":"and , Temporal Logic, Springer-Verlag\/Wien, 1971."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550050505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550050505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:33:06Z","timestamp":1675956786000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550050505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1990,12]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550050505","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}