Results 241 to 250 of about 45,874 (260)

Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products

Journal of Cryptology, 2012
Jonathan Katz, Amit Sahai, Brent Waters
exaly  

Specialization of the form of deduction in the predicate calculus with equality and function symbols. I

1968
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Machine Learning, 2015
Stephen H Muggleton, Dianhuan Lin, Alireza Tamaddoni-Nezhad   +2 more
exaly  

An Efficient Predicate Encryption with Constant Pairing Computations and Minimum Costs

IEEE Transactions on Computers, 2016
Seong-Oun Hwang, Jong Hwan Park
exaly  

A Theory of Equality for a Class of Many‐Valued Predicate Calculi

Mathematical Logic Quarterly, 1974
openaire   +2 more sources

Triangular norm based predicate fuzzy logics

Fuzzy Sets and Systems, 2010
Petr Cintula
exaly  

Predicates and predicate transformers for supervisory control of discrete event dynamical systems

IEEE Transactions on Automatic Control, 1993
exaly  

Towards Enhancing the query time of conjunctive equality predicates

2017
openaire   +1 more source

Structured treatment can improve predicate argument structure impairment

Aphasiology, 2015
Michal Biran
exaly  

Modal Languages and Bounded Fragments of Predicate Logic

Journal of Philosophical Logic, 1998
Hajnal Andreka, Istvan Nemeti, Johan van Benthem   +2 more
exaly