Eugenia Ternovska

3 papers · 2015–2021 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)

Conferences

AAAI (2) IJCAI (1)

Top co-authors

Andrei Bulatov (1) Alireza Ensan (1) Yves Lespérance (1) Giuseppe De Giacomo (1)

Keywords

knowledge representation (1) program verification (1) knowledge base (1) complexity analysis (1) relational algebra (1) situation calculus (1) execution history (1) modular system (1) dynamic logic (1) high-level programming language (1) linear dynamic logic (1)

Papers

Algebra of Modular Systems: Containment and Equivalence AAAI 2021

ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020

Modular Systems with Preferences IJCAI 2015