偏离
发表于 2025-3-24 01:46:15
http://reply.papertrans.cn/63/6202/620160/620160_14.png
卵石
发表于 2025-3-24 04:44:46
EventNet: Inferring Temporal Relations Between Commonsense Eventsral links mined from the Openmind Commonsense Knowledge Base. It enables applications to deduce "obvious" (to people) temporal relations between commonly occurring events, for example: First, you wake up, then you can leave the house in the morning. The temporal relation might be one of cause and ef
Tractable
发表于 2025-3-24 06:46:41
http://reply.papertrans.cn/63/6202/620160/620160_16.png
弓箭
发表于 2025-3-24 11:54:47
A Three-Level Approach to Ontology Mergingin areas in Computer Science interested in this topic. Federated Databases and Semantic Web are some of them. In this paper we introduce a three level approach that provides a semi-automatic method to ontology merging. It performs some tasks automatically and guides the user in performing other task
vector
发表于 2025-3-24 18:00:53
http://reply.papertrans.cn/63/6202/620160/620160_18.png
贞洁
发表于 2025-3-24 22:18:55
Modelling Power and Trust for Knowledge Distribution: An Argumentative Approachll as by implicit relations like .. Making decisions about whether to deliver or not a specific piece of information to users on the basis of a rationally justified procedure under potentially conflicting policies for power and trust relations is indeed a challenging problem. In this paper we model
musicologist
发表于 2025-3-24 23:45:29
http://reply.papertrans.cn/63/6202/620160/620160_20.png
harangue
发表于 2025-3-25 04:20:45
Deductive Systems’ Representation and an Incompleteness Result in the Situation Calculusuages with induction that allows the specification of evolving worlds and reasoning about them and has found a number of applications in AI. A method for the representation of formulae and of proofs is presented in which the induction axiom on states is used to represent structural induction on form
运动的我
发表于 2025-3-25 09:04:44
http://reply.papertrans.cn/63/6202/620160/620160_22.png
大吃大喝
发表于 2025-3-25 15:38:27
A Syntactical Approach to Belief Updateantically defined an update operator that satisfies these postulates. In order to calculate the resulting belief base all models of the relevant belief bases must be known. This paper proposes to use the . and . normal forms to represent these bases. Using this representation, a syntactical and comp