[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On deductive planning and the frame problem
- 作者Voronkov, Andrei
- 文件大小904.62KB
- 发表时间1992
- DOI10.1007/bfb0013045
- 页码13-29
Lecture Notes in Control and Information Sciences2222
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCESA.V.BALAKRISHNAN AND M.THOMA · SPRINGER VERLAG · 1979
Lecture Notes in Control and Information Sciences Signal Processing for Control2222
[Lecture Notes in Control and Information Sciences] Decoupling Control Volume 285 ||, · 2006
Lecture Notes in Control and information Sciences 162 Advanced Robot ControlSpronger-Verlag · 1991
[Lecture Notes in Control and Information Sciences] Information and Control in Networks Volume 450 ||Como, Giacomo; Bernhardsson, Bo; Rantzer, Anders · 2014
[Lecture Notes in Control and Information Sciences] Differential Games and Applications Volume 3 || Lecture notesHagedorn, P.; Knobloch, H. W.; Olsder, G. J. · 1977
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 8RUTH F.CURTAIN AND ANTHONY J.PRITCHARD · SPRINGER-VERLAG · 1978
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Impulsive control problemsSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Structural net systems optimizationSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || 1-Determinacy of feasible setsSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Heuristic reasoning in mathematical programmingSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Ficets of the scheduling polytopeSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Optimal control problems under disturbancesSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Optimal guidance of dynamic systemsSebastian, H. -J.; Tammer, K. · 1990
[Lecture Notes in Control and Information Sciences] System Modelling and Optimization Volume 143 || Approximate modeling of dynamic systemsSebastian, H. -J.; Tammer, K. · 1990