Pruning external minimality checking for answer set programs using semantic dependencies.
Thomas EiterTobias KaminskiPublished in: Artif. Intell. (2021)
Keyphrases
- answer set programs
- semantic dependencies
- answer set programming
- syntactic and semantic dependencies
- answer sets
- logic programs
- syntactic dependencies
- stable models
- search space
- semantic role labeling
- update operators
- logic programming
- test set
- belief change
- dependency parsing
- partial order
- decision trees
- belief revision
- knowledge representation
- domain knowledge