Towards Causality-Based Conflict Resolution in Answer Set Programs.
Andre ThevapalanKonstantin HauptGabriele Kern-IsbernerPublished in: LPNMR (2022)
Keyphrases
- conflict resolution
- answer set programs
- answer set programming
- answer sets
- logic programs
- resolve conflicts
- stable models
- logic programming
- update operators
- causal models
- access control policies
- resolving conflicts
- collaborative design
- knowledge representation
- answer set semantics
- event calculus
- decision makers
- software engineering