People and topics related to Mathematics of AI

People and topics related to Mathematics of AI youcheng sun Youcheng Sun Artificial intelligence Artificial intelligence youcheng sun--Artificial intelligence Explainable AI Explainable AI youcheng sun--Explainable AI Cybersecurity Cybersecurity youcheng sun--Cybersecurity Software security Software security youcheng sun--Software security Software engineering Software engineering youcheng sun--Software engineering Cyber-physical systems Cyber-physical systems youcheng sun--Cyber-physical systems Model checking Model checking youcheng sun--Model checking ainur begalinova Ainur Begalinova ainur begalinova--Artificial intelligence Robotics Robotics ainur begalinova--Robotics Robot manipulation Robot manipulation ainur begalinova--Robot manipulation Robot programming Robot programming ainur begalinova--Robot programming Human-robot interaction Human-robot interaction ainur begalinova--Human-robot interaction Machine learning Machine learning ainur begalinova--Machine learning Data science Data science ainur begalinova--Data science renate schmidt Renate Schmidt renate schmidt--Artificial intelligence Description logic Description logic renate schmidt--Description logic Semantic web Semantic web renate schmidt--Semantic web Modal logic Modal logic renate schmidt--Modal logic AI in health AI in health renate schmidt--AI in health Automated reasoning Automated reasoning renate schmidt--Automated reasoning Logic Logic renate schmidt--Logic Knowledge representation and reasoning Knowledge representation and reasoning renate schmidt--Knowledge representation and reasoning Ontology engineering Ontology engineering renate schmidt--Ontology engineering Mathematics Mathematics renate schmidt--Mathematics Algebra Algebra renate schmidt--Algebra Ontology (information science) Ontology (information science) renate schmidt--Ontology (information science) tingting mu Tingting Mu tingting mu--Artificial intelligence tingting mu--Machine learning Mathematical modelling Mathematical modelling tingting mu--Mathematical modelling Optimization Optimization tingting mu--Optimization Matrix decomposition Matrix decomposition tingting mu--Matrix decomposition Computer vision Computer vision tingting mu--Computer vision Natural language processing Natural language processing tingting mu--Natural language processing Text mining Text mining tingting mu--Text mining angelo cangelosi Angelo Cangelosi angelo cangelosi--Artificial intelligence angelo cangelosi--Robot programming angelo cangelosi--Machine learning angelo cangelosi--Natural language processing Cognitive robotics Cognitive robotics angelo cangelosi--Cognitive robotics Cognitive modelling Cognitive modelling angelo cangelosi--Cognitive modelling Human-Robot Interaction Human-Robot Interaction angelo cangelosi--Human-Robot Interaction Deep learning Deep learning angelo cangelosi--Deep learning Language grounding Language grounding angelo cangelosi--Language grounding Developmental robotics Developmental robotics angelo cangelosi--Developmental robotics Social robots Social robots angelo cangelosi--Social robots Technologies for social and health care (robot companions) Technologies for social and health care (robot companions) angelo cangelosi--Technologies for social and health care (robot companions) Trust and technology Trust and technology angelo cangelosi--Trust and technology Robot tutors Robot tutors angelo cangelosi--Robot tutors Deep neural networks (Tensorflow, Caffe2) Deep neural networks (Tensorflow, Caffe2) angelo cangelosi--Deep neural networks (Tensorflow, Caffe2) Machine learning algorithms Machine learning algorithms angelo cangelosi--Machine learning algorithms iCub, Pepper, Sawyer robots iCub, Pepper, Sawyer robots angelo cangelosi--iCub, Pepper, Sawyer robots konstantin korovin Konstantin Korovin konstantin korovin--Artificial intelligence konstantin korovin--Machine learning konstantin korovin--Automated reasoning konstantin korovin--Logic konstantin korovin--Mathematics Symbolic AI Symbolic AI konstantin korovin--Symbolic AI Optimisation Optimisation konstantin korovin--Optimisation Verification Verification konstantin korovin--Verification Theorem proving Theorem proving konstantin korovin--Theorem proving Formal methods Formal methods konstantin korovin--Formal methods Symbolic computation Symbolic computation konstantin korovin--Symbolic computation DNA computing DNA computing konstantin korovin--DNA computing SAT/SMT/theorem provers SAT/SMT/theorem provers konstantin korovin--SAT/SMT/theorem provers iProver iProver konstantin korovin--iProver OCaml OCaml konstantin korovin--OCaml ke chen Ke Chen ke chen--Artificial intelligence ke chen--Machine learning ke chen--Computer vision Reinforcement Learning & Applications Reinforcement Learning & Applications ke chen--Reinforcement Learning & Applications Deep neural networks Deep neural networks ke chen--Deep neural networks Speech information processing Speech information processing ke chen--Speech information processing Video game development Video game development ke chen--Video game development