Stavros Boutzas

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper we study the ramification problem in the setting of time-owl. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the(More)
  • 1