Verifiable Certificates for Predicate Subtyping.

Frédéric Gilbert

Published in: ESOP (2019)

Keyphrases

access control
first order logic
public key
database
data sets
sufficient conditions
search engine
bayesian networks
cooperative
lower bound
expert systems
information technology
datalog programs
logic rules
inter agent