{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T19:24:28Z","timestamp":1700162668404},"reference-count":15,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"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":[[1993,6]]},"DOI":"10.1016\/0950-7051(93)90023-m","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T04:45:55Z","timestamp":1047703555000},"page":"87-94","source":"Crossref","is-referenced-by-count":7,"title":["Efficient hypothetical reasoning system for predicate-logic knowledge base"],"prefix":"10.1016","volume":"6","author":[{"given":"A.","family":"Kondo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Makino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ishizuka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No. 5","key":"10.1016\/0950-7051(93)90023-M_BIB1","first-page":"552","article-title":"An Approach Toward Next-Generation Knowledge-Base System by Handling Incomplete Knowledge","volume":"Vol. 3","author":"Ishizuka","year":"1988","journal-title":"Journal of JSAI"},{"key":"10.1016\/0950-7051(93)90023-M_BIB2","series-title":"The Knowledge Frontier: Essays in the Knowledge Representation","article-title":"Theorist; A logical Reasoning System for Defaults and Diagnosis","author":"Poole","year":"1987"},{"issue":"No. 2","key":"10.1016\/0950-7051(93)90023-M_BIB3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0950-7051(90)90002-Y","article-title":"Knowledge Acquisition Mechanisms for a Logical Knowledge Base including Hypothesis","volume":"Vol. 3","author":"Ishizuka","year":"1990","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/0950-7051(93)90023-M_BIB4","series-title":"Proc. PRICAI'90","first-page":"122","article-title":"A Hypothetical Reasoning System with Constraint Handling Mechanism and its Application to Circuit-Block Synthesis","author":"Makino","year":"1990"},{"key":"10.1016\/0950-7051(93)90023-M_BIB5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An Assumption-Based TMS","volume":"Vol. 28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"No. 4","key":"10.1016\/0950-7051(93)90023-M_BIB6","first-page":"501","article-title":"Fast Hypothetical Reasoning System using Inference-Path Network","volume":"Vol. 6","author":"Ito","year":"1991","journal-title":"Journal of JSAI"},{"key":"10.1016\/0950-7051(93)90023-M_BIB7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time Algorithm for Testing the Satisfiability of Propositional Horn Formulae","volume":"Vol. 3","author":"Dowling","year":"1984","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/0950-7051(93)90023-M_BIB8","unstructured":"A. Kondo, T. Makino and M. Ishizuka: An Efficient Inference for Hypothetical Reasoning System by using Parallel Solving Technique with Environment Lattice, 40th Nat. Conv. IPSJ, 6c-1 (1990.3) (in Japanese)"},{"key":"10.1016\/0950-7051(93)90023-M_BIB9","series-title":"Proc. First International Conference on Expert Database Systems","first-page":"179","article-title":"Recursive Axioms in Deductive Database: The Query\/Subquery Approach","author":"Vieille","year":"1986"},{"issue":"No. 3","key":"10.1016\/0950-7051(93)90023-M_BIB10","first-page":"240","article-title":"Evaluation Methods for Recursive Queries in Deductive Databases","volume":"Vol. 29","author":"Nishio","year":"1988","journal-title":"Journal of IPSJ"},{"key":"10.1016\/0950-7051(93)90023-M_BIB11","series-title":"Database Computers","author":"Stanley","year":"1988"},{"key":"10.1016\/0950-7051(93)90023-M_BIB12","series-title":"Database Machines and Database Management","author":"Ozkarahan","year":"1986"},{"key":"10.1016\/0950-7051(93)90023-M_BIB13","series-title":"Proc. of KR'89","first-page":"189","article-title":"Hard Problems for Simple Default Logics","author":"Kautz","year":"1989"},{"key":"10.1016\/0950-7051(93)90023-M_BIB14","unstructured":"T. Makino and M. Ishizuka: A Hypothetical Reasoning System with Experiences-Based Learning Mechanism, 1990 Autumn Nat. Conv. IEICE, No. D-155 (1990.10) (in Japanese)"},{"key":"10.1016\/0950-7051(93)90023-M_BIB15","unstructured":"A. Abe and M. Ishizuka: Fast Hypothetical Reasoning System using Analogy on Inference-Path Network, IPSJ Technical Report 90-AI-72-2 (1990.9) (in Japanese)"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519390023M?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519390023M?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:59:01Z","timestamp":1553515141000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095070519390023M"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["095070519390023M"],"URL":"https:\/\/doi.org\/10.1016\/0950-7051(93)90023-m","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}