Results 291 to 300 of about 8,779,065 (357)
A functionally complete logic gate in a soft photoresponsive hydrogel. [PDF]
Nat CommunMahmood F +3 more
europepmc +1 more source
A general proof method for modal predicate logic
, 1989 Peter Jackson, Han Reichgelt
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Composing General Logic Programs
International Conference on Logic Programming and Non-Monotonic Reasoning, 1997The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic ...
Antonio Brogi, S. Contiero, F. Turini
semanticscholar +3 more sources
Generalizing Deontic Action Logic
Studia Logica, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alessandro Giordani, Matteo Pascucci
openaire +1 more source
Annals of Mathematics and Artificial Intelligence, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire +2 more sources
A General Logic Synthesis Framework for Memristor-based Logic Design
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019Memristor-based logic design gives an alternative solution to improve the energy efficiency of computing systems, benefiting from combining the memory with computing units.
Zhenhua Zhu +7 more
semanticscholar +1 more source