Results 141 to 150 of about 1,933,548 (305)
Implementing Connection Calculi for First-order Modal Logics
IWIL@LPAR, 2013 Jens Otten
semanticscholar +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]
J Logic Lang Inf, 2022 Moss L, de Queiroz R.
europepmc +1 more source
First-Order Resolution Methods for Modal Logics
Programming Logics, 2013 R. Schmidt, U. Hustadt
semanticscholar +1 more source
Advanced Science, EarlyView.An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang +7 more
wiley +1 more source
On the succinctness of some modal logics
Artificial Intelligence, 2013 Tim French +3 more
semanticscholar +1 more source