Eugenia Ternovska

Propagators and Solvers for the Algebra of Modular Systems

2018 · EPiC series in computing

Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely …

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

2020 · Proceedings of the AAAI Conference on Artificial Intelligence

Most programming languages only support tests that refer exclusively to the current state. This applies even to high-level programming languages based on the situation calculus such as Golog. The result is that additional variables/fluents/data structures …