{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:58Z","timestamp":1725664498370},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540593386"},{"type":"electronic","value":"9783540492351"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59338-1_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:13:53Z","timestamp":1330258433000},"page":"47-62","source":"Crossref","is-referenced-by-count":1,"title":["Semantic tableaus for inheritance nets"],"prefix":"10.1007","author":[{"given":"Ingrid","family":"Neumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","volume-title":"Reasoning with incomplete information","author":"D. Etherington","year":"1988","unstructured":"D. Etherington, Reasoning with incomplete information (Morgan Kaufmann, Los Altos, CA, 1988)"},{"key":"4_CR2","unstructured":"D. W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, Proc. AAAI-83, Washington, DC (1983) 104\u2013108"},{"key":"4_CR3","volume-title":"Texts and Monographs in Computer Science","author":"M. Fitting","year":"1990","unstructured":"M. Fitting, First-order logic and automated theorem proving, (Texts and Monographs in Computer Science, Springer, New York, 1990)"},{"key":"4_CR4","unstructured":"J. F. Horty, R. H. Thomason and D. S. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic nets, in: Proc. AAAI-87, Seattle, WA (1987)"},{"key":"4_CR5","first-page":"1","volume-title":"General theory of cumulative inference","author":"D. Makinson","year":"1989","unstructured":"D. Makinson, General theory of cumulative inference, in: Proc. 2nd Int. Workshop on Nonmonotonic Reasoning (Springer, New York, 1989) 1\u201318"},{"key":"4_CR6","unstructured":"I. Neumann, Translating inheritence nets to default logic, Interner Bericht 25\/94, Universitaet Karlsruhe (1994)"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/PROC.1986.13636","volume":"74","author":"E. Sandewall","year":"1986","unstructured":"E. Sandewall, Nonmonotonic inference rules for multiple inheritance with exceptions, Proc. IEEE 74 (1986) 81\u2013132","journal-title":"Proc. IEEE"},{"key":"4_CR8","unstructured":"K. Schlechta, Defeasible Inheritance: Coherence Properties and Semantics, in: G. Brewka, H. Freitag (eds.), Proc. of the Workshop on Nonmonotonic Reasoning, GMD, 1989, 217\u2013228"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0004-3702(93)90081-L","volume":"62","author":"B. Selman","year":"1993","unstructured":"B. Selman and H. J. Levesque, The complexity of path-based defeasible inheritance, Artif. Intell. 62 (1993) 303\u2013339","journal-title":"Artif. Intell."},{"key":"4_CR10","unstructured":"L. A. Stein, Resolving ambiguities in nonmonotonic reasoning, Ph.D. Thesis, Department of Computer Science, Brown University, Providence, RI (1990)"},{"key":"4_CR11","volume-title":"The mathematics of inheritance systems","author":"D. S. Tourretzky","year":"1986","unstructured":"D. S. Tourretzky, The mathematics of inheritance systems (Morgan Kaufmann, Los Altos, CA, 1986)"},{"key":"4_CR12","unstructured":"D. S. Touretzky, J. F. Horty and R. H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: Proc. IJCAI-87, Milan, Italy (1987) 476\u2013482"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59338-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:09Z","timestamp":1619558829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59338-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540593386","9783540492351"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-59338-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}