Hybrid conditional planning using answer set programming.

Ibrahim Faruk Yalciner Ahmed Nouman Volkan Patoglu Esra Erdem

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
constraint logic programming
causal theories
answer set programs
stable model semantics
reasoning tasks
stable models
qualitative spatial and temporal reasoning
knowledge representation
search algorithm
fixpoint
disjunctive logic programming