Results 51 to 60 of about 1,704,944 (274)

Executable First-Order Queries in the Logic of Information Flows [PDF]

Logical Methods in Computer Science
The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche   +4 more
doaj   +1 more source

Packaging of Macroscopic Material Payloads: Needs, Challenges, Concepts, and Future Directions

Advanced Engineering Materials, EarlyView.
This review introduces a unified framework that decomposes any macroscopic packaging system into the payload, packaging material, and packaging strategy and combines them into a conceptual packaging equation: packaging strategy = payload + packaging material.
Venkata S. R. Jampani, Manos Anyfantakis
wiley   +1 more source

One-dimensional fragment of first-order logic [PDF]

, 2014
We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core  

Representing First-Order Causal Theories by Logic Programs [PDF]

, 2011
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the ...
Armando, FANGKAI YANG, Ferraris, Gelfond, Giunchiglia, Glivenko, JOOHYUNG LEE, Lee, Lifschitz, Lifschitz, Lifschitz, Lifschitz, Lifschitz, McCain, Mints, PAOLO FERRARIS, Shanahan, VLADIMIR LIFSCHITZ, YULIYA LIERLER   +18 more
core   +7 more sources

IMPLEMENTATION OF NONLINEAR FUZZY LOGIC FRACTIONAL ORDER PID CONTROLLER (NFL-FOPID) WITH FIRST ORDER TRANSFER FUNCTION

ICTACT Journal on Soft Computing, 2018
Today, the requirement of controllers in the field of engineering and process industries is going to be increased in order to control. Among all controllers, Proportional Integral Derivative (PID) controllers are widely used due to its easy ...
U. Hada, V. Soni
doaj   +1 more source

Logics of Statements in Context-Category Independent Basics

Mathematics, 2022
Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Model Checking Linear Logic Specifications [PDF]

, 2003
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core   +1 more source

Many-Sorted First-Order Composition-Nominative Logic as Institution [PDF]

Computer Science Journal of Moldova, 2016
In the paper the institution for many-sorted first-order composition-nominative logic (CNL) is considered. The difference from the author's previous paper on this topic is richer logical system in question due to addition of operations and sorts, and ...
Alexey Chentsov
doaj