A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument.

Published in: CoRR (2022)

Keyphrases

knowledge representation
temporal logic
theorem prover
neural network
real world
domain specific
data sets
context dependent
question answering systems
question classification
legal knowledge
ontological framework
legal argument