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

DOI10.1613/JAIR.1.13431MaRDI QIDQ5076371zbMATH OpenOpenAlexWikidataFDO

Authors Stylianos Loukas Vasileiou, William Yeoh, Ashwin Kumar, Michael Cashmore, D. Magazzeni, 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)

Recommendations

• Foundations of explanations as model reconciliation
• Model reconciliation in logic programs
• scientific article; zbMATH DE number 569781
• scientific article; zbMATH DE number 4176484

Cited in

(5)

• A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• Interpretable biomedical named entity recognition via BLSTM with Talmudic public announcement logic
• Tailoring explanations through conversation
• An ASP framework for the refinement of authorization and obligation policies

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5076371)