A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming.

Nitin Yadav Sebastian Sardiña

Published in: ECAI (2023)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
declarative programming
knowledge representation

reasoning tasks
constraint logic programming
stable model semantics
causal theories
meta level reasoning
answer set programs

planning problems
domain independent
answer set semantics
haplotype inference
reinforcement learning
stable models

disjunctive logic programming
action language
high level
fixpoint
deductive databases
modulo theories