conftrace_

logical programming

1 paper

Explore in graph

Also known as

LP

Co-occurring keywords · papers mentioning both

norm compliance (1) normative rule (1) classical logic (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