First Page | Document Content | |
---|---|---|
Date: 2016-06-09 08:09:32Robotics Artificial intelligence Humanrobot interaction Robot Emerging technologies Multi-agent system Cognitive robotics Leonardo Humanoid robot | Human-Robot Communication in Automated Planning Aleck MacNally University of Melbourne Parkville VIC 3010Add to Reading ListSource URL: icaps16.icaps-conference.orgDownload Document from Source WebsiteFile Size: 148,78 KBShare Document on Facebook |
A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft ResearchDocID: 1xVCc - View Document | |
Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, RedmondDocID: 1xV4c - View Document | |
Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York UniversityDocID: 1xV3a - View Document | |
Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft ResearchDocID: 1xTeO - View Document | |
DOC DocumentDocID: 1xdTP - View Document |