Year: 2014

Conference

Coverage Planning with Finite Resources

2014 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2950-2956
Strimel GP, Veloso MM

Conference

A parallel virtual machine for executing forward-chaining linear logic programs

2014 • Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic Based Methods in Programming Environments 2014 Ciclops Wlpe 2014 • 125-140
Cruz F, Rocha R, Goldstein SC

Conference

Reasoning about set comprehensions

2014 • CEUR Workshop Proceedings • 1163:27-37
Lam ESL, Cervesato I

Conference

Preface

2014 • Proceedings Motion in Games 2014 Mig 2014 • 6
Shapiro A, Amato NM, Hodgins J, Rodriguez S

Journal Article

Conference on learning theory 2014: Preface

2014 • Journal of machine learning research • 35:1-2
Balcan MF, Szepesvári C