ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus

Nena Basina and Theodore Patkos and Dimitris Plexousakis

Links

Cite as

Nena Basina, Theodore Patkos, Dimitris Plexousakis: ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus. In: Karagiannis, Dimitris; Lee, Moonkun; Hinkelmann, Knut; Utz, Wilfrid (Ed.): Domain-Specific Conceptual Modeling, pp. 457–477, Springer International Publishing, Cham, 2022, ISBN: 9783030935467 9783030935474.

BibTeX (Download)

@incollection{karagiannis_ecavi_2022,
title = {ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus},
author = {Nena Basina and Theodore Patkos and Dimitris Plexousakis},
editor = {Dimitris Karagiannis and Moonkun Lee and Knut Hinkelmann and Wilfrid Utz},
url = {https://link.springer.com/10.1007/978-3-030-93547-4_20},
doi = {10.1007/978-3-030-93547-4_20},
isbn = {9783030935467 9783030935474},
year  = {2022},
date = {2022-01-01},
urldate = {2022-03-22},
booktitle = {Domain-Specific Conceptual Modeling},
pages = {457–477},
publisher = {Springer International Publishing},
address = {Cham},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}