{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:17:48Z","timestamp":1773717468033,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031352539","type":"print"},{"value":"9783031352546","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_16","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"197-209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Logic Programming"],"prefix":"10.1007","author":[{"given":"Michael","family":"Genesereth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97596-7","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1994","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 4th edn. Springer-Verlag, New York (1994)","edition":"4"},{"key":"16_CR2","unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming, international conference on logic programming (ICLP) (1993)"},{"key":"16_CR3","unstructured":"Carro, M., Hermenegildo, M.: Concurrency in prolog using threads and a shared database (1999). International Conference on Logic Programming, pp. 320\u2013334, MIT Press, Cambridge, MA, USA, November (1999)"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1017\/S147106840100117X","volume":"1","author":"D Cabeza","year":"2001","unstructured":"Cabeza, D., Hermenegildo, M.: Distributed www programming using (Ciao) Prolog and the pillow library. Theory Pract. Logic Program. 1(3), 251\u2013282 (2001)","journal-title":"Theory Pract. Logic Program."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685\u2013688. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_57"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S1471068400001009","volume":"1","author":"S Flesca","year":"2001","unstructured":"Flesca, S., Greco, S.: Declarative semantics for active rules. Theory Pract. Logic Program. 1(1), 43\u201369 (2001)","journal-title":"Theory Pract. Logic Program."},{"key":"16_CR7","unstructured":"Fodor, P.: Practical reasoning with transaction logic programming for knowledge base dynamics, PhD Thesis, Stonybrook University (2011)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Fruehwirth, T.: Constraint Handling Rules. Cambridge University Press. ISBN 9780521877763 (2009)","DOI":"10.1017\/CBO9780511609886"},{"key":"16_CR9","unstructured":"Genesereth, M., Love, N., Pell, B.: The international game playing competition. AAAI Magazine (2005)"},{"key":"16_CR10","unstructured":"Genesereth, M.: Epilog. http:\/\/epilog.stanford.edu"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Genesereth, M., Chaudhri, V.: Logic Programming. Synthesis Lectures on Artificial Intelligence and Machine Learning, February (2020). https:\/\/doi.org\/10.2200\/S00966ED1V01Y201911AIM044","DOI":"10.2200\/S00966ED1V01Y201911AIM044"},{"key":"16_CR12","unstructured":"Hayes, P.: Computation and deduction. In: Proceedings Second Symposium on Mathematical Foundations of Computer Science, Czechoslovakian Academy of Sciences, Czechoslovakia, pp. 105\u2013118 (1973)"},{"key":"16_CR13","unstructured":"Kifer, M., Liu, A.: Declarative logic programming, ACM Books (2018)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Algorithm = Logic + Control. In: Communications of the ACM, vol. 22, No. 7, July (1979)","DOI":"10.1145\/359131.359136"},{"key":"16_CR15","unstructured":"Kowalski, R., Sadri, F.: LPS-A logic-based production system framework (2009)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sadri, F.: Integrating logic programming and production systems in abductive logic programming agents (2009)","DOI":"10.1007\/978-3-642-05082-4_1"},{"key":"16_CR17","unstructured":"Slota, M., Leite, J.A.: EVOLP: an implementation. In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10\u201311 (2007)"},{"key":"16_CR18","unstructured":"Warren, D.S.: Programming in tabled prolog. https:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.49.4635"},{"key":"16_CR19","doi-asserted-by":"publisher","unstructured":"Zhou, N.-F.: The language features and architecture of B-Prolog. Theory Pract. Logic Program. 12(1\u20132) (2011). https:\/\/doi.org\/10.1017\/S1471068411000445","DOI":"10.1017\/S1471068411000445"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:10:37Z","timestamp":1687129837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}