A Complete Planner for Temporal Answer Set Programming.

Pedro Cabalar Manuel Rey Concepción Vidal

Published in: EPIA (2) (2019)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
constraint logic programming
reasoning tasks
answer set programs
causal theories
domain independent
temporal information
stable models
stable model semantics
update semantics
haplotype inference
ai planning
knowledge base
fixpoint