Planning with Incomplete Information in Quantified Answer Set Programming.
Jorge FandinnoFrançois LaferrièreJavier RomeroTorsten SchaubTran Cao SonPublished in: CoRR (2021)
Keyphrases
- incomplete information
- answer set programming
- logic programs
- logic programming
- answer sets
- autonomous agents
- answer set programs
- reasoning tasks
- stable model semantics
- partial information
- missing information
- query answering
- open world
- planning problems
- first order logic
- heuristic search
- answer set semantics
- databases
- action theories
- stable models
- declarative programming