91 citations · 177 across the 11 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.AI2018★ 41 cited
Overview: A Hierarchical Framework for Plan Generation and Execution in Multi-Robot Systems
Hang Ma, Wolfgang Hönig, Liron Cohen +5
The authors present an overview of a hierarchical framework for coordinating task- and motion-level operations in multirobot systems. Their framework is based on the idea of using…
cs.LO2018
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
Liron Cohen, Reuben N. S. Rowe
Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive…
cs.LO2018★ 3 cited
Applicable Mathematics in a Minimal Computational Theory of Sets
Arnon Avron, Liron Cohen
In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predic…