David M. Danks

1. Causal Discovery from Subsampled Time Series Data by Constraint Optimization
   2016/02/25 by Antti Hyttinen, Hyttinen, Antti, Sergey Plis +9 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #cs.AI
2. Dynamic Certification for Autonomous Systems
   2022/03/21 by Georgios Bakirtzis, Steven A. Carr, Bakirtzis, Georgios +5 · 2 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Do Vision-Language Models Have Internal World Models? Towards an Atomic Evaluation
   2025/06/27 by Qiyue Gao, Gao, Qiyue, Xinyu Pi +42 · 6 citations
   Computer Science · Neuroscience · Psychology · #Action Observation and Synchronization #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Embodied and Extended Cognition #FOS: Computer and information sciences #Multimodal Machine Learning Applications