On First-Order Theories with Provability Operator.
Sergei N. ArtëmovFranco MontagnaPublished in: J. Symb. Log. (1994)
Keyphrases
- theory revision
- first order logic
- knowledge base
- higher order
- theoretical framework
- stochastic dominance
- concept learning
- classical first order logic
- logical formulas
- action theories
- relational learning
- computational models
- data mining
- decision theory
- data sets
- formal models
- description logics
- social networks
- propositional theories
- logical theories
- neural network