conftrace_

Eugenia Ternovska

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

Achievements

Jump to papers ↓

🌍 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