Results 51 to 60 of about 822,981 (308)
Conjunctive Regular Path Queries under Injective Semantics [PDF]
, 2023 We introduce injective semantics for Conjunctive Regular Path Queries (CRPQs), and study their fundamental properties. We identify two such semantics: atom-injective and query-injective semantics, both defined in terms of injective homomorphisms. These semantics are natural generalizations of the well-studied class of RPQs under simple-path semantics ...
arxiv +1 more source
Weakly Complete Semantics Based on Undecidedness Blocking [PDF]
arXiv, 2021 In this paper we introduce a novel family of semantics called weakly complete semantics. Differently from Dung's complete semantics, weakly complete semantics employs a mechanism called undecidedness blocking by which the label undecided of an attacking argument is not always propagated to an otherwise accepted attacked argument.
arxiv
An Automated Semantic Annotation Tool Supported by an Ontology in the Computer Science Domain
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015 The annotation of documents can be performed manually, semi-assisted or automated, also it can use the help of different knowledge resources as a set of rules or ontology. In this paper, we show the design of a semantic annotation tool that works automatically on power in order to efficiently manage academic documents in spanish produced in ...
Rodrigo Espinoza, Andrés Melgar
openaire +2 more sources
Serret-Frenet Frame and Curvatures of Bézier Curves
Mathematics, 2018 The aim of this study is to view the role of Bézier curves in both the Euclidean plane E 2 and Euclidean space E 3 with the help of the fundamental algorithm which is commonly used in Computer Science and Applied Mathematics and without ...
Esra Erkan, Salim Yüce
doaj +1 more source
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +1 more source
Co-evolutionary Game Dynamics of Competitive Cognitions and Public Opinion Environment
Frontiers in Physics, 2021 Competitive cognition dynamics are widespread in modern society, especially with the rise of information-technology ecosystem. While previous works mainly focus on internal interactions among individuals, the impacts of the external public opinion ...
Haoyan Liu +9 more
doaj +1 more source
Formal Semantics and Formally Verified Validation for Temporal Planning [PDF]
arXiv, 2022 We present a simple and concise semantics for temporal planning. Our semantics are developed and formalised in the logic of the interactive theorem prover Isabelle/HOL. We derive from those semantics a validation algorithm for temporal planning and show, using a formal proof in Isabelle/HOL, that this validation algorithm implements our semantics.
arxiv
On More or Less Appropriate Notions of ‘Computation’
South African Computer Journal, 2018 Half a century after the emergence of computer science (a.k.a. informatics) as an academic discipline, the notion of “computation” is not yet “settled”. On the contrary: recent developments in the natural sciences, in mathematics, as well as in computer ...
Stefan Gruner, Andrew (Andy) Gravell
doaj +1 more source
The global environmental agenda urgently needs a semantic web of knowledge
Environmental Evidence, 2022 Progress in key social-ecological challenges of the global environmental agenda (e.g., climate change, biodiversity conservation, Sustainable Development Goals) is hampered by a lack of integration and synthesis of existing scientific evidence.
Stefano Balbi +6 more
doaj +1 more source
A review of artificial intelligence in brachytherapy
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen +4 more
wiley +1 more source