Open main menu
Home
Random
Log in
Settings
About GM-RKB
Disclaimers
GM-RKB
Search
High-Order Logic
Language
Watch
Edit
Revision as of 17:03, 28 June 2021 by
Gmelli
(
talk
|
contribs
)
(Text replacement - ". ----" to ". ----")
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
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