A Logic for Conditional Term Rewriting Systems.

David A. Plaisted

Published in: CTRS (1987)

Keyphrases

term rewriting systems
functional programs
logic programs
logic programming
conditional logic
predicate logic
modal logic
logical framework
classical logic
conditional probabilities
deductive databases
multi valued
nonmonotonic inference