Fitting Semantics for Conditional Term Rewriting.

Chilukuri K. Mohan

Published in: IJCAI (1991)

Keyphrases

term rewriting
operational semantics
rewrite systems
theorem proving
theorem prover
conditional logic
formal semantics
knuth bendix
model fitting
artificial intelligence
email
data model
knowledge representation
default reasoning
cp nets
probabilistic logic programs