Characterization theorems for PDL and FO(TC).

Facundo Carreiro

Published in: CoRR (2015)

Keyphrases

first order logic
transitive closure
feature selection
database
neural network
learning algorithm
relational model
fixpoint
data mining
genetic algorithm
artificial intelligence
computer vision
multi agent
expert systems
propositional dynamic logic