Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lukas Chrpa
conf.researchr.org general profile
POPL 2022 profile
Not registered as user yet
Name:
Lukas Chrpa
Affiliation:
Czech Technical University in Prague
Contributions
2022
Symposium on Practical Aspects of Declarative Languages
Author of Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers within the PADL 2022-track
Share
x
Wed 24 Apr 19:58