Results 21 to 30 of about 261,741 (294)
Semantic Probabilistic Inference of Predictions
Известия Иркутского государственного университета: Серия "Математика", 2017 Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
Step-Indexed Relational Reasoning for Countable Nondeterminism [PDF]
, 2013 Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems.
Birkedal, Lars +2 more
core +1 more source
Вестник Кемеровского государственного университета, 2018 The article features the role of predication in the process of actual utterance generation. Predication forms the logical structure of an abstract model situation, whose components are connected by logical valency.
E. V. Lobanovskaya
doaj +1 more source
Rewriting Logic Semantics and Verification of Model Transformations [PDF]
, 2009 Model transformations are used in model-driven development for mechanizing the interoperability and integration among modeling languages. Due to the graph-theoretic nature of models, the theory of graph transformation systems and its technological support provide a convenient environment for formalizing and verifying model transformations, which can ...
Artur Boronat +2 more
openaire +1 more source
Semantic representation and interval roughness analysis of IoT CapBAC rules
Tongxin xuebao, 2021 To break the bottleneck of interval roughness analysis, a rule semantic model IoTACS was proposed, and IoTRA algorithm was given.In IoTACS, a conceptual structure of the IoT CapBAC rule domain was proposed, the quantitative data properties of the basic ...
Xiaoyan LIANG, Ruizhong DU
doaj +2 more sources
Method of Document Level Relation Extraction Based on Fusion of Relational Transfer Information Using Double Graph [PDF]
Jisuanji kexue, 2023 Document-level relation extraction refers to the extraction of entities and their relations from long paragraphs of unstructured text.Compared to traditional sentence-level relation extraction,document-level relation extraction requires the integration ...
KOU Jiaying, ZHAO Weidong, LIU Xianhui
doaj +1 more source
Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes [PDF]
, 2017 The application of emerging technologies of Internet of Things (IoT) and cloud computing have increasing the popularity of smart homes, along with which, large volumes of heterogeneous data have been generating by home entities.
DONG Mianxiong, OTA Kaoru, TAO Ming
core +2 more sources
Deductive databases in four-valued logic: rule semantics and models
Journal of Logic and Computation, 2022 AbstractIn this paper, we investigate rule semantics for deductive databases in the context of four-valued logic. In our approach, a database is a pair $\varDelta =(E,R)$, where $E$ is a set of pairs, each pair associating a ground fact with a truth value (thus, allowing to store true, false or inconsistent facts) and $R$ is a set of rules generalizing
Laurent, Dominique, Spyratos, Nicolas
openaire +2 more sources
Logical and Semantic Modeling of Complex Biomolecular Networks
Procedia Computer Science, 2016 AbstractSystems biology models aim to describe and understand the behaviour of a cell. This living organism is represented by a complex biomolecular network. In the literature, most researches focus only on modeling isolated parts of this network, such as the metabolic network or the gene regulatory network.
Ayadi, Ali +3 more
openaire +2 more sources