Two First-Order Theories of Ordinals.
Peter H. SchmittPublished in: Fields of Logic and Computation III (2020)
Keyphrases
- theory revision
- higher order
- first order logic
- action theories
- theoretical framework
- concept learning
- classical first order logic
- knuth bendix
- data mining
- neural network
- domain theory
- causal reasoning
- logical formulas
- term rewriting
- stochastic dominance
- logic programming
- database systems
- background knowledge
- knowledge base
- databases
- artificial intelligence
- genetic algorithm
- linear temporal logic
- propositional theories