Proof by Consistency in Conditional Equational Theories.
Eddy BeversJohan LewiPublished in: CTRS (1990)
Keyphrases
- equational theories
- theorem proving
- set intersection
- theorem prover
- first order logic
- consistency checking
- random field model
- conditional probabilities
- function symbols
- database
- automated reasoning
- path consistency
- conditional logic
- constraint networks
- global consistency
- inference rules
- integrity constraints
- artificial intelligence
- databases