We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis... more We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis of argumentation-theoretic approach in a series of paper. This paper is the first one in which we solve the frame and the qualification problems in a simplifying setting without domain constraints or ramifications. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic.
Abstract. We investigate the relationship amongst some solutions to the frame problem. We encode ... more Abstract. We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Language A [7] in the propositional dynamic logic (P DL). The formal relationships ...
IFIP – The International Federation for Information Processing, 2008
At present there are no digital social platforms that are open, distributed and self-managed. The... more At present there are no digital social platforms that are open, distributed and self-managed. The openness enables end-users to customize their interactions through their selection of relationships and applications; and application developers to customize an interface for end-users with ...
We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis... more We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis of argumentation-theoretic approach in a series of paper. This paper is the first one in which we solve the frame and the qualification problems in a simplifying setting without domain constraints or ramifications. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic.
Abstract. We investigate the relationship amongst some solutions to the frame problem. We encode ... more Abstract. We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Language A [7] in the propositional dynamic logic (P DL). The formal relationships ...
IFIP – The International Federation for Information Processing, 2008
At present there are no digital social platforms that are open, distributed and self-managed. The... more At present there are no digital social platforms that are open, distributed and self-managed. The openness enables end-users to customize their interactions through their selection of relationships and applications; and application developers to customize an interface for end-users with ...
Uploads
Papers by Bao Vo