{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:52:25Z","timestamp":1648939945320},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881899","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:18:27Z","timestamp":1104002307000},"page":"23-41","source":"Crossref","is-referenced-by-count":2,"title":["The inevitability of inconsistent abstract spaces"],"prefix":"10.1007","volume":"11","author":[{"given":"Fausto","family":"Giunchiglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bledsoe, W. W. and Tyson, M., ?The UT interactive prover?. Technical report, Mathematics Department, University of Texas (1975) ATP-17."},{"key":"CR2","unstructured":"Doyle, R. J., ?Constructing and refining causal explanations from an inconsistent domain theory?, inProc. Fifth National Conference on Artificial Intelligence, pp. 538?544, Philadelphia (1986) AAAI."},{"key":"CR3","unstructured":"Giunchiglia, F. and Giunchiglia, E., ?Building complex derived inference rules: A decider for the class of prenex universal-existential formulas?, inProc. 7th European Conference on Artificial Intelligence (1988) pp. 607?609. Extended version available as DAI Research Paper 359, Dept. of Artificial Intelligence, Edinburgh."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Green, C., ?Application of theorem proving to problem solving?, inProc. 1st IJCAI Conference, p. 219?239, International Joint Conference on Artificial Intelligence (1969).","DOI":"10.21236\/ADA459656"},{"key":"CR5","unstructured":"Giunchiglia, F. and Walsh, T., ?Abstract theorem proving?, inProc. IJCAI 89, (1989) pp. 372?377. IRST Technical Report 8902-03. Also available as DAI Research Paper No. 430, University of Edinburgh."},{"key":"CR6","unstructured":"Giunchiglia, F. and Walsh, T., ?Theorem proving with definitions?, inProc. of the 7th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (1989) pp. 175?183. Also available as IRST Technical Report 8901-03 and DAI Research Paper No. 429, Dept. of Artificial Intelligence, Edinburgh."},{"issue":"2?3","key":"CR7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F. and Walsh, T., ?A theory of abstraction?,Artificial Intelligence Journal 56(2?3), 323?390 (1992). Also IRST-Technical Report 9001-14, IRST, Trento, Italy.","journal-title":"Artificial Intelligence Journal"},{"key":"CR8","unstructured":"Hobbs, J. R., ?Granularity?, inProc. 9th IJCAI Conference, pp. 432?435. International Joint Conference on Artificial Intelligence (1985)."},{"key":"CR9","unstructured":"Mendelson, E.,Introduction to Mathematical Logic, Van Nostrand Reinhold (1964)."},{"key":"CR10","unstructured":"McCarthy, J. and Hayes, P., ?Some philosophical problems from the standpoint of artificial intelligence?, in B. Meltzer and D. Michie (Eds.),Machine Intelligence, pp. 463?502. Edinburgh University Press (1969)."},{"key":"CR11","unstructured":"Nilsson, N. J.,Principles of Artificial Intelligence, Tioga Publishing Co. (1980)."},{"key":"CR12","unstructured":"Newell, A. and Simon, H. A.,Human Problem Solving, Prentice-Hall (1972)."},{"key":"CR13","unstructured":"Newell, A., Shaw, J. C. and Simon, H. A., ?Empirical explorations of the logic theory machine?, in H. Fiegenbaum and K. Feldman (Eds.),Computers & Thought, pp. 134?152, McGraw-Hill (1963)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Plaisted, D. A., ?Abstraction mappings in mechanical theorem proving?, inProc. 5th Conference on Automated Deduction, pp. 264?280 (1980).","DOI":"10.1007\/3-540-10009-1_21"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","volume":"16","author":"D. A. Plaisted","year":"1981","unstructured":"Plaisted, D. A., ?Theorem proving with abstraction?,Artificial Intelligence,16, 47?108 (1981).","journal-title":"Artificial Intelligence"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Plaisted, D. A., ?Abstraction using generalization functions?, inProc. 8th Conference on Automated deduction, pp. 365?376 (1986).","DOI":"10.1007\/3-540-16780-3_103"},{"key":"CR17","unstructured":"Plummer, D., ?Grazing: Controlling the use of rewrite rules?, Ph.D. thesis, Dept. of Artificial Intelligence, University of Edinburgh (1987)."},{"key":"CR18","volume-title":"Natural Deduction-A Proof Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.,Natural Deduction-A Proof Theoretical Study. Almquist and Wiksell, Stockholm (1965)."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Prawitz, D., ?Ideas and results in proof theory?, in J. E. Fenstad (Ed.),Proc. 2nd Scandinavian Logic Symposium. North Holland (1971).","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"CR20","volume-title":"Artificial Intelligence","author":"E. Rich","year":"1983","unstructured":"Rich, E.,Artificial Intelligence. McGraw-Hill, New York (1983)."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E. D. Sacerdoti","year":"1974","unstructured":"Sacerdoti, E. D., ?Planning in a hierarchy of abstraction spaces?,Artificial Intelligence 5, 115?135 (1974).","journal-title":"Artificial Intelligence"},{"key":"CR22","unstructured":"Tenenberg, J. D., ?Preserving consistency across abstraction mappings?, inProc. 10th IJCAI Conference, pp. 1011?1014 (1987)."},{"key":"CR23","unstructured":"Tenenberg, J. D., ?Abstraction in planning?, Ph.D. Thesis, Computer Science Department, University of Rochester (1988). Also TR 250."},{"key":"CR24","unstructured":"Unruh, A. and Rosenbloom, P., ?Abstraction in problem solving and learning?, inProc. 11th IJCAI Conference (1989) pp. 681?687."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881899.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881899\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:30:01Z","timestamp":1586043001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881899"],"URL":"https:\/\/doi.org\/10.1007\/bf00881899","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}