Results 61 to 70 of about 366,917 (330)
The difference between natural and artificial intelligence patterns: From micro to macro level [PDF]
Introduction. The convergence between brain science and artificial intelligence technologies makes the relationship between human thinking and AI systems relevant. Theoretical analysis. The formation of artificial and natural intelligences takes place in
Duplinskya, Yuliya Mikhailovna +1 more
doaj +1 more source
RuleCNL: A Controlled Natural Language for Business Rule Specifications
Business rules represent the primary means by which companies define their business, perform their actions in order to reach their objectives. Thus, they need to be expressed unambiguously to avoid inconsistencies between business stakeholders and ...
Abed, Walid El +3 more
core +1 more source
Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su +8 more
wiley +1 more source
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete [PDF]
In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position.
Laura Bozzelli +4 more
doaj +1 more source
Metalinguistic Monstrosity and Displaced Communications
David Kaplan's semantic theory for indexicals yields a distinct logic for indexical languages that generates contingent a priori truths. These special truths of the logic of indexicals include examples like "I am here now", an utterance of which ...
Graham Stevens
doaj +1 more source
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]
String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Hendrik Jan Hoogeboom +2 more
core +5 more sources
An overview of design principles and scalable fabrication strategies for multifunctional bio‐based packaging. Radiative cooling films, modified‐atmosphere films/membranes, active antimicrobial/antioxidant platforms, intelligent optical/electrochemical labels, and superhydrophobic surfaces are co‐engineered from material chemistry to mesoscale structure
Lei Zhang +6 more
wiley +1 more source
A Language for Ontological Nihilism [PDF]
According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects.
Diehl, Catharine
core
A Definability Dichotomy for Finite Valued CSPs [PDF]
Finite valued constraint satisfaction problems are a formalism for describing many natural optimisation problems, where constraints on the values that variables can take come with rational weights and the aim is to find an assignment of minimal cost ...
Dawar, Anuj, Wang, Pengming
core +2 more sources
The natural logic of language and cognition [PDF]
This paper aims at an explanation of the discrepancies between natural intuitions and standard logic in terms of a distinction between NATURAL and CONSTRUCTED levels of cognition, applied to the way human cognition deals with sets. NATURAL SET THEORY (NST) restricts standard set theory cutting it down to naturalness.
openaire +2 more sources

