宽容
发表于 2025-3-30 10:48:36
http://reply.papertrans.cn/27/2683/268280/268280_51.png
Generator
发表于 2025-3-30 12:37:23
Situation Calculus Meets Description Logics,an action programming language, whose semantics is based on the Situation Calculus, a variant of full first-order logic. In order to achieve decidability, the expressiveness of the base logic had to be restricted, and using a Description Logic was a natural choice. In this chapter, we highlight some
健谈的人
发表于 2025-3-30 19:24:56
http://reply.papertrans.cn/27/2683/268280/268280_53.png
莎草
发表于 2025-3-30 23:47:47
Extending , with Linear Constraints on the Probability of Axioms,ding consistency and inferring subsumption. However, simply by adding negation of concepts to it, we obtain the expressivity of description logics whose decision procedure is .-complete. Similar complexity explosion occurs if we add probability assignments on concepts. To lower the resulting complex
象形文字
发表于 2025-3-31 02:43:46
http://reply.papertrans.cn/27/2683/268280/268280_55.png
阻塞
发表于 2025-3-31 08:07:05
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Pn . using a reduction to CSPs. In this paper, we present a case study for OMQs with Boolean conjunctive queries and a fixed ontology consisting of a single covering axiom ., possibly supplemented with a disjointness axiom for . and .. The ultimate aim is to classify such OMQs according to their data
BOLUS
发表于 2025-3-31 12:09:49
Perceptual Context in Cognitive Hierarchies,gher level information that helps to predict belief states at lower levels. The main contribution of this paper is to provide a formalisation of perceptual context and its integration into a new process model for cognitive hierarchies. Several simple instantiations of a cognitive hierarchy are used
愤世嫉俗者
发表于 2025-3-31 16:47:37
Pseudo-contractions as Gentle Repairs,n such a way that the sentence to be removed is no longer entailed by the resulting set. On the other hand, it is desirable that the existing knowledge be preserved as much as possible, minimising the loss of information. Several approaches to this problem can be found in the literature. In particul
carotid-bruit
发表于 2025-3-31 19:40:22
FunDL,ture of these logics is their use of path functional dependencies that allow for complex identification constraints to be formulated. The use of features and path functional dependencies makes the logics particularly well suited for capturing and integrating data sources conforming to an underlying
osteocytes
发表于 2025-3-31 22:42:43
http://reply.papertrans.cn/27/2683/268280/268280_60.png