Login / Signup
A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs.
Teodor C. Przymusinski
Published in:
AAAI (1994)
Keyphrases
</>
knowledge representation
logic programming
autoepistemic logic
artificial intelligence
logic programs
first order logic
automated reasoning
truth maintenance systems