Modeling Administrative Discretion using Goal-Directed Answer Set Programming.
Joaquín AriasMar Moreno-RebatoJosé A. Rodríguez-GarcíaSascha OssowskiPublished in: ICLP Workshops (2022)
Keyphrases
- goal directed
- answer set programming
- logic programming
- logic programs
- answer sets
- constraint logic programming
- autonomous robots
- knowledge representation
- causal theories
- reasoning tasks
- stable models
- meta level reasoning
- information systems
- answer set programs
- nonmonotonic reasoning
- robotic systems
- update semantics
- disjunctive logic programming