A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

From MaRDI portal

(Redirected from A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_unifying_approach_for_nonmonotonic_S4F,_(reflexive)_autoepistemic_logic,_and_answer_set_programming&oldid=91820609"