2019 IJCAI IJCAI 2019

Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Extended Abtract

Abstract

We propose to formulate physical reasoning and manipulation planning as an optimization problem that integrates first order logic, which we call Logic-Geometric Programming.

🌉 Interdisciplinary Bridge — Knowledge & Reasoning and Machine Learning
🐣 Hot Topic Early Bird — logical reasoning
🐝 Cross-Pollinator — Artificial Intelligence, Computer Science, Computer Vision, Deep Learning, Healthcare & Medicine, Interdisciplinary, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning, Robotics, Speech & Audio