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

DOI10.1007/BFB0023805zbMATH Open1547.68717MaRDI QIDQ6623797FDOQ6623797

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 programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Representing action and change by logic programs
• Non-monotonic reasoning with logic programming
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Computing the acceptability semantics
• Interference logic = conditional logic + frame axiom
• An abductive proof procedure for conditional logic 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)