An algorithm for constructing extensions of propositional autoepistemic logic

MaRDI QIDQ7306600zbMATH OpenFDO

Authors Noboru Babaguchi, Jun-ichi Moriuma, Yoshikazu Tezuka

Publication date 30 July 2026

Published in Journal of Information Processing (Search for Journal in Brave)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

This page was built for publication: An algorithm for constructing extensions of propositional autoepistemic logic

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