Results 121 to 130 of about 3,597,563 (258)

A theorem prover for default logic based on prioritized conflict resolution and an extended resolution principle

, 1995
Jérôme Mengin
openalex   +2 more sources

Silicon-on-Silica Microring Resonators for High-Quality, High-Contrast, High-Speed All-Optical Logic Gates. [PDF]

Nanomaterials (Basel)
Kotb A, Hatziefremidis A, Zoiros KE.
europepmc   +1 more source

Determination of alpha-resolution for lattice-valued first-order logic based on lattice implication algebra

, 2007
Yang Xu, Xiaobing Li, Jun Liu, Da Ruan
openalex   +1 more source

Cross-Detection for Bubble-free Thermometer Codes and Dual-Side Monitoring for FPGA-Based High-Accuracy and High-Precision Time-to-Digital Converters. [PDF]

IEEE Trans Instrum Meas
Lee D, Yi M, Kwon SI.
europepmc   +1 more source

Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project [PDF]

, 2009
Carl Hewitt
openalex  

A 1.2-V 7.76-ENOB 1-MS/s single-ended SAR ADC in 65-nm CMOS for biomedical applications. [PDF]

Sci Rep
Arafa KI, Ellaithy DM, Shawkey H, Abouelatta M, Zekry A.   +4 more
europepmc   +1 more source

"The Voynich Manuscript as a Procedural Operating System: A Closed-Loop Control Logic Resolution"

Miguel Angel Monroy Castañeda
openalex   +1 more source

Infrared and visible image fusion using GAN with fuzzy logic and Harris Hawks optimization. [PDF]

Sci Rep
Zarimeidani M, Amirabadi A, Amiri N, Ahanian I, Es'haghi S.   +4 more
europepmc   +1 more source

Practical resolution of satisfiability testing for modal logics

, 2018
Valentin Montmirail
openalex   +1 more source

Recursive resolution for modal logic

, 2002
Resolution for the first order logic can be considered as a practical tool for obtaining a decision procedures for some theories (cf. arm). For modal logics, however, there is no uniform formulation of the resolution principle, yet the normal modal logics are the most probable candidates to be decidable theories.
openaire   +2 more sources