Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dianhuan Lin
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention Revisited
Machine Learning
Artificial Intelligence
Software
Related publications
Datalog Relaunched: Simulation Unification and Value Invention
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Unification Revisited: Complete Sets of Transformations
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Privacy Preserving Revocable Predicate Encryption Revisited
Security and Communication Networks
Computer Networks
Information Systems
Communications
Using Meta-Code Generation to Realize Higher-Order Model Transformations
Higher Order Statistical Learning for Vehicle Detection in Images
The Implementation of Higher Order Thinking Skills for Teaching and Learning.
Journal of Social Sciences Research
Arts
Finance
Humanities
Economics
Econometrics
Social Sciences
The Implementation of Higher Order Thinking Skills for Teaching and Learning
Journal of Social Sciences Research
Arts
Finance
Humanities
Economics
Econometrics
Social Sciences
Learning Class-Specific Image Transformations With Higher-Order Boltzmann Machines
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic
Bulletin of the American Mathematical Society
