On the Logic of Theory Change: Contraction without Recovery.
Eduardo L. FerméPublished in: J. Log. Lang. Inf. (1998)
Keyphrases
- formal theory
- logical framework
- set theory
- proof theory
- commonsense reasoning
- databases
- theoretical framework
- proof theoretic
- artificial intelligence
- deductive reasoning
- formal logic
- computer algebra
- boolean algebra
- asynchronous circuits
- predicate logic
- probabilistic logic
- multi valued
- belief change
- digital circuits
- recovery algorithm
- probability theory
- model checking
- propositional theories