不整齐
发表于 2025-3-26 23:41:07
http://reply.papertrans.cn/59/5882/588194/588194_31.png
Surgeon
发表于 2025-3-27 03:31:59
http://reply.papertrans.cn/59/5882/588194/588194_32.png
CHURL
发表于 2025-3-27 07:10:01
An Event-Condition-Action Logic Programming Language language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits ca
除草剂
发表于 2025-3-27 09:35:48
Distance-Based Repairs of Databaseseir semantics clarifies the essence behind various approaches to consistency restoration in database systems, helps to compare the underlying formalisms, and relates them to existing methods of defining belief revision operators, merging data sets, and integrating information systems.
onlooker
发表于 2025-3-27 16:10:53
http://reply.papertrans.cn/59/5882/588194/588194_35.png
Hyaluronic-Acid
发表于 2025-3-27 17:48:10
A STIT-Extension of ATLn PDL), choice or strategy (as in ATL) is performed by an agent. However, in so called STIT-logics, this is exactly the main operator: seeing to it that a certain condition is achieved. Here we present an extension of ATL, introducing ideas from STIT-theory, that can express that a group of agents .
亲爱
发表于 2025-3-27 22:50:24
http://reply.papertrans.cn/59/5882/588194/588194_37.png
myelography
发表于 2025-3-28 05:47:17
http://reply.papertrans.cn/59/5882/588194/588194_38.png
过渡时期
发表于 2025-3-28 07:19:52
Comparing Action Descriptions Based on Semantic Preferences action descriptions, based on preferences over possible states of the world and preferences over some given conditions (observations, assertions, etc.) about the domain, as well as the probabilities of possible transitions. This preference information is used to assemble a weight which is assigned
毕业典礼
发表于 2025-3-28 12:38:13
Modal Logics of Negotiation and Preferenceurces. The logic includes operators to speak about both preferences of individual agents and deals regarding the reallocation of certain resources. We reconstruct a known result regarding the convergence of sequences of mutually beneficial deals to a Pareto optimal allocation of resources, and discu