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

DOI10.1007/bfb0023805zbMath1547.68717MaRDI QIDQ6623797

Laura Giordano, Alberto Martelli, Viviana Patti, Matteo Baldoni

Publication date: 24 October 2024

zbMATH Keywords

modal logiclogic programminglogic programargumentation frameworkmodal language

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Non-monotonic reasoning with logic programming
• Representing action and change by logic programs
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Interference logic = conditional logic + frame axiom
• An abductive proof procedure for conditional logic programming
• Computing the acceptability semantics

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