Eugenia Ternovska

Papers

Total Citations

H-Index

About

Eugenia Ternovska is a leading researcher in artificial intelligence, with a primary focus on knowledge representation, reasoning about action, and high-level program verification. Her work bridges the gap between theoretical foundations and practical tools for autonomous systems. Ternovska is best known for her contributions to the situation calculus and ConGolog, a high-level programming language for robot control that integrates concurrency, prioritized execution, and interrupts. Her most cited paper, "Non-terminating processes in the situation calculus" (2019, 12 citations), advances the understanding of infinite behaviors in dynamic systems, a critical challenge for long-running autonomous agents. She also developed a model checker for verifying ConGolog programs (2002, 5 citations), providing a formal method to ensure correctness in robotic control tasks where the environment changes unpredictably. This work has practical implications for safety-critical applications, such as autonomous navigation and industrial robotics. Ternovska’s research is highly influential in the AI planning and robotics communities, offering both theoretical depth and implementable solutions for complex, real-world scenarios. Her achievements underscore her role in advancing reliable and expressive models for intelligent agents.