References

1. Kinjal Basu et. al (2021): Knowledge-driven Natural Language Understanding of English Text and its Applications. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, 2021. AAAI Press, pp. 12554–12563.
2. Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple & Gopal Gupta (2018): Constraint answer set programming without grounding. TPLP 18(3-4):337-354, doi:10.1017/S1471068418000285.
3. Joaquín et al. Arias (2019): Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. In: LOPSTR'19. Springer, pp. 139–155, doi:10.1007/978-3-030-45260-5_9.
4. C. Baral (2003): Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, doi:10.1017/CBO9780511543357.
5. Devesh Bhatt & Brendan Hall (2018): The CLEAR Way To Transparent Formal Methods. In: 4th Workshop on Formal Integrated Development Environment (F-IDE), FLoC 2018.
6. Jennifer Davis (2013): Study on the barriers to the industrial adoption of formal methods. In: International Workshop on Formal Methods for Industrial Critical Systems. Springer, pp. 63–77, doi:10.1007/978-3-642-41010-9_5.
7. Dov Dori (2011): Object-process methodology. In: Encyclopedia of Knowledge Management, Second Edition. IGI Global, pp. 1208–1220, doi:10.4018/978-1-59904-931-1.ch116.
8. Martin Gebser (2011): Potassco: The Potsdam answer set solving collection. Ai Communications 24(2), pp. 107–124, doi:10.3233/AIC-2011-0491.
9. M. Gelfond & Y. Kahl (2014): Knowledge representation, reasoning, & design of intelligent agents: The answer-set programming approach. Cambridge Univ. Press, doi:10.1017/CBO9781139342124.
10. B. Hall & D. Bhatt (2018): A CLEAR Adoption of EARS. In: IEEE EARS Workshop, pp. 14–15, doi:10.1109/EARS.2018.00010.
11. B. Hall, J. Fiedor & Y Jeppu (2020): Model Integrated Decomposition and Assisted Specification (MIDAS). In: INCOSE Int'l Symp. 30(1). Wiley, pp. 821–841.
12. G. H. Harman (1965): The Inference to the Best Explanation. The Philosophical Review 74(1), pp. 88–95, doi:10.2307/2183532.
13. Alistair Mavin & Philip Wilkinson (2010): Big ears (the return of" easy approach to requirements engineering"). In: 2010 18th IEEE International Requirements Engineering Conference. IEEE, pp. 277–282, doi:10.1109/RE.2010.39.
14. Alistair Mavin (2009): Easy approach to requirements syntax (EARS). In: 2009 17th IEEE International Requirements Engineering Conference. IEEE, pp. 317–322, doi:10.1109/RE.2009.9.
15. Alistair Mavin (2016): Listens learned (8 lessons learned applying EARS). In: 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE, pp. 276–282, doi:10.1109/RE.2016.38.
16. Patrice Micouin (2014): Model Based Systems Engineering: Fundamentals and Methods. John Wiley & Sons, doi:10.1002/9781118579435.
17. Erik T. Mueller (2014): Common Sense Reasoning: An Event Calculus Based Approach (2nd Edition). Morgan Kaufmann.
18. Eugene Normand (1996): Single-event effects in avionics. IEEE Transactions on nuclear science 43(2), pp. 461–474, doi:10.1109/23.490893.
19. M Sergot & R Kowalski (1986): A logic-based calculus of events. New Generation Computing 4(1), pp. 67–95, doi:10.1007/BF03037383.
20. Murray Shanahan (1999): The event calculus explained. In: Artificial intelligence today. Springer, pp. 409–430, doi:10.1007/3-540-48317-9_17.
21. WikePedia: 2015 Seville Airbus A400M crash. https://en.wikipedia.org/wiki/2015_Seville_Airbus_A400M_crash.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org