Johan de Kleer
4 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(5)
π
Cross-Pollinator
(11)
πΊοΈ
Taxonomy Completionist
(10)
Conferences
AAAI (3)
JMLR (1)
Top co-authors
Keywords
model-based diagnosis
(2)
satisfiability solving
(1)
gradient descent
(1)
novelty detection
(1)
sensitivity analysis
(1)
parameter learning
(1)
block coordinate descent
(1)
analog computing
(1)
numerical integration
(1)
adaptive agent
(1)
differential equation
(1)
sat solver
(1)
ordinary differential equation
(1)
model-based reasoning
(1)
environment adaptation
(1)
dynamical system model
(1)
initial value problem
(1)
agent architecture
(1)
conjunctive normal form
(1)
planning domain definition language
(1)