{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:11Z","timestamp":1742596811718,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:39:46Z","timestamp":1330259986000},"page":"77-92","source":"Crossref","is-referenced-by-count":0,"title":["Inheritance in a hierarchy of theories"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"David","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Porto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","unstructured":"Ronald J. Brachman. I lied about the trees or, defaults and definitions in knowledge representation. AI Magazine, 1985."},{"key":"6_CR2","volume-title":"Semantics of property inheritance in a hierarchic system with explicit negation","author":"G. David","year":"1991","unstructured":"Gabriel David and Ant\u00f3nio Porto. Semantics of property inheritance in a hierarchic system with explicit negation. In Lu\u00eds Moniz Pereira and Ant\u00f3nio Porto, editors, EPIA '91 5th Portuguese Conference on Artificial Intelligence, Berlin, 1991. Springer-Verlag."},{"key":"6_CR3","first-page":"144","volume-title":"Rule-based inheritance in structured logic programming","author":"G. David","year":"1992","unstructured":"Gabriel David and Ant\u00f3nio Porto. Rule-based inheritance in structured logic programming. In Edson Carvalho Filho, editor, IX Simp\u00f3sio Brasileiro de Intelig\u00eancia Artificial, page 144, Rio de Janeiro, 1992. Sociedade Brasileira de Computa\u00e7\u00e3o."},{"key":"6_CR4","volume-title":"Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David H. D. Warren and Peter Szeredi, editors, Logic Programming, Cambridge, MA, 1990. MIT Press."},{"key":"6_CR5","volume-title":"Mixing strict and defeasible inheritance","author":"J. F. Horty","year":"1988","unstructured":"John F. Horty and Richmond H. Thomason. Mixing strict and defeasible inheritance. In Proc. Seventh National Conference on Artificial Intelligence, Los Altos CA, 1988. Morgan Kaufmann Publishers."},{"key":"6_CR6","volume-title":"A skeptical theory of inheritance in nonmonotonic semantic networks","author":"J. F. Horty","year":"1987","unstructured":"John F. Horty, Richmond H. Thomason, and David S. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. In Proc. Sixth National Conference on Artificial Intelligence, Los Altos CA, 1987. Morgan Kaufmann Publishers."},{"key":"6_CR7","volume-title":"Logic Programming","author":"R. Kowalski","year":"1990","unstructured":"Robert Kowalski and Fariba Sadri. Logic programs with exceptions. In David H. D. Warren and Peter Szeredi, editors, Logic Programming, Cambridge, MA, 1990. MIT Press."},{"key":"6_CR8","first-page":"204","volume-title":"An introduction to L&O","author":"F. G. McCabe","year":"1993","unstructured":"Francis G. McCabe. An introduction to L&O. In K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, editors, Logic Programming Languages: Constraints, Functions and Objects, page 204, Cambridge, MA, 1993. The MIT Press."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Monteiro and Ant\u00f3nio Porto. Syntactic and semantic inheritance in logic programming. In J. Darlington and R. Dietrich, editors, Proc. Phoenix Workshop and Seminar on Declarative Programming, 1991.","DOI":"10.1007\/978-1-4471-3794-8_11"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"David Makinson and Karl Schlechta. Floating conclusions and zombie paths: Two deep difficulties in the directly skeptical approach to defeasible inheritance nets. Artificial Intelligence, 1991.","DOI":"10.1016\/0004-3702(91)90061-N"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Erik Sandewall. Nonmonotonic inference rules for multiple inheritance with exceptions. IEEE Proceedings, 10\/86.","DOI":"10.1109\/PROC.1986.13636"},{"key":"6_CR12","volume-title":"A clash of intuitions: the current state of nonmonotonic multiple inheritance systems","author":"D. S. Touretzky","year":"1987","unstructured":"David S. Touretzky, John F. Horty, and Richmond H. Thomason. A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In Drew McDermott, editor, Proc. Tenth International Joint Conference on Artificial Intelligence, Los Altos CA, 1987. Morgan Kaufmann Publishers."},{"key":"6_CR13","volume-title":"Readings in Nonmonotonic Reasoning","author":"D. S. Touretzky","year":"1987","unstructured":"David S. Touretzky. Implicit ordering of defaults in inheritance systems. In Matthew L. Ginsberg, editor, Readings in Nonmonotonic Reasoning, Los Altos, CA, 1987. Morgan Kaufmann Publishers."},{"key":"6_CR14","volume-title":"A skeptic's menagerie: Conflictors, preemptors, reinstaters, and zombies in nonomonotonic inheritance","author":"D. S. Touretzky","year":"1991","unstructured":"David S. Touretzky, Richmond H. Thomason, and John F. Horty. A skeptic's menagerie: Conflictors, preemptors, reinstaters, and zombies in nonomonotonic inheritance. In Proc. Twelfth International Joint Conference on Artificial Intelligence, Los Altos CA, 1991. Morgan Kaufmann Publishers."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Gerd Wagner. Logic programming with strong negation and inexact predicates. Journal of Logic and Computation, 1990.","DOI":"10.1093\/logcom\/1.6.835"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:05:42Z","timestamp":1742594742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}