Joost Vennekens
4 papers
· 2015–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(9)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(14)
Conferences
IJCAI (2)
AAAI (1)
NIPS (1)
Top co-authors
Keywords
human analysis
(1)
computer vision
(1)
symbolic reasoning
(1)
emotion recognition
(1)
educational technology
(1)
first-order logic
(1)
logic programming
(1)
facial expression
(1)
valence arousal
(1)
image dataset
(1)
autoepistemic logic
(1)
constructive semantics
(1)
safe induction
(1)
block-based learning
(1)
naturalistic scene
(1)
Papers
Safe Inductions: An Algebraic Study
IJCAI 2017
Partial Grounded Fixpoints
IJCAI 2015