An abductive proof procedure for reasoning about actions in modal logic programming

DOI10.1007/BFB0023805MaRDI QIDQ6623797zbMATH OpenFDO

Authors Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti

Publication date 24 October 2024

Full work available at URL https://doi.org/10.1007/BFB0023805

zbMATH Keywords

argumentation frameworklogic programlogic programmingmodal languagemodal logic

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2044515
• Programming rational agents in a modal action logic
• Ramification and causality in a modal action logic
• An abductive proof procedure for conditional logic programming
• Formalizing action and change in modal logic I: the frame problem

Cites work

• An abductive proof procedure for conditional logic programming
• Computing the acceptability semantics
• How to Do Things with Worlds: on Formalizing Actions and Plans
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• Interference logic = conditional logic + frame axiom
• Non-monotonic reasoning with logic programming
• Representing action and change by logic programs

Cited in

(1)

• Linear-time temporal answer set programming

This page was built for publication: An abductive proof procedure for reasoning about actions in modal logic programming

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