{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:59Z","timestamp":1725455939526},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018465","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"544-561","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Partial semantics for truth maintenance"],"prefix":"10.1007","author":[{"given":"Cees","family":"Witteveen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. Dowling","year":"1984","unstructured":"Dowling, W. and Gallier, J., Linear Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae, Journal of Logic Programming 3 (1984), 267\u2013284.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Elkan, Ch., Logical Characterizations of Nonmonotonic TMSs, in: Kreczmar, A. and G. Mirkowska, (eds) Mathematical Foundations of Computer Science 1989, Springer Heidelberg, 1989, pp. 218\u2013224.","key":"36_CR2","DOI":"10.1007\/3-540-51486-4_69"},{"unstructured":"Gelfond, M., and Lifschitz, V., The Stable Model Semantics for Logic Programming. In: Fifth International Conference Symposium on Logic Programming, pp. 1070\u20131080, 1988.","key":"36_CR3"},{"unstructured":"Goodwin, J., An Improved Algorithm for Non-Monotonic Dependency Net Update. LITH-MAT-R-82-23, Linkoeping University 1982.","key":"36_CR4"},{"unstructured":"Kleene, S., Introduction of metamathematics, Van Nostrand, 1952.","key":"36_CR5"},{"key":"36_CR6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K., Signed Data Dependencies in Logic Programs, Journal of Logic Programming, 7,(1989),231\u2013245.","journal-title":"Journal of Logic Programming"},{"key":"36_CR7","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":"Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, Heidelberg, 1987"},{"key":"36_CR8","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence, A Sourcebook","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., and Przymusinski, T., Semantic Issues in Deductive Databases and Logic Programs, in: Formal Techniques in Artificial Intelligence, A Sourcebook R.B. Banerji (ed.), Elsevier, Amsterdam, 1990, pp 321\u2013367."},{"doi-asserted-by":"crossref","unstructured":"Reinfrank, M., Fundamentals and Logical Foundations of Truth Maintenance, Link\u00f6ping Studies in Science and Technology. Dissertations no. 221, Link\u00f6ping University, 1989.","key":"36_CR9","DOI":"10.1007\/3-540-51665-4_99"},{"key":"36_CR10","volume-title":"Logics for Artificial Intelligence","author":"R. Turner","year":"1987","unstructured":"Turner, R., Logics for Artificial Intelligence, Ellis Horwood Ltd, Chichester, 1987."},{"doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K. and Schlipf, P., Unfounded Sets and Well-founded Semantics for General Logic Programs. In: Proceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD-SIGART, 1988.","key":"36_CR11","DOI":"10.1145\/308386.308444"},{"doi-asserted-by":"crossref","unstructured":"Van Gelder, A., The Alternating Fixpoint of Logic Programs with Negation. In: Proceedings of the Eighth Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD-SIGART, 1989.","key":"36_CR12","DOI":"10.1145\/73721.73722"},{"unstructured":"Witteveen, C., Partial Semantics for Truth Maintenance, to appear as TWI-Report, Department of Mathematics and Computer Science, Delft University of Technology, 1990.","key":"36_CR13"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:30:21Z","timestamp":1578544221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018465"}},"subtitle":["A compositional approach"],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0018465","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}