PhD student at the University of Udine working on computational complexity and logical expressiveness issues of temporal reasoning in AI.
PhD student at the University of Udine working on computational complexity and logical expressiveness issues of temporal reasoning in AI.