{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T04:58:22Z","timestamp":1769921902145,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540410447","type":"print"},{"value":"9783540453314","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45331-8_1","type":"book-chapter","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T19:39:26Z","timestamp":1227814766000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Knowledge Representation and Its Applications"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00fds Moniz","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Halina","family":"Przymusinska","sequence":"additional","affiliation":[]},{"given":"Teodor C.","family":"Przymusinski","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Quaresma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"1_CR1","unstructured":"Jos\u00e9 J. Alferes, Jo\u00e3o A. Leite, Lu\u00eds M. Pereira, Halina Przymusinska, and Teodor C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, page (to appear), 2000. Extended abstract appeared in KR\u201998, pages 98\u2013111. Morgan Kaufmann, 1998."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 J. Alferes, Lu\u00fds M. Pereira, Halina Przymusinska, and Teodor C. Przymusinski. LUPS-a language for updating logic programs. In LPNMR\u201999, Lecture Notes in AI 1730, pages 162\u2013176. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_12"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and Lu\u00eds M. Pereira. Default negated conclusions: why not? In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, (editors), Int. Workshop on Extensions of Logic Programming (EL\u201996), number 1050 in LNAI, pages 103\u2013117, 1996.","DOI":"10.1007\/3-540-60983-0_7"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Abdel Ali Ed-Dbali and Pierre Deransart. Software formal specification by logic programming: The example of standard PROLOG. Research report, INRIA, Paris, France, 1993.","DOI":"10.1007\/3-540-55930-2_19"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Gerard Ferrand and Pierre Deransart. Proof method of partial correctness and weak completeness for normal logic programs. Research report, INRIA, Paris, France, 1993.","DOI":"10.1016\/0743-1066(93)90033-D"},{"key":"1_CR6","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, (editors), ICLP\u201988. MIT Press, 1988."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Michael Gelfond and Vladimir Lifschitz. Representing Actions and Change by Logic Programs. Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR8","unstructured":"M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998."},{"key":"1_CR9","unstructured":"E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proceedings AAAI-98, pages 623\u2013630, 1998."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"R. Kowalski. Legislation as logic programs. In Logic Programming in Action, pages 203\u2013230. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55930-2_15"},{"key":"1_CR11","unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In IJCAI\u201995, pages 1985\u20131991. Morgan Kaufmann, 1995."},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/S0743-1066(96)00128-8","volume":"30","author":"K. K. Lau","year":"1997","unstructured":"K. K. Lau and M. Ornaghi. The relationship between logic programs and specifications. Journal of Logic Programming, 30(3):239\u2013257, 1997.","journal-title":"Journal of Logic Programming"},{"key":"1_CR13","unstructured":"Lifschitz and Woo. Answer sets in general non-monotonic reasoning preliminary report. In B. Nebel, C. Rich, and W. Swartout, (editors), KR\u201992. Morgan-Kaufmann, 1992."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45331-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:30:03Z","timestamp":1557937803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45331-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410447","9783540453314"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45331-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}