{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T17:45:13Z","timestamp":1785433513061,"version":"3.56.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742088","type":"print"},{"value":"9783031742095","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74209-5_2","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T06:01:44Z","timestamp":1728626504000},"page":"15-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Compiling Metric Temporal Answer Set Programming"],"prefix":"10.1007","author":[{"given":"A.","family":"Becker","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Cabalar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Di\u00e9guez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Romero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"issue":"1","key":"2_CR1","first-page":"2","volume":"23","author":"F Aguado","year":"2023","unstructured":"Aguado, F., et al.: Linear-time temporal answer set programming. TPLP 23(1), 2\u201356 (2023)","journal-title":"TPLP"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-319-23264-5_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Banbara","year":"2015","unstructured":"Banbara, M., et al.: aspartame: solving constraint satisfaction problems with answer set programming. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 112\u2013126. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_10"},{"issue":"4","key":"2_CR3","first-page":"408","volume":"17","author":"M Banbara","year":"2017","unstructured":"Banbara, M., Kaufmann, B., Ostrowski, M., Schaub, T.: Clingcon: the next generation. TPLP 17(4), 408\u2013461 (2017)","journal-title":"TPLP"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11562931_7","volume-title":"Logic Programming","author":"S Baselice","year":"2005","unstructured":"Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 52\u201366. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11562931_7"},{"key":"2_CR5","first-page":"16","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: a logic-based framework for analytic reasoning over streams. AIJ 261, 16\u201370 (2018)","journal-title":"AIJ"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Becker, A., Cabalar, P., Di\u00e9guez, M., Schaub, T., Schuhmann, A.: Metric temporal equilibrium logic over timed traces. CoRR abs\/2304.14778 (2023)","DOI":"10.1007\/978-3-031-15707-3_10"},{"key":"2_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-031-21541-4_9","volume-title":"Rules and Reasoning","author":"L Bellomarini","year":"2022","unstructured":"Bellomarini, L., Blasi, L., Nissl, M., Sallinger, E.: The temporal vadalog system. In: Governatori, G., Turhan, A.Y. (eds.) RuleML+RR 2022. LNCS, vol. 13752, pp. 130\u2013145. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-21541-4_9"},{"key":"2_CR8","unstructured":"Cabalar, P., Di\u00e9guez, M., Laferriere, F., Schaub, T.: Implementing dynamic answer set programming over finite traces. In: ECAI, pp. 656\u2013663. IOS (2020)"},{"issue":"5","key":"2_CR9","first-page":"783","volume":"20","author":"P Cabalar","year":"2020","unstructured":"Cabalar, P., Di\u00e9guez, M., Schaub, T., Schuhmann, A.: Towards metric temporal answer set programming. TPLP 20(5), 783\u2013798 (2020)","journal-title":"TPLP"},{"key":"2_CR10","unstructured":"Cabalar, P., Kaminski, R., Ostrowski, M., Schaub, T.: An ASP semantics for default reasoning with constraints. In: IJCAI, pp. 1015\u20131021. IJCAI\/AAAI Press (2016)"},{"issue":"5","key":"2_CR11","first-page":"610","volume":"21","author":"F Calimeri","year":"2021","unstructured":"Calimeri, F., Manna, M., Mastria, E., Morelli, M., Perri, S., Zangari, J.: I-DLV-sr: a stream reasoning system based on I-DLV. TPLP 21(5), 610\u2013628 (2021)","journal-title":"TPLP"},{"key":"2_CR12","unstructured":"Crawford, J., Baker, A.: Experimental results on the application of satisfiability algorithms to scheduling problems. In: AAAI, pp. 1092\u20131097. AAAI (1994)"},{"key":"2_CR13","unstructured":"Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier (2005)"},{"key":"2_CR14","unstructured":"Gebser, M., et al.: Potassco User Guide (2015). http:\/\/potassco.org"},{"issue":"8","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1553","DOI":"10.1007\/s10817-020-09541-4","volume":"64","author":"U Hustadt","year":"2020","unstructured":"Hustadt, U., Ozaki, A., Dixon, C.: Theorem proving for pointwise metric temporal logic over the naturals via translations. JAR 64(8), 1553\u20131610 (2020)","journal-title":"JAR"},{"issue":"5\u20136","key":"2_CR16","first-page":"872","volume":"17","author":"T Janhunen","year":"2017","unstructured":"Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., Wanko, P.: Clingo goes linear constraints over reals and integers. TPLP 17(5\u20136), 872\u2013888 (2017)","journal-title":"TPLP"},{"issue":"1","key":"2_CR17","first-page":"299","volume":"23","author":"R Kaminski","year":"2023","unstructured":"Kaminski, R., Romero, J., Schaub, T., Wanko, P.: How to build your own ASP-based system?! TPLP 23(1), 299\u2013361 (2023)","journal-title":"TPLP"},{"key":"2_CR18","unstructured":"Kamp, J.: Tense Logic and the Theory of Linear Order. Ph.D. thesis, UCLA (1968)"},{"key":"2_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24658-7","volume-title":"Answer Set Programming","author":"V Lifschitz","year":"2019","unstructured":"Lifschitz, V.: Answer Set Programming. Springer, Berlin (2019)"},{"key":"2_CR20","unstructured":"Mellarkod, V.: Integrating ASP and CLP systems: computing answer sets from partially ground programs. Ph.D. thesis, Texas Tech (2007)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D Pearce","year":"1997","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds.) NMELP 1996. LNCS, vol. 1216, pp. 57\u201370. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0023801"},{"key":"2_CR22","unstructured":"Son, T., Baral, C., Tuan, L.: Adding time and intervals to procedural and hierarchical control specifications. In: AAAI 2004, pp. 92\u201397. AAAI Press (2004)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Wa\u0142ega, P., Grau, B.C., Kaminski, M., Kostylev, E.: DatalogMTL: computational complexity and expressive power. In: IJCAI, pp. 1886\u20131892. ijcai.org (2019)","DOI":"10.24963\/ijcai.2019\/261"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Wang, D., Hu, P., Wa\u0142ega, P., Grau, B.: MeTeoR: practical reasoning in Datalog with metric temporal operators. In: AAAI, pp. 5906\u20135913. AAAI (2022)","DOI":"10.1609\/aaai.v36i5.20535"}],"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-74209-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:02:35Z","timestamp":1736614955000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74209-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031742088","9783031742095"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74209-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","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":"Dallas, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2024.demacs.unical.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}