Results 31 to 40 of about 24,578 (296)
Two Senses of Indian Theory of Polemics
The article identifies two senses of the theory of controversy developed in the traditional Indian culture - logical and religious-philosophical (metaphysical).
N A Kanaeva
doaj +1 more source
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism
Engelfriet, J. +2 more
core +2 more sources
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
How to prefer more specific defaults in terminological default logic [PDF]
In a recent paper we have proposed terminological default logic as a formalism which combines both means for structured representation of classes and objects, and for default inheritance of properties.
Hollunder, B. +2 more
core +1 more source
A Temporal Model Theory for Default Logic
By explicitly identifying the temporal aspect of a default rule as it is used in a reasoning process, it is argued that a natural semantic theory of Reiter's default logic is a temporal one. To be able to accommodate the lack of complete knowledge at any
Engelfriet, J., Clarke, M., Treur, J.
core +2 more sources
GPUs and programmable data planes have gone through an enormous evolution in the past years. GPUs can be used for modeling the real-world environment accurately, while programmable data planes can monitor the network in real-time and implement novel ...
Csaba Gyorgyi +4 more
doaj +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Four-valued semantics for default logic
Reiter's default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the only trivial extension which everything follows from.
Ma, Yue +8 more
core +1 more source
Background During embryogenesis, the developmental potential of initially pluripotent cells becomes progressively restricted as they transit to lineage restricted states.
Kristin Johnson +3 more
doaj +1 more source

