Sealion: An eclipse-based ide for answer-set programming with advanced debugging support, Theory and Practice of Logic Programming, vol.13, issue.4-5, pp.657-673, 2013. ,
React!: An interactive educational tool for ai planning for robotics, IEEE Transactions on Education, vol.58, issue.1, pp.15-24, 2015. ,
The stable model semantics for logic programming, Proc. 5th International Joint Conference and Symposium on Logic Programming, pp.1070-1080, 1988. ,
A logic-based calculus of events, 1986. ,
Stable models and an alternative logic programming paradigm, pp.375-398, 1999. ,
Some alternative formulations of the event calculus, Computational logic: logic programming and beyond, pp.452-490, 2002. ,
A hybrid approach to commonsense knowledge acquisition, Proceedings of the 8th European Starting AI Researcher Symposium (STAIRS 2016), pp.111-122, 2016. ,