Relating Labelled and Label-Free Bunched Calculi in BI Logic.
Didier GalmicheMichel MartiDaniel MéryPublished in: TABLEAUX (2019)
Keyphrases
- sequent calculi
- business intelligence
- predicate logic
- automated reasoning
- logic programming
- multi label
- image labeling
- conditional logic
- classical logic
- database
- modal logic
- defeasible logic
- image classification
- logical framework
- rough sets
- active learning
- training data
- machine learning
- databases
- formal theory
- asynchronous circuits
- cut elimination
- data sets