GENUS
发表于 2025-3-30 11:23:25
http://reply.papertrans.cn/59/5882/588181/588181_51.png
LUCY
发表于 2025-3-30 15:03:12
http://reply.papertrans.cn/59/5882/588181/588181_52.png
idiopathic
发表于 2025-3-30 18:28:13
http://reply.papertrans.cn/59/5882/588181/588181_53.png
LAVA
发表于 2025-3-30 23:18:53
Voting in Combinatorial Domains: What Logic and AI Have to Say.
胆小鬼
发表于 2025-3-31 02:37:48
http://reply.papertrans.cn/59/5882/588181/588181_55.png
暴行
发表于 2025-3-31 08:07:03
http://reply.papertrans.cn/59/5882/588181/588181_56.png
生存环境
发表于 2025-3-31 11:42:59
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworkstion of computational complexity issues has been neglected. Our purpose in this article is to present a number of results on the complexity of some natural decision questions for semi-stable semantics.
Constant
发表于 2025-3-31 14:51:33
Reasoning about Typicality in Preferential Description Logics” semantics . for .. The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of . we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding . entailment.
残酷的地方
发表于 2025-3-31 19:00:34
http://reply.papertrans.cn/59/5882/588181/588181_59.png
抚育
发表于 2025-4-1 01:34:17
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraintsnts on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under “shifting”. Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.