Formalisation of Action with Durations in Answer Set Programming.

Published in: ICLP Technical Communications (2021)

Keyphrases

answer set programming
action language
logic programs
logic programming
answer sets
reasoning tasks
answer set programs
constraint logic programming
causal theories
meta level reasoning
stable model semantics
haplotype inference
stable models
reasoning about actions
update semantics
background knowledge