The First Order Theories of the Medvedev and Muchnik Lattices.
Andrew E. M. LewisAndré NiesAndrea SorbiPublished in: CiE (2009)
Keyphrases
- theory revision
- first order logic
- higher order
- knowledge base
- theoretical framework
- logical theories
- classical first order logic
- concept learning
- causal reasoning
- data mining
- logical formulas
- action theories
- horn clauses
- inductive logic programming systems
- formal models
- probabilistic logic
- real time
- decision making
- neural network
- data sets