{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T22:48:08Z","timestamp":1649026088337},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1016\/0950-7051(90)90037-i","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T04:45:55Z","timestamp":1047703555000},"page":"28-31","source":"Crossref","is-referenced-by-count":0,"title":["Nonmonotonic reasoning and logic programming"],"prefix":"10.1016","volume":"3","author":[{"given":"Petr","family":"Jirk\u016f","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-7051(90)90037-I_BIB1","series-title":"The Knowledge Frontier, Essays in the Representation of Knowledge","author":"Cercone","year":"1987"},{"issue":"No 4","key":"10.1016\/0950-7051(90)90037-I_BIB2","first-page":"32","article-title":"Conventional languages & expert systems","volume":"Vol 2","author":"Degroff","year":"1987","journal-title":"AI Expert"},{"key":"10.1016\/0950-7051(90)90037-I_BIB3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic I","volume":"Vol 13","author":"McDermott","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0950-7051(90)90037-I_BIB4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","article-title":"Reasoning about action I: A possible worlds approach","volume":"Vol 35","author":"Ginsberg","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0950-7051(90)90037-I_BIB5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","article-title":"Reasoning about action II: The qualification problem","volume":"Vol 35","author":"Ginsberg","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0950-7051(90)90037-I_BIB6","unstructured":"Ishizuka, M and Matsuda, T \u2018Knowledge acquisition & management mechanism for frame knowledge-base including hypothesis knowledge\u2019 Theoretical Foundations of Knowledge and Information Processing Prague, to be published"},{"key":"10.1016\/0950-7051(90)90037-I_BIB7","series-title":"Proc. LOP'88","first-page":"37","article-title":"Expert systems and Prolog","author":"Jirk\u016f","year":"1988"},{"key":"10.1016\/0950-7051(90)90037-I_BIB8","article-title":"La Specificit\u00e9 et Logique des D\u00e9faults","author":"Moinard","year":"1987","journal-title":"Unit\u00e9 de recherche INRIA-Rennes No 642"},{"key":"10.1016\/0950-7051(90)90037-I_BIB9","series-title":"Aspects of Artificial Intelligence","first-page":"251","article-title":"Defeasible reasoning: A philosophical analysis in Prolog","author":"Nute","year":"1988"},{"key":"10.1016\/0950-7051(90)90037-I_BIB10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"Vol 13","author":"Reiter","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0950-7051(90)90037-I_BIB11","series-title":"LiTH-IDA-R-85-07","article-title":"A Functional Approach to Nonmonotonic Logic","author":"Sandewall","year":"1985"},{"key":"10.1016\/0950-7051(90)90037-I_BIB12","series-title":"LiTH-IDA-T-88-32","article-title":"An Approach to Non-monotonic Entailment","author":"Sandewall","year":"1988"},{"key":"10.1016\/0950-7051(90)90037-I_BIB13","series-title":"LiTH-IDA-R-88-27, 28, 29","article-title":"Non-Monotonic Entailment ff Reasoning about Time and Action, Part I: Sequential Actions, Part II: Concurrent Actions, Part III: Decision Procedure","author":"Sandwell","year":"1988"},{"key":"10.1016\/0950-7051(90)90037-I_BIB14","series-title":"Logical Programming Series","article-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/0950-7051(90)90037-I_BIB15","first-page":"56","article-title":"An axiomatic treatment of non-monotonic arguments","volume":"Vol 17","author":"W\u00f3jcicki","year":"1988"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519090037I?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519090037I?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T11:55:33Z","timestamp":1553514933000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095070519090037I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["095070519090037I"],"URL":"https:\/\/doi.org\/10.1016\/0950-7051(90)90037-i","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}