Forcing and the Halpern-läUchli Theorem.

Natasha Dobrinen Daniel Hathaway

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

Keyphrases

temporal logic
causal models
artificial intelligence
database
image processing
relational databases
model checking
modal logic
neural network
social networks
web services
training data
pattern recognition
multi agent systems
reasoning about actions