{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:25:46Z","timestamp":1648877146596},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf01535525","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T12:23:39Z","timestamp":1113913419000},"page":"345-365","source":"Crossref","is-referenced-by-count":0,"title":["Hybridizing nonmonotonic inheritance with theorem proving"],"prefix":"10.1007","volume":"6","author":[{"given":"Richmond H.","family":"Thomason","sequence":"first","affiliation":[]},{"given":"John M.","family":"Aronis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"N. Belnap, A useful four-valued logic, in:Modern Uses of Multiple-Valued Logic, eds. J. Dunn and G. Epstein (D. Reidel, 1977) pp. 8?37.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00250612","volume":"16","author":"G. Boolos","year":"1987","unstructured":"G. Boolos, A curious inference, J. Phil. Logic 16 (1987) 1?12.","journal-title":"J. Phil. Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00278382","volume":"11","author":"G. Carlson","year":"1982","unstructured":"G. Carlson, Generic terms and generic sentences, J. Phil. Logic 11 (1982) 145?182.","journal-title":"J. Phil. Logic"},{"key":"CR4","unstructured":"C. Cross and R. Thomason, Update and conditionals, in:Belief Revision, ed. P. G\u00e4rdenfors (Cambridge University Press) forthcoming."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","volume":"48","author":"J. Doyle","year":"1991","unstructured":"J. Doyle and R. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services, Art. Int. 48 (1991) 261?297.","journal-title":"Art. Int."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"S. Fahlman,NETL: A System for Representing and Using Real-World Knowledge (MIT Press, 1979).","DOI":"10.7551\/mitpress\/4917.001.0001"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(91)90009-9","volume":"49","author":"A. Frisch","year":"1991","unstructured":"A. Frisch, The substitutional framework for sorted deduction, Art. Int. 49 (1991) 161?198. Reprinted in:Knowledge Representation, eds. R. Brachman, H. Levesque and R. Reiter (MIT Press, 1991) pp. 161?198.","journal-title":"Art. Int."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"G. Gentzen, Untersuchungen \u00fcber das Logische Schliessen, Math. Zeits. 39 (1934) 176?210. 405?431. Translated (as: Investigations into logical deduction) in:The Collected Papers of Gerhard Gentzen, ed. M. Szabo (North-Holland, 1969) pp. 68?131.","journal-title":"Math. Zeits."},{"key":"CR9","unstructured":"H. Levesque and R. Brachman, A fundamental tradeoff in knowledge and reasoning, in:Readings in Knowledge Representation, eds. R. Brachman and H. Levesque (Morgan Kaufmann, 1985) pp. 41?70."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","volume":"42","author":"J. Horty","year":"1990","unstructured":"J. Horty, R. Thomason and D. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic nets, Art. Int. 42 (1990) 311?348.","journal-title":"Art. Int."},{"key":"CR11","first-page":"427","volume-title":"Mixing strict and defeasible inheritance","author":"J. Horty","year":"1988","unstructured":"J. Horty and R. Thomason, Mixing strict and defeasible inheritance, in:AAAI-88 (Proc. 7th National Conf. on Artificial Intelligence), vol. 2 (Morgan Kaufmann, Los Altos, 1988) pp. 427?432."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00244275","volume":"1","author":"M. Stickel","year":"1985","unstructured":"M. Stickel, Automated deduction by theory resolution, J. Autom. Reasoning 1 (1985) 333?335.","journal-title":"J. Autom. Reasoning"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"R. Thomason, J. Horty and D. Touretzky, A calculus for inheritance in monotonic semantic nets, Technical Report CMU-CS-86-138, Computer Science Department, Carnegie Mellon University (1986).","DOI":"10.21236\/ADA188746"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"280","DOI":"10.21236\/ADA188746","volume-title":"A calculus for inheritance in monotonic semantic nets","author":"R. Thomason","year":"1987","unstructured":"R. Thomason, J. Horty and D. Touretzky, A calculus for inheritance in monotonic semantic nets, in:Methodologies for Intelligent Systems (Proc. 2nd Int. Symp. on Methodologies for Intelligent Systems), eds. Z. Ras and M. Zemankova (North-Holland, Amsterdam, 1987) pp. 280?287."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R. Thomason","year":"1969","unstructured":"R. Thomason, A semantical study of constructible falsity, Zeits. Math. Logik Grundlagen Math. 15 (1969) 247?257.","journal-title":"Zeits. Math. Logik Grundlagen Math."},{"key":"CR16","first-page":"630","volume-title":"A semantic analysis of monotonic inheritance with roles and relations","author":"R. Thomason","year":"1991","unstructured":"R. Thomason, A semantic analysis of monotonic inheritance with roles and relations, in:Methodologies for Intelligent Systems (Proc. 6th Int. Symp. on Methodologies for Intelligent Systems), eds. Z. Ras, M. Zemankova and M. Emrich (North-Holland, Amsterdam, 1991) pp. 630?644."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0898-1221(92)90140-D","volume":"23","author":"R. Thomason","year":"1992","unstructured":"R. Thomason, NETL and subsequent path-based inheritance theories, Comput. Meth. Appl. 23 (1992) 179?204.","journal-title":"Comput. Meth. Appl."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"R. Thomason and D. Touretzky, Inheritance theory and networks with roles, in:Principles of Semantic Networks, ed. J. Sowa (Morgan Kaufmann, 1992) pp. 231?266.","DOI":"10.1016\/B978-1-4832-0771-1.50014-X"},{"key":"CR19","volume-title":"The Mathematics of Inheritance Systems","author":"D. Touretzky","year":"1986","unstructured":"D. Touretzky,The Mathematics of Inheritance Systems (Morgan Kaufmann, Los Altos, CA, 1986)."},{"key":"CR20","first-page":"476","volume-title":"A clash of intuitions: the current state of nonmonotonic multiple inheritance systems","author":"D. Touretzky","year":"1987","unstructured":"D. Touretzky, J. Horty and R. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems,Proc. 10th Int. Joint Conf. on Artificial Intelligence, ed. J. McDermott (Morgan Kaufmann, Los Altos, 1987) pp. 476?482."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01535525\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01535525.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01535525\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01535525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:17:04Z","timestamp":1586218624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01535525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF01535525"],"URL":"https:\/\/doi.org\/10.1007\/bf01535525","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}