A Framework for Proof-carrying Logical Transformations.

Quentin Garchery

Published in: PxTP (2021)

Keyphrases

main contribution
computational model
artificial intelligence
probabilistic model
decision making
multi agent
high level
framework enables
theoretical framework
search algorithm
multiscale
database
feature selection
information systems
computer vision
real world
data sets
real time