Mechanized Analysis of Anselm's Modal Ontological Argument.

Published in: CoRR (2022)

Keyphrases

neural network
three dimensional
statistical analysis
expert systems
image analysis
evolutionary algorithm
domain specific
quantitative analysis
information retrieval
metadata
image processing
objective function
data analysis
hidden markov models
domain ontology