尊严
发表于 2025-3-26 23:36:17
http://reply.papertrans.cn/103/10216/1021598/1021598_31.png
表主动
发表于 2025-3-27 03:32:26
http://reply.papertrans.cn/103/10216/1021598/1021598_32.png
CANON
发表于 2025-3-27 05:18:27
Answer Sets in a Fuzzy Equilibrium Logice most general “classical” approaches, answer sets of arbitrary propositional theories can be defined as models in the equilibrium logic of Pearce. Fuzzy answer set programming, on the other hand, extends answer set programming with the capability of modeling continuous systems. In this paper, we co
摇曳
发表于 2025-3-27 12:06:51
A Formal Theory for Modular ERDF Ontologiesgraphs with weak and strong negation, as well as derivation rules. The ERDF #.-stable model semantics of the extended RDF framework (.) is defined, extending RDF(S) semantics. In this paper, we propose a framework for modular ERDF ontologies, called ., which enables collaborative reasoning over a se
死猫他烧焦
发表于 2025-3-27 17:30:05
Belief Logic Programming with Cyclic Dependenciesother quantitative approaches to logic programming, this new theory is able to provide accurate conclusions in the presence of uncertainty when the sources of information are not independent. However, the semantics defined in is not sufficiently general—it does not allow cyclic dependencies amo
auxiliary
发表于 2025-3-27 17:52:12
http://reply.papertrans.cn/103/10216/1021598/1021598_36.png
护航舰
发表于 2025-3-28 01:20:53
A Minimal Deductive System for General Fuzzy RDFwork we provide, under a very general semantics, a deductive system for a salient fragment of fuzzy RDF. We then also show how we may compute the top-k answers of the union of conjunctive queries in which answers may be scored by means of a scoring function.
foodstuff
发表于 2025-3-28 06:09:06
http://reply.papertrans.cn/103/10216/1021598/1021598_38.png
过份好问
发表于 2025-3-28 10:12:48
An Efficient Method for Computing Alignment Diagnoses ontologies. In this paper we propose a new method for repairing such incoherent alignments that extends previous work on this subject. We describe our approach within the theory of diagnosis and introduce the notion of a local optimal diagnosis. We argue that computing a local optimal diagnosis is
原告
发表于 2025-3-28 12:25:02
http://reply.papertrans.cn/103/10216/1021598/1021598_40.png