Precision and the Conjunction Rule in Concurrent Separation Logic.
Alexey GotsmanJosh BerdineByron CookPublished in: MFPS (2011)
Keyphrases
- t norm
- rule engine
- logic programming
- high precision
- association rules
- high recall
- active rules
- mutual exclusion
- predicate logic
- precision and recall
- active databases
- multi valued
- rule discovery
- neural network
- modal logic
- rule learning
- classical logic
- average precision
- computational properties
- defeasible logic
- rule sets
- classification rules
- epistemic logic
- asynchronous circuits
- linear logic
- data mining
- databases