Results 51 to 60 of about 58,088 (162)
Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$
Известия Иркутского государственного университета: Серия "Математика"We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Extended Resolution as Certificates for Propositional Logic
EPiC Series in Computing, 2018 When checking answers coming from automatic provers, or when skeptically integrating them into proof assistants, a major problem is the wide variety of formats of certificates, which forces to write lots of different checkers. In this paper, we propose to use the extended resolution as a common format for every propositional prover.
openaire +3 more sources
Resolution approximation of first-order logics
Information and Computation, 1992 This paper is a continuation of other researches made by the author and P. O'Hearn in resolution proof systems. The idea behind this work is to represent a certain logic as a resolution-proof system. Of a certain interest are the strongly finite logics, that is, logics semantically defined by finite logical matrices.
openaire +2 more sources
Two‐Dimensional Heterostructure Complementary Logic Enabled by Optical Writing
Small ScienceIntegrated logic circuits using atomically thin, two‐dimensional (2D) materials offer several potential advantages compared to established silicon technologies such as increased transistor density, circuit complexity, and lower energy dissipation leading
Ayaz Ali +7 more
doaj +1 more source
FUZZY APPLICATION (MAMDANI METHOD) IN DECISION-MAKING ON LED TV SELECTION
BarekengScience is now developing very quickly. Information technology has been used in various places. Using computers in business, government, and personal activities shows how important science and technology are in helping human activities.
Erni Fatun Ma'rif, Agus Maman Abadi
doaj +1 more source
A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule
International Journal of Computational Intelligence SystemsAutomated reasoning, a significant field within artificial intelligence, has attracted increased attention in recent years due to the rising demand for trustworthy AI.
Hailin Guo +4 more
doaj +1 more source
3D animation design image detail enhancement based on intelligent fuzzy algorithm
International Journal for Simulation and Multidisciplinary Design OptimizationWhen zooming in on low resolution images, Lanczos interpolation method is prone to produce ringing effects at the edges and high contrast areas. When processing high texture 3D animations, the method cannot effectively optimize for different areas ...
Pu Haitao, Pu Yuang
doaj +1 more source
Scientific ReportsThe development of programmable DNA origami architectures with combinatorial complexity remains a critical challenge in molecular nanotechnology. This study develops a programmable nucleic acid detection platform by integrating DNA origami nanostructures
Si Sun +4 more
doaj +1 more source
An Energy-Efficient LiDAR Receiver Using Time-to-Voltage Converter and SAR ADC in 180 nm CMOS. [PDF]
Micromachines (Basel)Seo B, Park SM.
europepmc +1 more source