Artem Davydov
Papers
3
Total Citations
6
H-Index
2
About
Artem Davydov is a researcher advancing the frontiers of multi-robot control systems, with a focus on autonomous decision-making in unstructured and challenging environments. His core research lies at the intersection of artificial intelligence, logic programming, and robotics, where he has pioneered the application of the first-order logic calculus of positively constructed formulas (PCF) for action planning and high-level control. Davydov’s major contributions include developing a logic-level framework that enables groups of robots—from underwater vehicles to Lego MindStorm platforms—to generate and execute complex plans automatically or interactively. His 2018 and 2020 papers on PCF-based planning established a novel non-Horn logical programming approach for coordinating robot teams, while his 2021 work on hierarchical event-based control addresses the critical need for robust, autonomous multi-robot systems operating in unstructured settings. Though his most-cited works each have 2 citations, their conceptual depth and foundational nature in logic-driven robotics signal a growing influence. Davydov’s research offers a rigorous, formal method for imbuing robot collectives with higher-level reasoning, promising more reliable and adaptive autonomous systems for real-world deployment.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3