Legal Reasoning in Answer Set Programming.
Theofanis I. AravanisKonstantinos DemirisPavlos PeppasPublished in: ICTAI (2018)
Keyphrases
- legal reasoning
- answer set programming
- logic programs
- logic programming
- case based reasoning
- defeasible reasoning
- answer sets
- inference rules
- constraint logic programming
- causal theories
- default theories
- defeasible logic
- answer set programs
- legal cases
- artificial intelligence and law
- stable model semantics
- deontic logic
- haplotype inference
- stable models
- legal knowledge representation
- theorem prover
- declarative programming
- qualitative spatial and temporal reasoning
- modulo theories