Temporal logic programming for assembly sequence planning
暂无分享,去创建一个
[1] Alain Delchambre. A pragmatic approach to computer-aided assembly planning , 1990, Proceedings., IEEE International Conference on Robotics and Automation.
[2] Arthur C. Sanderson,et al. Assembly Sequence Planning , 1990, AI Mag..
[3] Thomas Edward Abell. An interactive software tool for editing and evaluating mechanical assembly sequences based on fixturing and orientation requirements , 1989 .
[4] Arthur C. Sanderson,et al. Task sequence planning for robotic assembly , 1989 .
[5] C. S. George Lee,et al. Precedence knowledge in feature mating operation assembly planning , 1989, Proceedings, 1989 International Conference on Robotics and Automation.
[6] R. Devanathan,et al. Temporal logic formulation of assembly sequence properties , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.
[7] Thomas L. DeFazio,et al. An integrated computer aid for generating and evaluating assembly sequences for mechanical products , 1991, IEEE Trans. Robotics Autom..
[8] Arthur C. Sanderson,et al. Evaluation and selection of assembly plans , 1990, Proceedings., IEEE International Conference on Robotics and Automation.
[9] B. R. Fox. A representation for serial robotic tasks , 1987 .
[10] Edmund M. Clarke,et al. Using Temporal Logic for Automatic Verification of Finite State Systems , 1984, Logics and Models of Concurrent Systems.
[11] R. Devanathan,et al. A Temporal Logic Framework For Assembly Sequence Planning , 1992, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.
[12] Arthur C. Sanderson,et al. Representations of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..
[13] Keith L. Doty,et al. A representation for discrete assembly sequences in task planning , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.
[14] Kiam Tian. Seow. Robotic-task sequence representation and analysis , 1992 .
[15] Arthur C. Sanderson,et al. AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..
[16] Thomas L. DeFazio,et al. Simplified generation of all mechanical assembly sequences , 1987, IEEE Journal on Robotics and Automation.
[17] R. Bharath. Prolog: Sophisticated Applications in Artificial Intelligence , 1989 .