Negation with Logical Variables in Conditional Rewriting.
Chilukuri K. MohanMandayam K. SrivasPublished in: RTA (1989)
Keyphrases
- truth values
- logic programs
- conditional probabilities
- datalog programs
- deductive databases
- variable selection
- special case
- logic programming
- random variables
- rewrite rules
- predicate logic
- queries using views
- existentially quantified
- conditional distributions
- logical formulas
- model theoretic
- query rewriting
- tree patterns
- causal relationships
- hidden variables