no code implementations • 22 Aug 2019 • Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
The battery is a key component of autonomous robots.
no code implementations • 18 Apr 2018 • Andre Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
an ontology O is considered to be in PTime if all (unions of conjunctive) queries can be evaluated in PTime w. r. t.