A logic for reasoning about responsibility.
Tiago de LimaLambèr M. M. RoyakkersFrank DignumPublished in: Log. J. IGPL (2010)
Keyphrases
- formal theory
- logic programming
- spatial reasoning
- causal reasoning
- classical logic
- multi valued
- data mining
- modal operators
- modal logic
- qualitative reasoning
- asynchronous circuits
- automated reasoning
- artificial intelligence
- machine learning
- data sets
- probability theory
- search algorithm
- probabilistic logic
- multi agent
- defeasible logic
- e learning
- set theory
- genetic algorithm
- proof theory