Logics for Sizes with Union or Intersection.
Caleb KisbySaúl BlancoAlex KruckmanLawrence S. MossPublished in: AAAI (2020)
Keyphrases
- expressive power
- modal logic
- conditional logic
- propositional dynamic logic
- nonmonotonic logics
- nonmonotonic reasoning
- inheritance reasoning
- database
- epistemic logic
- case study
- computer vision
- expert systems
- knowledge representation
- data structure
- bayesian networks
- default logic
- computational properties
- search engine
- machine learning
- proof theoretic
- neural network
- data sets