Abstract. We define a new general rule-based non- monotonic framework which allows an external acyclic priority relation between rules to be inter-.
確定! 回上一頁