@article{Storr_2001, title={Planning in the Fluent Calculus Using Binary Decision Diagrams}, volume={22}, url={https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1582}, DOI={10.1609/aimag.v22i3.1582}, abstractNote={BDDplan was created to perform certain reasoning processes in the fluent calculus, a flexible framework for reasoning about action and change based on first-order logic with equality (plus some second-order extensions in some cases). The reasoning is done by mapping the problems into propositional logic, which, in turn, can be implemented as operations on binary decision diagrams (BDDs).}, number={3}, journal={AI Magazine}, author={Storr, Hans-Peter}, year={2001}, month={Sep.}, pages={103} }