ræ’s Reviews > Knowledge Representation and Reasoning > Status Update

the lads are conveying the syntax & semantics of first order logic effectively. must give them props for the brevity. i do wish the examples were sillier, though....