with a Propositional Constant for EXP.

Published in: J. Symb. Log. (1992)

Keyphrases

propositional logic
upper bound
first order logic
neural network
real time
data sets
artificial intelligence
database
databases
data mining
search engine
artificial neural networks
default logic
propositional variables