Results 41 to 50 of about 1,423 (254)
The term rewriting approach to automated theorem proving
The Journal of Logic Programming, 1992 We give a survey of different methods developed in term rewriting for application to automated deduction in various logical systems.
Hélène Kirchner +3 more
openaire +2 more sources
Flexible Memory: Progress, Challenges, and Opportunities
Advanced Intelligent Discovery, EarlyView.Flexible memory technology is crucial for flexible electronics integration. This review covers its historical evolution, evaluates rigid systems, proposes a flexible memory framework based on multiple mechanisms, stresses material design's role, presents a coupling model for performance optimization, and points out future directions.
Ruizhi Yuan +5 more
wiley +1 more source
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2014 Based on the general form of α-resolution principle for a lattice-valued logic with truth-values defined in a lattice-valued logical algebra structure - lattice implication algebra, the further extended α-resolution method in this lattice ...
Xiaomei Zhong +3 more
doaj +1 more source
Automated Theorem Proving for Metamath
, 2023 Metamath is a proof assistant that keeps surprising outsiders by its combination of a very minimalist design with a large library of advanced results, ranking high on the Freek Wiedijk’s 100 list. In this work, we develop several translations of the Metamath logic and its large set-theoretical library into higher-order and first-order TPTP formats for ...
Carneiro, Mario +2 more
openaire +3 more sources
Advanced Intelligent Discovery, EarlyView.This perspective highlights how knowledge‐guided artificial intelligence can address key challenges in manufacturing inverse design, including high‐dimensional search spaces, limited data, and process constraints. It focused on three complementary pillars—expert‐guided problem definition, physics‐informed machine learning, and large language model ...
Hugon Lee +3 more
wiley +1 more source
The CADE-22 automated theorem proving system competition – CASC-22 [PDF]
, 2010 Geoff Sutcliffe
+5 more sources
Automated theorem proving in elementary geometry
Le Matematiche, 1988 A survey of the main procedures for automatic theorem proving in geometry is presented.
Alfredo Ferro, Giovanni Gallo
doaj
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Data in Brief, 2019 The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj +1 more source
Advanced Intelligent Systems, EarlyView.In summary, a self‐supervised end‐to‐end framework for OCT image despeckling is proposed, without access to unpaired noisy–clean images or paired noisy–noisy images for training. The despeckling performance has been evaluated on 150 subjects from five retina datasets (121 subjects) and one middle ear dataset (29 subjects). Optical coherence tomography (
Zhiyi Jiang +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This study presents BiT‐HyMLPKANClassifier, a novel hybrid deep learning framework for automated human peripheral blood cell classification. Model combines Big Transfer models with multilayer perceptron and efficient Kolmogorov–Arnold Network architectures, achieving over 97% accuracy.
Ömer Miraç KÖKÇAM, Ferhat UÇAR
wiley +1 more source