A Logic of Only-Believing over Arbitrary Probability Distributions.
Qihui FengDaxin LiuVaishak BelleGerhard LakemeyerPublished in: AAMAS (2023)
Keyphrases
- probability distribution
- multi valued
- classical logic
- logic programming
- random variables
- information retrieval
- deontic logic
- data sets
- proof theory
- logic synthesis
- linear logic
- asynchronous circuits
- predicate logic
- set theory
- defeasible logic
- automated reasoning
- normal distribution
- inference rules
- modal logic
- search algorithm
- decision trees
- information systems