Horn Logic

Resource created 8 years ago.

Ziyuan Qin 0 upvotes • 8 years ago • 2 replies

Sorry if I got wrong about this, but aren't we suppose to have an assignment released this week? Where can I find it? ...

David Rajaratnam 0 upvotes • 8 years ago • 0 replies

In the lecture yesterday there was some question about what I meant when I said that with propositional Horn clauses y...