Results 41 to 50 of about 3,261,962 (390)
The Logic of Logic Programming
, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Denecker, Marc, Warren, David S.
openaire +2 more sources
FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing
Advanced Engineering Materials, EarlyView.The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling +6 more
wiley +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
On an Intuitionistic Logic for Pragmatics [PDF]
, 2018 We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justications and its relations with classical logic.
Bellin, Gianluigi +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article introduces an automated approach for converting the raw research data (use case of low‐cycle‐fatigue testing dataset) to machine‐readable resource description framework ones and storing them in an open digital repository. As two main prerequisites for this data digitalization process, the development of fatigue testing ontology and ckan ...
Hossein Beygi Nasrabadi +2 more
wiley +1 more source
The Modal Logic of Provability and Forcing [PDF]
arXiv, 2023 Solovay's arithmetical completeness theorem states that the modal logic of provability coincides with the modal logic $\mathbf{GL}$. Hamkins and L\"owe studied the modal logical aspects of set theoretic multiverse and proved that the modal logic of forcing is exactly the modal logic $\mathbf{S4.2}$.
arxiv
Advanced Engineering Materials, EarlyView.Integrity constraints enforce consistency and completeness on data. The article discusses a newly developed validator for checking integrity constraints in Shapes Constraint Language (SHACL) through reduction to SPARQL Protocol and RDF Query Language (SPARQL) queries. It can be used with systems for ontology‐based database access.
Özgür L. Özçep +5 more
wiley +1 more source
A Multi-Bit Neuromorphic Weight Cell Using Ferroelectric FETs, suitable for SoC Integration
IEEE Journal of the Electron Devices Society, 2018 A multi-bit digital weight cell for high-performance, inference-only non-GPU-like neuromorphic accelerators is presented. The cell is designed with simplicity of peripheral circuitry in mind.
Borna Obradovic +6 more
doaj +1 more source
Journal of Electrochemical Science and Engineering, 2020 When performing electrochemical impedance spectroscopy (EIS) measurements on a system, we must make sure it fulfills certain conditions. One of them is that it should be stationary that is to say, steady-state and time-invariant. Commonly studied systems
Nicolas Murer +2 more
doaj +1 more source