Predicate Transformers for Recursive Procedures with Local Variables.

Wim H. Hesselink

Published in: Formal Aspects Comput. (1999)

Keyphrases

datalog programs
variable selection
causal relationships
logic programs
first order logic
input variables
databases
bayesian networks
expert systems
query answering
directed acyclic graph