Proof Assistants and the Dynamic Nature of Formal Theories.

Robert L. Constable

Published in: ATx/WInG@IJCAR (2012)

Keyphrases

formal models
formal model
theoretical framework
theorem prover
ontological engineering
theorem proving
intelligent agents
mathematical proofs
knowledge base
cognitive psychology
linear logic
learning environment
general theory
mathematical theory
logical formulas
e learning
machine learning