{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:45Z","timestamp":1725663825159},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:59:58Z","timestamp":1330210798000},"page":"135-150","source":"Crossref","is-referenced-by-count":0,"title":["Semantics of property inheritance in a hierarchic system with explicit negation"],"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,3]]},"reference":[{"key":"10_CR1","unstructured":"Gabriel David and Ant\u00f3nio Porto. Semantics of inheritance in a propositional hierarchic system. Universidade Nova de Lisboa, 1991. RT 23\/91-DI\/UNL."},{"key":"10_CR2","unstructured":"Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David H. D. Warren and Peter Szeredi, editors, Logic Programming, page 579, Cambridge, MA, 1990. MIT Press."},{"key":"10_CR3","unstructured":"Robert Kowalski and Fariba Sadri. Logic programs with exceptions. In David H. D. Warren and Peter Szeredi, editors, Logic Programming, page 598, Cambridge, MA, 1990. MIT Press."},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John Wylie Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987."},{"key":"10_CR5","unstructured":"Lu\u00eds Monteiro and Ant\u00f3nio Porto. Semantic and syntactic inheritance in logic programming. Universidade Nova de Lisboa, 1991. RT 24\/91-DI\/UNL."},{"key":"10_CR6","unstructured":"Lu\u00eds Moniz Pereira, Jos\u00e9 J\u00falio Alferes, and Joaquim Nunes Apar\u00edcio. Contradiction removal within well founded semantics. In Logic Programming and Non-Monotonic Reasoning'91, 1991."},{"key":"10_CR7","unstructured":"Teodor C. Przymusinski. Three-valued formalizations of non-monotonic reasoning and logic programming. In Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, editors, Principles of Knowledge Representation and Reasoning, page 341, San Mateo, CA, 1989. Morgan Kaufmann Publishers."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81, 1980.","journal-title":"Artificial Intelligence"},{"key":"10_CR9","volume-title":"The Mathematics of Inheritance Systems","author":"D. S. Touretzky","year":"1986","unstructured":"David S. Touretzky. The Mathematics of Inheritance Systems. Pitman, London, 1986."},{"key":"10_CR10","volume-title":"Logics for Artificial Intelligence","author":"R. Turner","year":"1984","unstructured":"Raymond Turner. Logics for Artificial Intelligence. Ellis Horwood, Chichester, England, 1984."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Allen Van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 1990.","DOI":"10.1145\/116825.116838"}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:35Z","timestamp":1605646535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}