{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T03:54:32Z","timestamp":1648612472557},"reference-count":23,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1988,3,1]],"date-time":"1988-03-01T00:00:00Z","timestamp":573177600000},"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":[[1988,3]]},"DOI":"10.1016\/0950-7051(88)90004-4","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T23:45:55Z","timestamp":1047685555000},"page":"94-104","source":"Crossref","is-referenced-by-count":6,"title":["Recursive modal unification for reasoning with knowledge using a graph representation"],"prefix":"10.1016","volume":"1","author":[{"given":"M.C.","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.J.","family":"Garner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tsui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0950-7051(88)90004-4_BIB1","series-title":"Conceptual Structures","author":"Sowa","year":"1984"},{"key":"10.1016\/0950-7051(88)90004-4_BIB2","series-title":"Proc. 1st Australian Artif. Intell. Congress","article-title":"Modal horn graph resolution","author":"Rao","year":"1986"},{"issue":"No 2","key":"10.1016\/0950-7051(88)90004-4_BIB3","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF03037397","article-title":"The recursive resolution method for modal logic","volume":"Vol 5","author":"Chan","year":"1987","journal-title":"New Generation Comput."},{"key":"10.1016\/0950-7051(88)90004-4_BIB4","article-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/0950-7051(88)90004-4_BIB5","series-title":"Applications of AI III","first-page":"415","article-title":"An extendible graph processor in knowledge engineering","volume":"635","author":"Garner","year":"1986"},{"key":"10.1016\/0950-7051(88)90004-4_BIB6","unstructured":"Tsui, E Control Structures for Canonical Graph Models PhD thesis, Division of Computing and Mathematics, Deakin University, Australia (in preparation)"},{"key":"10.1016\/0950-7051(88)90004-4_BIB7","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/0950-7051(88)90004-4_BIB8","series-title":"2nd Pan Pacific Computer Conf.","article-title":"Progress on an extendible graph processor for planning and reasoning","author":"Garner","year":"1987"},{"key":"10.1016\/0950-7051(88)90004-4_BIB9","series-title":"Model Theory for Modal Logic","author":"Bowen","year":"1979"},{"key":"10.1016\/0950-7051(88)90004-4_BIB10","article-title":"An introduction to the recursive resolution method for modal logic","author":"Chan","year":"1985"},{"key":"10.1016\/0950-7051(88)90004-4_BIB11","article-title":"Reasoning in a logic of linear time using the recursive resolution principle","author":"Chan","year":"1986"},{"key":"10.1016\/0950-7051(88)90004-4_BIB12","series-title":"Proc. 1st Australian Artif. Intell. Congress","article-title":"Automated reasoning in a logic of linear time using a functional approach","author":"Chan","year":"1986"},{"key":"10.1016\/0950-7051(88)90004-4_BIB13","series-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/0950-7051(88)90004-4_BIB14","series-title":"Proof Methods for Modal and Intuitionistic Logics","author":"Fitting","year":"1983"},{"key":"10.1016\/0950-7051(88)90004-4_BIB15","series-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"Gabbay","year":"1976"},{"key":"10.1016\/0950-7051(88)90004-4_BIB16","series-title":"Advanced Logic for Applications","author":"Grandy","year":"1977"},{"key":"10.1016\/0950-7051(88)90004-4_BIB17","series-title":"LNCS 129 Verifying Concurrent Processes Using Temporal Logic","author":"Hailpern","year":"1981"},{"key":"10.1016\/0950-7051(88)90004-4_BIB18","series-title":"A Companion to Modal Logic","author":"Hughes","year":"1984"},{"key":"10.1016\/0950-7051(88)90004-4_BIB19","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2024555","article-title":"Counterpart theory and quantified modal logic","volume":"Vol 65","author":"Lewis","year":"1968","journal-title":"J. Phil."},{"key":"10.1016\/0950-7051(88)90004-4_BIB20","series-title":"Temporal Logic","author":"Rescher","year":"1971"},{"issue":"No 1","key":"10.1016\/0950-7051(88)90004-4_BIB21","doi-asserted-by":"crossref","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"Vol 12","author":"Robinson","year":"1965","journal-title":"J. Assoc. for Comput. Mach."},{"key":"10.1016\/0950-7051(88)90004-4_BIB22","series-title":"Mathematical Logic and Formalized Theories","author":"Rogers","year":"1971"},{"key":"10.1016\/0950-7051(88)90004-4_BIB23","series-title":"Logics for Artificial Intelligence","author":"Turner","year":"1984"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950705188900044?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950705188900044?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T07:52:24Z","timestamp":1553500344000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950705188900044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,3]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,3]]}},"alternative-id":["0950705188900044"],"URL":"https:\/\/doi.org\/10.1016\/0950-7051(88)90004-4","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1988,3]]}}}