{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:32Z","timestamp":1725455912531},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540535675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018423","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:21:51Z","timestamp":1132636911000},"page":"223-240","source":"Crossref","is-referenced-by-count":0,"title":["Preferential cumulative reasoning and nonmonotonic semantic nets"],"prefix":"10.1007","author":[{"given":"Klaus U.","family":"Schulz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(87)80020-2","volume":"3","author":"B. Buchberger","year":"1987","unstructured":"Buchberger, B., History and Basic Features of the Critical-Pair\/Completion Procedure, J. Symbolic Computation 3 (1987), 3\u201338.","journal-title":"J. Symbolic Computation"},{"key":"10_CR2","unstructured":"Gabbay, D.M., The T\u00fcbingen Lectures 1988 on The Logics of Practical Reasoning, to appear as SNS-Bericht, Seminar f\u00fcr nat\u00fcrlich-sprachliche Systeme, Universit\u00e4t T\u00fcbingen 1989."},{"key":"10_CR3","unstructured":"Gabbay, D.M., Theoretical foundations for non-monotonic reasoning in expert systems, Research Report DoC 84\/11, Department of Computing, Imperial College of Science and Technology, 1984."},{"key":"10_CR4","first-page":"358","volume":"87","author":"J.F. Horty","year":"1987","unstructured":"Horty, J.F., Thomason, R.H. and Touretzky, D.S., A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks, Proceedings of the AAAI-87 (1987), 358\u2013363.","journal-title":"Proceedings of the AAAI-"},{"key":"10_CR5","unstructured":"Kraus, S., Lehmann, D. and Magidor, M., Preferential models and cumulative logics, to appear in Artificial Intelligence."},{"key":"10_CR6","first-page":"1","volume":"346","author":"D. Makinson","year":"1989","unstructured":"Makinson, D., General Theory of Cumulative Inference, in Proceedings of the Second International Workshop on Non-Monotonic Reasoning, Springer Lecture Notes on Computer Science, subseries on Artificial Intelligence Vol. 346 (1989), 1\u201319.","journal-title":"Springer Lecture Notes on Computer Science, subseries on Artificial Intelligence"},{"key":"10_CR7","unstructured":"Makinson, D.,Schlechta, K., On Some Difficulties in the Theory of Defeasible Inheritance Nets, Proceedings of the T\u00fcbingen Workshop on Semantic Networks and Nonmonotonic Reasoning, Vol. 2, Morreau, M., (editor), SNS-Bericht, Seminar f\u00fcr nat\u00fcrlich-sprachliche Systeme, Universit\u00e4t T\u00fcbingen 1989."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"1345","DOI":"10.1109\/PROC.1986.13636","volume":"74","author":"E. Sandewall","year":"1986","unstructured":"Sandewall, E., Nonmonotonic inference rules for multiple inheritance with exceptions, Proceedings if the IEEE 74 (1986), 1345\u20131353.","journal-title":"Proceedings if the IEEE"},{"key":"10_CR9","unstructured":"Schulz, K.U., A Decision Procedure for Two Systems of Cumulative Inference, Proceedings of the T\u00fcbingen Workshop on Semantic Networks and Nonmonotonic Reasoning, Vol. 2, Morreau, M., (editor), SNS-Bericht, Seminar f\u00fcr nat\u00fcrlich-sprachliche Systeme, Universit\u00e4t T\u00fcbingen 1989."},{"key":"10_CR10","series-title":"Tech. Rep. No.","volume-title":"Finding the elementary cycles of a directed graph in O(n+m) per cycle","author":"J.L. Szwarcfiter","year":"1974","unstructured":"Szwarcfiter, J.L. and Lauer, P.E., Finding the elementary cycles of a directed graph in O(n+m) per cycle, Tech. Rep. No. 60, Univ. of Newcastle upon Tyne, England, May 1974."},{"key":"10_CR11","volume-title":"The Mathematics of Inheritance Systems","author":"D.S. Touretzky","year":"1986","unstructured":"Touretzky, D.S., The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos and Pitman, London, 1986."}],"container-title":["Lecture Notes in Computer Science","The Logic of Theory Change"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018423.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:34Z","timestamp":1607550094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540535675"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0018423","relation":{},"subject":[]}}