{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:50:17Z","timestamp":1767340217183,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030935467"},{"type":"electronic","value":"9783030935474"}],"license":[{"start":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T00:00:00Z","timestamp":1640217600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T00:00:00Z","timestamp":1640217600000},"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-030-93547-4_20","type":"book-chapter","created":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T11:06:25Z","timestamp":1646910385000},"page":"457-477","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus"],"prefix":"10.1007","author":[{"given":"Nena","family":"Basina","sequence":"first","affiliation":[]},{"given":"Theodore","family":"Patkos","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,23]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice: Second Edition, 2nd edn. Morgan & Claypool Publishers (2017)","DOI":"10.2200\/S00751ED2V01Y201701SWE004"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Choe, Y., Lee, M.: Algebraic method to model secure IoT. In: Domain-Specific Conceptual Modeling, pp. 335\u2013355 (2016). https:\/\/doi.org\/10.1007\/978-3-319-39417-6_15","DOI":"10.1007\/978-3-319-39417-6_15"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Dogmus, Z., Erdem, E., Patoglu, V.: ReAct!: An interactive educational tool for AI planning for robotics. IEEE Trans. Educ. 58, 15\u201324 (2015). https:\/\/doi.org\/10.1109\/te.2014.2318678. https:\/\/app.dimensions.ai\/details\/publication\/pub.1061587896","DOI":"10.1109\/TE.2014.2318678"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Faber, W., Woltran, S.: Manifold answer-set programs for meta-reasoning. In: Logic Programming and Nonmonotonic Reasoning, LPNMR 2009 (2008). https:\/\/doi.org\/10.1007\/978-3-642-04238-6_12","DOI":"10.1007\/978-3-642-04238-6_12"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artificial Intelligence 175(1), 236\u2013263 (2011)","journal-title":"Artificial Intelligence"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/BF03345926","volume":"8","author":"H-G Fill","year":"2013","unstructured":"Fill, H.-G., Karagiannis, D.: On the conceptualisation of modelling methods using the ADOxx meta modelling platform. Enterp. Modell. Inf. Syst. Archit. 8, 4\u201325 (2013)","journal-title":"Enterp. Modell. Inf. Syst. Archit."},{"key":"20_CR7","unstructured":"Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd edn. Addison-Wesley Longman Publishing (2003)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Logic Programming and Nonmonotonic Reasoning, LPNMR 2007 (2007). https:\/\/doi.org\/10.1007\/978-3-540-72200-7_23","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"20_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics For Logic Programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Karagiannis, D., Mayr, H.C., Mylopoulos, J.: Domain-Specific Conceptual Modeling: Concepts, Methods and Tools, 1st edn. Springer Publishing Company (2016)","DOI":"10.1007\/978-3-319-39417-6"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Karagiannis, D., K\u00fchn, H.: Metamodelling platforms. In: Proceedings of the Third International Conference on E-Commerce and Web Technologies, EC-WEB \u201902, 182 (2002). https:\/\/doi.org\/10.5555\/646162.680499","DOI":"10.1007\/3-540-45705-4_19"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Kloim\u00fcllner, C., Oetsch, J., P\u00fchrer, J., Tompits, H.: Kara: A system for visualising and visual editing of interpretations for answer-set programs. In: Applications of Declarative Programming and Knowledge Management, INAP 2011, WLP 2011 (2011). https:\/\/doi.org\/10.1007\/978-3-642-41524-1_20","DOI":"10.1007\/978-3-642-41524-1_20"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986). https:\/\/doi.org\/10.1007\/BF03037383","journal-title":"New Gener. Comput."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Lee, J., Palla, R.: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming. J. Artif. Intell. Res. 43 (2012). https:\/\/doi.org\/10.5555\/2387915.2387930","DOI":"10.1613\/jair.3489"},{"key":"20_CR15","first-page":"159","volume":"2","author":"H Levesque","year":"1998","unstructured":"Levesque, H., Pirri, F., Reiter, R.: Foundations for the situation calculus. Electron. Trans. Artif. Intell. 2, 159\u2013178 (1998). https:\/\/ep.liu.se\/ej\/etai\/1998\/005\/","journal-title":"Electron. Trans. Artif. Intell."},{"key":"20_CR16","unstructured":"Lifschitz, V.: What is answer set programming? In: Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 3, pp. 1594\u20131597 (2008). https:\/\/doi.org\/10.5555\/1620270.1620340"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Stanford Artificial Intelligence Laboratory (1963). Situations, Actions, and Causal Laws. Memo (Stanford Artificial Intelligence Project). Comtex Scientific https:\/\/books.google.gr\/books?id=iF8iGwAACAAJ","DOI":"10.21236\/AD0785031"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. Comput. Logic Logic Programm. Beyond, 452\u2013490 (2002). https:\/\/doi.org\/10.1007\/3-540-45632-5_17","DOI":"10.1007\/3-540-45632-5_17"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Morgan, R., Grossmann, G., Schrefl, M., Stumptner, M., Payne, T.: VizDSL: Towards a graphical visualisation language for enterprise systems interoperability. In: Advanced Information Systems Engineering, CAiSE 2018 (2017). https:\/\/doi.org\/10.1007\/978-3-319-91563-0_27","DOI":"10.1109\/BDVA.2017.8114629"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann (2006)","DOI":"10.1016\/B978-012369388-4\/50058-8"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Musen, M.A., Prot\u00e9g\u00e9, T.: The Prot\u00e9g\u00e9 Project: A look back and a look forward. In: AI Matters. Association of Computing Machinery Specific Interest Group in Artificial Intelligence, vol. 1(4) (2015). https:\/\/doi.org\/10.1145\/2757001.2757003","DOI":"10.1145\/2757001.2757003"},{"key":"20_CR22","first-page":"305","volume":"2011","author":"J Oetsch","year":"2013","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming\u2013preliminary report. In: Applications of Declarative Programming and Knowledge Management, INAP 2011, WLP 2011, pp. 305\u2013324 (2013). https:\/\/doi.org\/10.1007\/978-3-642-41524-1_19","journal-title":"WLP"},{"key":"20_CR23","unstructured":"Ribeiro, T., Inoue, K., Bourgne, G.: Combining answer set programs for adaptive and reactive reasoning. Theory Pract. Logic Programm. 13 (2013). https:\/\/hal.archives-ouvertes.fr\/hal-01562133"},{"key":"20_CR24","first-page":"43","volume":"23","author":"K Siau","year":"2006","unstructured":"Siau, K., Loo, P.-P.: Identifying difficulties in learning UML. IS Management 23, 43\u201351 (2006). https:\/\/doi.org\/10.1201\/1078.10580530\/46108.23.3.20060601\/93706.5","journal-title":"IS Management"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Silva, A.R.da.: Model-driven engineering: A survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139\u2013155 (2015)","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"20_CR26","unstructured":"Van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science (2007)"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Van Lambalgen, M., Hamm, F.: The Proper Treatment of Events (2006)","DOI":"10.1002\/9780470759257"},{"key":"20_CR28","doi-asserted-by":"publisher","unstructured":"Visic, N., Fill, H.-G., Buchmann, R.A., Karagiannis, D.: A domain-specific language for modeling method definition: From requirements to grammar. In: 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS), pp. 286\u2013297 (2015). https:\/\/doi.org\/10.1109\/RCIS.2015.7128889","DOI":"10.1109\/RCIS.2015.7128889"},{"key":"20_CR29","first-page":"287","volume":"2006","author":"S Yamasaki","year":"2008","unstructured":"Yamasaki, S., Sasakura, M.: A calculus effectively performing event formation with visualization. In: High-Performance Computing, ISHPC 2005, ALPS 2006, pp. 287\u2013294 (2008). https:\/\/doi.org\/10.1007\/978-3-540-77704-5_27","journal-title":"ALPS"}],"container-title":["Domain-Specific Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-93547-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T11:33:44Z","timestamp":1646912024000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-93547-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,23]]},"ISBN":["9783030935467","9783030935474"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-93547-4_20","relation":{},"subject":[],"published":{"date-parts":[[2021,12,23]]},"assertion":[{"value":"23 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}