chassis
发表于 2025-3-28 14:34:13
http://reply.papertrans.cn/59/5882/588188/588188_41.png
Contracture
发表于 2025-3-28 19:43:01
A uniform tableaux method for nonmonotonic modal logics, logics. This method is parametric with respect to both the modal logic and the preference semantics, since it handles in a uniform way the entailment problem for a wide class of nonmonotonic modal logics: McDermott and Doyle‘s logics and ground logics. It also achieves the computational complexity
临时抱佛脚
发表于 2025-3-29 01:57:25
Design and implementation of diagnostic strategies using modal logic,modeled by diagnostic strategies. Recently, Nejdl, Fröhlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational seman
ANTE
发表于 2025-3-29 07:04:57
A modal action logic based framework for organization specification and analysis,a multi-agent society where each agent has some “capabilities” and where agents interact according to some forms of “institutionalized power relations”. Modal action logics, of the type developed in the Philosophy area, are used to reason about agent‘s agency and interaction..In spite of its simplic
Jocose
发表于 2025-3-29 07:44:15
,McCarthy’s idea,. It is the basis for such technologies as logic programming and knowledge engineering, though neither of these technologies is true to the ideal. In this paper, we re-examine the ideal itself, from today‘s perspective. We review the current state of the art; we discuss the merits of advice-taking s
大沟
发表于 2025-3-29 14:48:28
http://reply.papertrans.cn/59/5882/588188/588188_46.png
细颈瓶
发表于 2025-3-29 18:14:43
http://reply.papertrans.cn/59/5882/588188/588188_47.png
Obliterate
发表于 2025-3-29 22:50:59
,A query answering algorithm for Lukaszewicz’ general open default theory,xtensions of the theory, computes only a set of defaults which proves the query. The advantages of our approach in comparison with other existent methods is that it is oriented by the query, it deals with open defaults and it can be easily adapted both for credulous and skeptical reasoning..The stro
改正
发表于 2025-3-30 03:40:34
http://reply.papertrans.cn/59/5882/588188/588188_49.png
未开化
发表于 2025-3-30 07:10:41
http://reply.papertrans.cn/59/5882/588188/588188_50.png