Trans-epistemic semantics for logic programs

DOI10.1007/3-540-59487-6_28MaRDI QIDQ5101464zbMATH OpenOpenAlexFDO

Authors Arcot Rajasekar

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_28

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• An epistemic model of logic programming
• Autoepistemic equilibrium logic and epistemic specifications
• Splitting epistemic logic programs
• Translating multi-agent autoepistemic logic into logic program
• Splitting epistemic logic programs

Cites work

• A logic for default reasoning
• All I know: A study in autoepistemic logic
• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 4197473 (Why is no real title available?)
• Logic programming and reasoning with incomplete information

Cited in

(3)

• Logics for epistemic programs
• Translating multi-agent autoepistemic logic into logic program
• scientific article; zbMATH DE number 1926619 (Why is no real title available?)

This page was built for publication: Trans-epistemic semantics for logic programs

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