Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...
This is a second course in symbolic logic. Our course presupposes you have had a first course in symbolic deductive logic, such as Sac State's PHIL 60, or CSC 28, or you have learned this material on ...