Positive Almost-Sure Termination: Complexity and Proof Rules.
Rupak MajumdarV. R. SathiyanarayanaPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- active rules
- logical rules
- information systems
- association rules
- production rules
- rule discovery
- database
- computational cost
- worst case
- association rule mining
- classification rules
- rule sets
- conjunctive query containment
- positively correlated
- linear logic
- rule extraction
- decision problems
- attribute values
- artificial neural networks
- decision trees