A Logic for Reasoning About Decision-Theoretic Projections.
Gavin RensThomas Andreas MeyerGerhard LakemeyerPublished in: ICAART (Revised Selected Papers) (2015)
Keyphrases
- decision theoretic
- formal theory
- expected utility
- modal logic
- planning under uncertainty
- decision models
- decision theory
- modal operators
- plan recognition
- qualitative reasoning
- three dimensional
- multi valued
- spatial reasoning
- logic programming
- classical logic
- decision making
- discrete tomography
- defeasible logic
- tomographic reconstruction
- probability theory