Model reconciliation in logic programs

DOI10.1007/978-3-030-75775-5_26OpenAlexW3161748362MaRDI QIDQ2055814

William Yeoh, Tran Cao Son, Stylianos Loukas Vasileiou, Van- Duc Nguyen

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_26

zbMATH Keywords

answer set programmingexplainable planningmodel reconciliation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Logic programs with stable model semantics as a constraint programming paradigm
• The Semantics of Predicate Logic as a Programming Language
• Logic program-based updates
• Strongly equivalent logic programs

This page was built for publication: Model reconciliation in logic programs