Answer Set Planning: A Survey.
Tran Cao SonEnrico PontelliMarcello BalducciniTorsten SchaubPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- normal logic programs
- answer set semantics
- answer set programs
- fixpoint
- loop formulas
- semantics of logic programs
- stable models
- sat solvers
- general purpose
- state space
- knowledge representation
- evolutionary algorithm
- search space
- counter examples
- lower bound
- information systems