{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:06:15Z","timestamp":1725570375849},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_30","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"397-401","source":"Crossref","is-referenced-by-count":1,"title":["An Update Front-End for Extended Logic Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Sabbatini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"issue":"1-2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. J. Alferes","year":"2000","unstructured":"Alferes, J. J., Leite, J. A., Pereira, L.M., Przymusinska, H., & Przymusinski, T. C.: Dynamic Updates of Non-Monotonic Knowledge Bases. Journal of Logic Programming, 45(1-2):43\u201370, 2000. 397","journal-title":"Journal of Logic Programming"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., & Tompits, H.: Considerations on Updates of Logic Programs. In Proc. JELIA 2000. Lecture Notes in AI (LNAI), vol. 1919. Springer. 397, 398","DOI":"10.1007\/3-540-40006-0_2"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., & Tompits, H.: On Updates of Logic Programs: Semantics and Properties. Technical Report INFSYS 1843-00-08, TU Wien, 2000. 397, 398","DOI":"10.1007\/3-540-45402-0_30"},{"key":"30_CR4","first-page":"363","volume":"1265","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., & Scarecello, F.: A Deductive System for Nonmonotonic Reasoning. Pages 363\u2013374 of: Proc. LPNMR\u201997, 1997. Lecture Notes in AI (LNAI), vol. 1265. 398","journal-title":"Proc. LPNMR\u201997"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., & Pfeifer, G.: Declarative Problem-Solving Using the dlv System. Pages 79\u2013103 of:Logic-Based Artificial Intelligence, 2000. Kluwer Academic Publishers. 398","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"30_CR6","unstructured":"N. Foo, N., & Zhang, Y.: Updating Logic Programs. Pages 403\u2013407 of: Proc. ECAI\u201998,1998. John Wiley and Sons. 397"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Inoue, K., & Sakama, C.: Updating Extended Logic Programs through Abduction. Pages 147\u2013161 of: Proc. LPNMR\u201999,1999 Lecture Notes in AI (LNAI), vol. 1730. Springer. 397","DOI":"10.1007\/3-540-46767-X_11"},{"key":"30_CR8","unstructured":"Niemel\u00e1s, I., & Simons, P.: Efficient Implementation of the Well-founded and Stable Model Semantics. Pages 289\u2013303 of: Proc. Joint International Conference and Symposium on Logic Programming, 1996. 398"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T21:17:29Z","timestamp":1636838249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}