Login / Signup
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Christoph Benzmueller
Published in:
CoRR (2009)
Keyphrases
</>
case study
machine learning
decision trees
multi modal
test bed
theoretical basis
set theory
real time
neural network
genetic algorithm
search engine
formal theory
simple examples