Automating Defeasible Reasoning in Law with Answer Set Programming.
How Khang LimAvishkar MahajanMartin StreckerMeng Weng WongPublished in: ICLP Workshops (2022)
Keyphrases
- answer set programming
- defeasible reasoning
- legal reasoning
- logic programming
- nonmonotonic reasoning
- logic programs
- answer sets
- case based reasoning
- answer set programs
- defeasible logic
- formal semantics
- reasoning tasks
- inference rules
- stable model semantics
- stable models
- knowledge representation
- conditional logic
- argumentation systems
- default logic
- possibilistic logic
- deductive databases
- state space