{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:28Z","timestamp":1725458968092},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037034","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:39:32Z","timestamp":1138185572000},"page":"136-154","source":"Crossref","is-referenced-by-count":1,"title":["A skeptical semantics for truth maintenance"],"prefix":"10.1007","author":[{"given":"Cees","family":"Witteveen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Brewka, G., Nonmonotonic Reasoning \u2014 From Theoretical Foundations Towards Efficient Computation, thesis University of Hamburg, 1989"},{"key":"9_CR2","volume-title":"Artificial Intelligence Programming","author":"E. Charniak","year":"1979","unstructured":"Charniak, E., Riesbeck C., and McDermott, D., Artificial Intelligence Programming, L.E. Erlbaum, Baltimore, 1979."},{"key":"9_CR3","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"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Doyle, J., A Truth Maintenance System, Artificial Intelligence 12, 1979","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"9_CR5","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.","DOI":"10.1007\/3-540-51486-4_69"},{"key":"9_CR6","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":"9_CR7","unstructured":"Goodwin, J., An Improved Algorithm for Non-Monotonic Dependency Net Update. LITH-MAT-R-82-23, Linkoeping University 1982."},{"key":"9_CR8","unstructured":"Kleene, S., Introduction of metamathematics, Van Nostrand, 1952."},{"key":"9_CR9","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":"9_CR10","unstructured":"Petrie, C.J., Revised Dependency-Directed Backtracking for Default Reasoning, Proc. AAAI, 1987."},{"key":"9_CR11","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."},{"key":"9_CR12","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.","DOI":"10.1007\/3-540-51665-4_99"},{"key":"9_CR13","volume-title":"Logics for Artificial Intelligence","author":"R. Turner","year":"1987","unstructured":"Turner, R., Logics for Artificial Intelligence, Ellis Horwood Ltd, Chichester, 1987."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(86)90135-0","volume":"47","author":"L.G. Valiant","year":"1986","unstructured":"Valiant, L.G., Vazirani, V.V., NP is as easy as detecting unique solutions, Theoretical Computer Science 47 (1986) 85\u201393.","journal-title":"Theoretical Computer Science"},{"key":"9_CR15","series-title":"TWI-report","volume-title":"Fixpoint Semantics for Truth Maintenance","author":"C. Witteveen","year":"1990","unstructured":"Witteveen, C., Fixpoint Semantics for Truth Maintenance, TWI-report 90-85, Faculty of Technical Mathematics and Computer Science, Delft University of Technology, Delft, 1990"},{"key":"9_CR16","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":"9_CR17","unstructured":"Witteveen, C., Partial Semantics for Truth Maintenance, in: J.W. van Eyk(ed.), Proceedings of JELIA90, LNCAI, Springer Heidelberg, 1990, (to appear)."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037034.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:21:56Z","timestamp":1607534516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0037034","relation":{},"subject":[]}}