{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:23Z","timestamp":1725664643457},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-59487-6_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:18:36Z","timestamp":1330258716000},"page":"189-202","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Revision by communication"],"prefix":"10.1007","author":[{"given":"Cees","family":"Witteveen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(51)90003-5","volume":"78","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit, Negation in rule-based database languages: a survey, Theoretical Computer Science, 78, (1991), 3\u201383.","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","unstructured":"J. Dix, G. Gottlob, V. Marek, Causal Models of Disjunctive Logic Programs, in: Proceedings of the Tenth International Conference on Logic Programming ICLP'94, 1994."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Doyle, J., A Truth Maintenance System, Artificial Intelligence 12, 1979.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"14_CR4","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors, Knowledge in Flux, MIT Press, Cambridge, MA, 1988."},{"key":"14_CR5","unstructured":"L. Giordano and A. Martelli, Generalized Stable Models, Truth Maintenance and Conflict Resolution, in: D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pp. 427\u2013441, 1990."},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(93)90069-N","volume":"61","author":"G. Gottlob","year":"1993","unstructured":"G. Gottlob, C. G. Ferm\u00fcller, Removing Redundancy from a clause, Artificial Intelligence, 61 (1993), 263\u2013289.","journal-title":"Artificial Intelligence"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"C. M. Jonker and C. Witteveen. Revision by expansion. In G. Lakemeyer and B. Nebel, editors, Foundations of Knowledge Representation and Reasoning, pp. 333\u2013354. Springer Verlag, LNAI 810, 1994.","DOI":"10.1007\/3-540-58107-3_19"},{"key":"14_CR8","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":"J. W. Lloyd, Foundations of Logic Programming, Springer Verlag, Heidelberg, 1987."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","volume":"103","author":"W. Marek","year":"1992","unstructured":"W. Marek, V.S. Subrahmanian, The relationship between stable, supported, default and auto-epistemic semantics for general logic programs, Theoretical Computer Science 103 (1992) 365\u2013386.","journal-title":"Theoretical Computer Science"},{"key":"14_CR10","unstructured":"L. M. Pereira, J. J. Alferes and J. N. Aparicio, Contradiction Removal within wellfounded semantics. In: A. Nerode, W. Marek and V. S. Subrahmanian, editors, First International Workshop on Logic Programming and Non-monotonic Reasoning, MIT Press, 1991"},{"key":"14_CR11","volume-title":"The Extended Stable Models of Contradiction Removal Semantics","author":"L. M. Pereira","year":"1991","unstructured":"L. M. Pereira, J. J. Alferes and J. N. Aparicio, The Extended Stable Models of Contradiction Removal Semantics. In: P. Barahona, L.M. Pereira and A. Porto, editors, Proceedings-EPIA 91, Springer Verlag, Heidelberg, 1991."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"M. Schaerf, Negation and Minimality in Disjunctive Databases. In: C. Beeri (ed.), Proceedings of the Twelfth Conference on Principles of Database Systems (PODS-93), pp. 147\u2013157, ACM-Press, 1993.","DOI":"10.1145\/153850.153863"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(93)90090-X","volume":"61","author":"C. Witteveen","year":"1993","unstructured":"C. Witteveen and G. Brewka, Skeptical Reason Maintenance and Belief Revision, Artificial Intelligence, 61 (1993) 1\u201336.","journal-title":"Artificial Intelligence"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"C. Witteveen, W. van der Hoek and H. de Nivelle. Revision of non-monotonic theories: Some postulates and an application to logic programming. In D. Pearce C. MacNish and L.M. Pereira, editors, Logics in Artificial Intelligence, LNAI 838, pp. 137\u2013151, Springer Verlag, 1994.","DOI":"10.1007\/BFb0021969"},{"key":"14_CR15","unstructured":"C. Witteveen. Shifting and Condensing Logic programs. TWI-report 1994, Delft University of Technology, to appear."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"D. Zacca, Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG queries. in: G. Gottlob, M. Vardi, editors, Database Theory \u2014 ICDT'95, Springer Verlag, 1995.","DOI":"10.1007\/3-540-58907-4_27"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:14:06Z","timestamp":1578507246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_14"}},"subtitle":["Program revision by consulting weaker semantics"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}