Semantics and computation of the generalized modus ponens: The long paper.

Roger Martin-Clouaire

Published in: Int. J. Approx. Reason. (1989)

Keyphrases

modus ponens
formal semantics
decision rules
logic programming
semantic information
similarity measure
data structure
search algorithm
expert systems
deductive databases
efficient computation
parallel computation
transformation rules
update semantics