Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu. Annotated Logics and Intelligent Control. In Kazumi Nakamatsu, Roumen Kountchev, editors, New Approaches in Intelligent Control - Techniques, Methodologies and Applications. Volume 107 of Intelligent Systems Reference Library, pages 301-335, Springer, 2016. [doi]
Abstract is missing.