A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems

DOI10.1613/jair.1.13431OpenAlexW4224923707WikidataQ130836281 ScholiaQ130836281MaRDI QIDQ5076371

Ashwin Kumar, Stylianos Loukas Vasileiou, William Yeoh, Dianele Magazzeni, Michael Cashmore, Tran Cao Son

Publication date: 16 May 2022

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.13431

zbMATH Keywords

automated reasoningknowledge representationplanning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

This page was built for publication: A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems