Classifying Toposes for First-Order Theories.
Carsten ButzPeter T. JohnstonePublished in: Ann. Pure Appl. Log. (1998)
Keyphrases
- theory revision
- knowledge base
- higher order
- first order logic
- action theories
- classical first order logic
- logical theories
- propositional theories
- theoretical framework
- situation calculus
- domain theory
- automatic classification
- stochastic dominance
- linear temporal logic
- logical formulas
- causal reasoning
- databases
- background knowledge
- domain knowledge
- multi agent systems
- website
- information retrieval