Constraint answer set programming as a tool to improve legislative drafting: a rules as code experiment.

Published in: ICAIL (2021)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
answer set semantics
constraint logic programming
causal theories
reasoning tasks
classification rules
strong equivalence
answer set programs
knowledge representation
software engineering
stable models
constraint solving