Results 21 to 30 of about 1,558,985 (350)
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
, 2016 Jiansong Zhang, Nora El-Gohary
openalex +3 more sources
Fast and Clean: Auditable high-performance assembly via constraint solving
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked.
Amin Abdulrahman +3 more
doaj +1 more source
seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation
IEEE Access, 2020 As atomic operations, secure matrix-based computations using homomorphic encryption (HE) have attracted much attention in cloud-based machine learning. However, most existing secure matrix computation solutions that focus on HE schemes suffer efficiency ...
Yanan Bai +4 more
doaj +1 more source
Learning-Assisted Automated Reasoning with Flyspeck [PDF]
, 2014 The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs) and machine-learning premise selection methods trained on the proofs, producing an AI system capable of answering a wide ...
Kaliszyk, Cezary, Urban, Josef
core +12 more sources
A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Mathematics, 2022 Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems.
Yongsheng Rao +4 more
doaj +1 more source
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +1 more source
Legal linguistic templates and the tension between legal knowledge representation and reasoning
Frontiers in Artificial Intelligence, 2023 There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred.
Tomer Libal
doaj +1 more source
Automated reasoning-alternative methods [PDF]
Serbian Journal of Electrical Engineering, 2004 Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.
Perović Aleksandar +3 more
doaj +1 more source
Frontiers in Artificial Intelligence, 2023 It is well-known that Artificial Intelligence (AI), and in particular Machine Learning (ML), is not effective without good data preparation, as also pointed out by the recent wave of data-centric AI.
Gianluca Cima +3 more
doaj +1 more source
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source