Results 21 to 30 of about 2,714,739 (303)
A novel formal logic for formal analysis of timeliness in non-repudiation protocols
Journal of King Saud University: Computer and Information Sciences, 2023 Non-repudiation protocols are aimed at exchanging digital messages and irrefutable receipts between two mistrusting parties over the Internet, which form the cornerstones of modern secure network transactions. Timeliness is a key security property of non-
Ke Yang +3 more
doaj +1 more source
The semantics of similarity in geographic information retrieval
Journal of Spatial Information Science, 2011 Similarity measures have a long tradition in fields such as information retrieval, artificial intelligence, and cognitive science. Within the last years, these measures have been extended and reused to measure semantic similarity; i.e., for comparing ...
Krzysztof Janowicz +2 more
doaj +1 more source
Finiteness of One-Valued Function Classes in Many-Valued Logic
Fractal and Fractional, 2023 This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
doaj +1 more source
An Approach to Self-Configuration of M2M Services
Cybernetics and Information Technologies, 2017 The increased number of connected devices and Machine-to-Machine (M2M) applications becomes business and technical challenge for network operators. The complexity of connectivity challenge yields for appropriate connectivity management solutions.
Pencheva Evelina
doaj +1 more source
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
AAAI Conference on Artificial Intelligence, 2016 Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics.
Meghyn Bienvenu +2 more
semanticscholar +1 more source
The Logical Difference for the Lightweight Description Logic EL [PDF]
Journal of Artificial Intelligence Research, 2012 We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest.
B. Konev +3 more
semanticscholar +1 more source
Attribute Logic Formula Description of Granule and Its Application to Build Concept Lattice
IEEE Access, 2020 This paper focus on the granule description based on formal concept analysis. First, we introduce the notion of attribute logic formula in a formal context, and then prove a general granule description theorem by using attribute logic formulas.
Xia Wu, Jialu Zhang, Ruhua Lu
doaj +1 more source
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
Description logic programs: combining logic programs with description logic
The Web Conference, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection.
Benjamin N. Grosof +3 more
semanticscholar +1 more source
On Construction and Evaluation of Analogical Arguments for Persuasive Reasoning
Applied Artificial Intelligence, 2019 Analogical reasoning is a complex process based on a comparison between two pairs of concepts or states of affairs (aka. the source and the target) for characterizing certain features from one to another.
Teeradaj Racharak +3 more
doaj +1 more source