Publisher
Springer International Publishing
Reference32 articles.
1. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Learning operational requirements from goal models. In: Proceedings of the 31st International Conference on Software Engineering, pp. 265–275 (2009)
2. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: An inductive approach for modal transition system refinement. In: Technical Communications of the International Conference of Logic Programming ICLP, pp. 106–116 (2011)
3. Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Using abduction and induction for operational requirements elaboration. J. Appl. Logic 7(3), 275–288 (2009)
4. Artikis, A., Sergot, M., Paliouras, G.: An event calculus for event recognition. IEEE Trans. Knowl. Data Eng. 27(4), 895–908 (2015)
5. Lecture Notes in Artificial Intelligence;D Athakravi,2013