High-Order Logic
Jump to navigation
Jump to search
- See: First-Order Logic; Inductive Logic Programming; Learning from Structured Data; Propositional Logic.
References
2011
- (Lloyd, 2011) ⇒ John Lloyd. (2011). “High-Order Logic.” In: (Sammut & Webb, 2011) p.502