Model reconciliation in logic programs

DOI10.1007/978-3-030-75775-5_26MaRDI QIDQ2055814zbMATH OpenOpenAlexFDO

Authors Tran Cao Son, Stylianos Loukas Vasileiou, William Yeoh, 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)

Recommendations

• Modal logic programming revisited
• On well-founded models for logic programs
• A model-theoretic reconstruction of the operational semantics of logic programs
• Partial models and logic programming
• Models for relevant modal logics
• scientific article; zbMATH DE number 4200183
• scientific article; zbMATH DE number 4018380
• Generic models of logic programs
• Publication:4729416
• scientific article; zbMATH DE number 1368933

Cites work

• scientific article; zbMATH DE number 1319354 (Why is no real title available?)
• scientific article; zbMATH DE number 1453062 (Why is no real title available?)
• Logic program-based updates
• Logic programs with stable model semantics as a constraint programming paradigm
• Strongly equivalent logic programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(4)

• Model-Baded Abduction via Dual Resolution
• A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
• Contrastive explanations for answer-set programs
• Comparing planning domain models using answer set programming

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

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