conftrace_

norm compliance

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical programming (1) restraining bolt (1) normative behavior (1) normative rule (1) classical logic (1) formal logic (1) rule-based system (1) autonomous system (1) multi-objective reinforcement learning (1) automated reasoning (1)

Papers

Combining MORL with Restraining Bolts to Learn Normative Behaviour IJCAI 2025 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024