Collaborated with:
Björn Hein
Talks about:
program (1) concept (1) semant (1) induct (1) formal (1) logic (1) learn (1) autom (1) ml (1)
Person: Yingbing Hua
DBLP: Hua:Yingbing
Contributed to:
Wrote 1 papers:
- CASE-2018-HuaH #concept #induction #learning #logic programming #semantics
- Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming (YH, BH), pp. 1542–1547.