New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bonet & Geffner (ECAI'20, arXiv'21) #23

Open

2 tasks

haz opened this issue Apr 28, 2021 · 1 comment

Assignees

Labels

acquisition-technique

Contributor

haz commented Apr 28, 2021 •

edited

Loading

Notes

Just takes state IDs and transitions as input
Produces lifted representation, and does so using SAT
Second one seems to improve on the first, and does so using ASP
We may want to stick with the first initially

References

haz added the acquisition-technique label

haz changed the title ~~Bonet & Geffner (ECAI'20)~~ Bonet & Geffner (ECAI'20, arXiv'21)

haz mentioned this issue

Unique State ID Tokenization #92

Closed

haz assigned e-cal

haz unassigned e-cal

Contributor Author

haz commented Jul 6, 2022

Depends on #188

haz assigned seeratparmar

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment