Modeling Administrative Discretion Using Goal-Directed Answer Set Programming.
Joaquín AriasMar Moreno-RebatoJosé A. Rodríguez-GarcíaSascha OssowskiPublished in: CAEPIA (2021)
Keyphrases
- goal directed
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- reasoning tasks
- autonomous robots
- answer set programs
- causal theories
- meta level reasoning
- information systems
- stable model semantics
- stable models
- haplotype inference
- update semantics
- search algorithm
- strong equivalence
- disjunctive logic programming