Revisiting quantification in autoepistemic logic

DOI10.1145/566385.566388zbMath1365.68406OpenAlexW2030773975WikidataQ130890663 ScholiaQ130890663MaRDI QIDQ5738965

Michael Kaminski, Guy Rey

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/566385.566388

zbMATH Keywords

autoepistemic logicdefault logicHerbrand semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Contextual hypotheses and semantics of logic programs

This page was built for publication: Revisiting quantification in autoepistemic logic