Luca Sabatucci

2 Questions 8 Answers 0 Followers

Questions related from Luca Sabatucci

Which relation exists between Temporal Logic and Answer Set Programming?

I am not expert in logic, but I am wondering whether ASP could be a good instrument to face and solve Temporal Logic problems. In many examples I have seen ASP applied to first-order logic... is...

15 December 2015 5,139 3 View

Why is Self-Adaptation becoming so trendy in software engineering?

Research in self-adaptive systems is growing more and more, but what is really possible with such a broad-meaning term? Do you know real examples where the self-adaptive systems can do something...

31 January 2013 373 10 View