{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:46:45Z","timestamp":1742946405015,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031157066"},{"type":"electronic","value":"9783031157073"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15707-3_18","type":"book-chapter","created":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T11:02:47Z","timestamp":1661511767000},"page":"231-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning About Actions with\u00a0$$\\mathcal EL$$ Ontologies and\u00a0Temporal Answer Sets for\u00a0DLTL"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Theseider Dupr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,29]]},"reference":[{"key":"18_CR1","unstructured":"Proceedings of ICLP 2021 Workshops, Porto, Portugal (virtual). CEUR Workshop Proceedings, vol. 2970. CEUR-WS.org (2021). http:\/\/ceur-ws.org\/Vol-2970"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ahmetaj, S., Calvanese, D., Ortiz, M., Simkus, M.: Managing change in graph-structured data using description logics. In: Proceedings of the AAAI 2014, pp. 966\u2013973 (2014)","DOI":"10.1609\/aaai.v28i1.8857"},{"key":"18_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL} $$ envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceedings of the IJCAI 2005, Edinburgh, Scotland, UK, pp. 364\u2013369, August 2005"},{"key":"18_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL} $$ envelope. In: LTCS-Report LTCS-05-01. Institute for Theoretical Computer Science, TU Dresden (2005)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Lippmann, M., Liu, H.: Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In: LPAR-17, pp. 82\u201396 (2010)","DOI":"10.1007\/978-3-642-16242-8_7"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proceedings of the AAAI 2005, pp. 572\u2013577 (2005)","DOI":"10.25368\/2010.145"},{"key":"18_CR7","unstructured":"Baader, F., Liu, H., ul Mehdi, A.: Verifying properties of infinite sequences of description logic actions. In: ECAI, pp. 53\u201358 (2010)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-40564-8_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J Babb","year":"2013","unstructured":"Babb, J., Lee, J.: Cplus 2ASP: computing action language $${\\cal{C}}$$+ in answer set programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 122\u2013134. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40564-8_13"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"B Bagheri Hariri","year":"2013","unstructured":"Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res. 46, 651\u2013686 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Springer, Boston, MA (2000). https:\/\/doi.org\/10.1007\/978-1-4615-1567-8_12"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-030-20528-7_19","volume-title":"Logic Programming and Nonmonotonic Reasoning: Proceedings of the 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, 3\u20137 June 2019","author":"P Cabalar","year":"2019","unstructured":"Cabalar, P., Kaminski, R., Morkisch, P., Schaub, T.: telingo\u00a0=\u00a0ASP\u00a0+\u00a0Time. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) Logic Programming and Nonmonotonic Reasoning: Proceedings of the 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, 3\u20137 June 2019, pp. 256\u2013269. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20528-7_19"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Kharlamov, E., Montali, M., Santoso, A., Zheleznyakov, D.: Verification of inconsistency-aware knowledge and action bases. In: Proceedings of the IJCAI 2013 (2013)","DOI":"10.1007\/978-3-319-11558-0_36"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-010-9210-1","volume":"49","author":"L Chang","year":"2012","unstructured":"Chang, L., Shi, Z., Gu, T., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. J. Autom. Reason. 49(1), 1\u201352 (2012)","journal-title":"J. Autom. Reason."},{"key":"18_CR14","first-page":"25","volume":"2","author":"M Denecker","year":"1998","unstructured":"Denecker, M., Theseider Dupr\u00e9, D., Van Belleghem, K.: An inductive definitions approach to ramifications. Electron. Trans. Artif. Intell. 2, 25\u201397 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: semantics and complexity. ACM TOCL 5(2), 206\u2013263 (2004)","journal-title":"ACM TOCL"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Aguado, F., et al.: Linear-time temporal answer set programming. TPLP, 1\u201355 (2021). https:\/\/www.cambridge.org\/core\/journals\/theory-and-practice-of-logic-programming\/article\/lineartime-temporal-answer-set-programming\/AB07F1F913DC0068B22E2A929276EDD2","DOI":"10.1017\/S1471068421000557"},{"key":"18_CR17","unstructured":"Gelfond, M.: Answer sets, Chap. 7. In: Handbook of Knowledge Representation. Elsevier (2007)"},{"key":"18_CR18","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference and Symposium on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"18_CR19","first-page":"193","volume":"2","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"5","key":"18_CR20","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. J. Log. Comput. 10(5), 625\u2013662 (2000)","journal-title":"J. Log. Comput."},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1093\/jigpal\/9.2.273","volume":"9","author":"L Giordano","year":"2001","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Reasoning about actions in dynamic linear time temporal logic. Logic J. IGPL 9(2), 289\u2013303 (2001)","journal-title":"Logic J. IGPL"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1017\/S1471068411000639","volume":"13","author":"L Giordano","year":"2013","unstructured":"Giordano, L., Martelli, A., Theseider Dupr\u00e9, D.: Reasoning about actions with temporal answer sets. Theor. Pract. Logic Program. 13, 201\u2013225 (2013)","journal-title":"Theor. Pract. Logic Program."},{"issue":"6","key":"18_CR23","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1093\/logcom\/ext067","volume":"25","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Martelli, A., Theseider Dupr\u00e9, D.: Achieving completeness in the verification of action theories by bounded model checking in ASP. J. Log. Comp. 25(6), 1307\u201330 (2015)","journal-title":"J. Log. Comp."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Giordano, L., Theseider Dupr\u00e9, D.: An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases (2022). To appear in TPLP, https:\/\/arxiv.org\/abs\/2202.01123","DOI":"10.1017\/S1471068422000163"},{"issue":"1\u20132","key":"18_CR25","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1\u20132), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"18_CR26","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: preliminary report. In: Proceedings of the AAAI\/IAAI 1998, pp. 623\u2013630 (1998)"},{"issue":"4\u20135","key":"18_CR27","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1017\/S1471068403001790","volume":"3","author":"K Heljanko","year":"2003","unstructured":"Heljanko, K., Niemel\u00e4, I.: Bounded LTL model checking with stable models. Theor. Pract. Logic Program. 3(4\u20135), 519\u2013550 (2003)","journal-title":"Theor. Pract. Logic Program."},{"issue":"1\u20133","key":"18_CR28","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J Henriksen","year":"1999","unstructured":"Henriksen, J., Thiagarajan, P.: Dynamic linear time temporal logic. Ann. Pure Appl. Logic 96(1\u20133), 187\u2013207 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-15675-5_21","volume-title":"Logics in Artificial Intelligence","author":"M Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 234\u2013246. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15675-5_21"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V Lifschitz","year":"1990","unstructured":"Lifschitz, V.: Frames in the space of situations. Artif. Intell. 46, 365\u2013376 (1990)","journal-title":"Artif. Intell."},{"key":"18_CR31","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI 1995, Montr\u00e9al Qu\u00e9bec, Canada, 20\u201325 August 1995, vol. 2, pp. 1985\u20131993 (1995)"},{"key":"18_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11853886_23","volume-title":"Logics in Artificial Intelligence","author":"H Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Reasoning about actions using description logics with general TBoxes. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 266\u2013279. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11853886_23"},{"key":"18_CR33","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proceedings of the IJCAI 1995, pp. 1978\u20131984 (1995)"},{"issue":"1\u20132","key":"18_CR34","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artif. Intell. 89(1\u20132), 317\u2013364 (1997)","journal-title":"Artif. Intell."},{"key":"18_CR35","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of the AAAI, St. Paul, MN, 21\u201326 August, pp. 89\u201393 (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15707-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T21:33:16Z","timestamp":1669411996000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15707-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031157066","9783031157073"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15707-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genoa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2022.dibris.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"57","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}