Results 61 to 70 of about 6,452,641 (347)
A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models
Advanced Engineering Materials, EarlyView.In order to access heterogeneous material data and model‐based knowledge, the established ontology‐based data access (OBDA) is extended to include material models. This novel ontology‐based data and model access (OBDMA) enables the computation of new responses beyond stored data.
Jürgen Maas +15 more
wiley +1 more source
Relational Parametricity and Separation Logic [PDF]
Logical Methods in Computer Science, 2008 Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types.
Lars Birkedal, Hongseok Yang
doaj +1 more source
Embedding defeasible logic into logic programming [PDF]
Theory and Practice of Logic Programming, 2006 To appear in Theory and Practice of Logic ...
Antoniou, G +3 more
openaire +5 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
Separation logic: a logic for shared mutable data structures
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002 In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure.
J. C. Reynolds
semanticscholar +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
2P-Kt: A logic-based ecosystem for symbolic AI
SoftwareX, 2021 To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead,
Giovanni Ciatto +2 more
doaj
Programming the logic theory machine
IRE-AIEE-ACM '57 (Western), 1899 A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolic logic in much the same way as a human does.
A. Newell, J. Shaw
semanticscholar +1 more source
Advanced Engineering Materials, EarlyView.A methodology for establishing an ontology‐augmented structural digital twin for fiber‐reinforced polymer structures dedicated to individual lifetime prediction, in this case, a wind turbine rotor blade, is introduced. The methodology resembles the manufacturing as well as the operation of the structure.
Marc Luger +6 more
wiley +1 more source
Space Syntax with Logic Programming: An Application to a Modern Estate
Urban Science, 2023 Space syntax is a set of theories and techniques for analysing urban settlements and buildings. Here, we propose a new approach to perform syntactic analyses that requires only the declaration in a computer program of the connections between axial lines ...
Pedro Afonso Fernandes
doaj +1 more source