On rules with existential variables: Walking the decidability line.
Jean-François BagetMichel LeclèreMarie-Laure MugnierEric SalvatPublished in: Artif. Intell. (2011)
Keyphrases
- existentially quantified
- query answering
- universally quantified
- logic programs
- description logics
- rule extraction
- rule sets
- causal models
- production rules
- variable selection
- neural network
- human experts
- classification rules
- association rule mining
- causal relationships
- fuzzy logic
- horn clauses
- bayesian networks
- decision trees