Notes 7: Knowledge Representation, The Propositional Calculus
Notes 7: Knowledge Representation, The Propositional Calculus ICS 270A Winter 2003.
Comparative Succinctness of KR Formalisms