{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T14:10:22Z","timestamp":1742566222356,"version":"3.40.2"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"published-print":{"date-parts":[[2011,2]]},"abstract":"<jats:p>In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contributions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions \u2013 based on dynamic logic programs \u2013 and its event-condition-action extension that supports the specification and the execution of reactive programs.<\/jats:p>","DOI":"10.3233\/ia-2011-0007","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T17:15:34Z","timestamp":1575306934000},"page":"77-81","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["Evolving reactive logic programs"],"prefix":"10.1177","volume":"5","author":[{"given":"J.J.","family":"Alferes","sequence":"first","affiliation":[{"name":"CENTRIA, Universidade Nova de Lisboa, Lisbon, Portugal"}]},{"given":"F.","family":"Banti","sequence":"additional","affiliation":[{"name":"CENTRIA, Universidade Nova de Lisboa, Lisbon, Portugal"}]},{"given":"A.","family":"Brogi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Pisa, Pisa, Italy"}]}],"member":"179","published-online":{"date-parts":[[2011,1]]},"container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0007","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T13:44:04Z","timestamp":1742564644000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IA-2011-0007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["10.3233\/IA-2011-0007"],"URL":"https:\/\/doi.org\/10.3233\/ia-2011-0007","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"type":"print","value":"1724-8035"},{"type":"electronic","value":"2211-0097"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}