Reasoning About Prescription and Description Using Prioritized Default Rules

Valentin Cassano, Carlos Areces, Pablo Castro. Reasoning About Prescription and Description Using Prioritized Default Rules. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. Volume 57 of EPiC Series in Computing, pages 196-213, EasyChair, 2018. [doi]