Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
Thomas EiterTobias GeibingerNelson Higuera RuizNysret MusliuJohannes OetschDaria StepanovaPublished in: AAAI (2022)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- neighbourhood search
- answer set semantics
- normal logic programs
- answer set programs
- knowledge base
- semantics of logic programs
- software engineering
- counter examples
- fixpoint
- stable models
- reasoning tasks
- loop formulas
- formal semantics
- sat solvers
- relational databases
- expert systems