conftrace_

normative rule

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

classical logic (1) norm compliance (1) logical programming (1) formal logic (1) rule-based system (1) autonomous system (1) automated reasoning (1)

Papers

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024