Translating multi-agent autoepistemic logic into logic program

MaRDI QIDQ2844920zbMATH OpenFDO

Authors Toyama Katsuhiko, Kojima Takahiro, Inagaki Yasuyoshi

Publication date 20 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805887

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Trans-epistemic semantics for logic programs
• Autoepistemic logic programming
• scientific article; zbMATH DE number 4075021
• Translating default logic into standard autoepistemic logic
• Autoepistemic logic

Cites work

• A rational reconstruction of nonmonotonic truth maintenance systems
• Computing abduction by using TMS with top-down expectation
• Formalizing nonmonotonic reasoning systems
• scientific article; zbMATH DE number 500200 (Why is no real title available?)
• Nonmonotonic logic and temporal projection
• On the relation between default and autoepistemic logic
• Semantical considerations on nonmonotonic logic

Cited in

(1)

• Trans-epistemic semantics for logic programs

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Translating multi-agent autoepistemic logic into logic program

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