Towards a Logic of Graded Normativity and Norm Adherence.
Matthias NicklesPublished in: Normative Multi-agent Systems (2007)
Keyphrases
- normative systems
- alternating time temporal logic
- classical logic
- modal logic
- sound and complete axiomatization
- multi valued
- automated reasoning
- logic programming
- multi agent systems
- data sets
- proof theory
- information systems
- probabilistic logic
- logical framework
- information retrieval
- real time
- databases
- penalty term
- digital circuits
- nonmonotonic logics
- computational properties
- database
- probability theory
- feature selection
- website