research
∙
07/10/2022
Scaling up ML-based Black-box Planning with Partial STRIPS Models
A popular approach for sequential decision-making is to perform simulato...
share
research
∙
05/24/2017
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
The knowledge representation community has built general-purpose ontolog...
research
∙
09/14/2016
Finite LTL Synthesis is EXPTIME-complete
LTL synthesis -- the construction of a function to satisfy a logical spe...
research
∙
01/23/2014
