C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalisation of Action with Durations in Answer Set Programming.
Etienne Tignon
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