Computation of the semantics of autoepistemic belief theories
From MaRDI portal
Publication:1606318
DOI10.1016/S0004-3702(99)00043-0zbMath0996.68194OpenAlexW2055299038MaRDI QIDQ1606318
Stefan Brass, Teodor C. Przymusinski, Jürgen Dix
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00043-0
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (2)
A general theory of confluent rewriting systems for logic programming and its applications ⋮ On the equivalence of the static and disjunctive well-founded semantics and its computation
Uses Software
This page was built for publication: Computation of the semantics of autoepistemic belief theories
