https://actsynt.github.io/
Highlights of Reasoning about Actions, Planning and Reactive Synthesis | ActSynt@ECAI2024
Held as part of ECAI 2024, 19 October, 2024, Santiago de Compostela, Spain
about actionsreactive synthesishighlightsreasoning
https://openreview.net/forum?id=NUD03NBDOE
ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints | OpenReview
Reasoning about Actions and Change (RAC) has historically played a pivotal role in solving foundational AI problems, such as the frame problem. It has driven...
with and withoutabout actionsreasoningramificationconstraints