{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:11Z","timestamp":1725663971774},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_219","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:14Z","timestamp":1330193534000},"page":"68-77","source":"Crossref","is-referenced-by-count":8,"title":["Approximate entailment"],"prefix":"10.1007","author":[{"given":"Marco","family":"Cadoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Schaerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis M., Putnam H., \u201cA Computing Procedure for Quantification Theory\u201d, Journal of ACM, vol. 7, 1960, pp. 201\u2013215.","journal-title":"Journal of ACM"},{"key":"7_CR2","unstructured":"Donini F. M., Lenzerini M., Nardi D. and Nutt W., \u201cThe Complexity of Concept Languages\u201d, Proc. of KR-91, 1991, pp.151\u2013162."},{"key":"7_CR3","volume-title":"Computers and Intractability, A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"Garey M.R., and Johnson D.S., Computers and Intractability, A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, San Francisco, 1979."},{"key":"7_CR4","unstructured":"Levesque H. J., \u201cA Logic of Implicit and Explicit Belief\u201d, Proc. of AAAI-84, 1984, pp. 198\u2013202."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. J. Levesque","year":"1988","unstructured":"Levesque H. J., \u201cLogic and the Complexity of Reasoning\u201d, Journal of Philosophical Logic, vol. 17, 1988, pp. 355\u2013389.","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR6","unstructured":"Levesque H. J., \u201cA knowledge-level account of abduction\u201d, Proc. of IJCAI-89, 1989, pp. 1061\u20131067."},{"key":"7_CR7","unstructured":"Loveland D., Automated Theorem Proving: A Logical basis, North Holland, 1978."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson J. A., \u201cA Machine Oriented Logic Based on the resolution Principle\u201d, JACM, 12, 1965, pp. 397\u2013415.","journal-title":"JACM"},{"key":"7_CR9","first-page":"149","volume-title":"Machine Intelligence, vol. 9","author":"L. A. Zadeh","year":"1979","unstructured":"Zadeh L. A., \u201cA Theory of Approximate Reasoning\u201d, in Machine Intelligence, vol. 9, (J. E. Hayes, D. Michie and L. I. Mikulich eds.), Elsevier, New York, 1979, pp. 149\u2013194."}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_219.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:23:49Z","timestamp":1619558629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_219","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}