Planning with Incomplete Information in Quantified Answer Set Programming.
Jorge FandinnoFrançois LaferrièreJavier RomeroTorsten SchaubTran Cao SonPublished in: Theory Pract. Log. Program. (2021)
Keyphrases
- incomplete information
- answer set programming
- logic programs
- logic programming
- answer sets
- partial information
- stable model semantics
- answer set programs
- autonomous agents
- query answering
- reasoning tasks
- knowledge representation
- missing information
- stable models
- possibility theory
- knowledge representation and reasoning
- modulo theories
- planning problems
- heuristic search
- deductive databases
- answer set semantics
- declarative programming
- description logics