Towards Answer Set Programming with Sorts. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (LPNMR, 2013)

SPARC - Sorted ASP with Consistency Restoring Rules - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (CoRR, 2013)

An Online Logic Programming Development Environment. - Christian Reotutar; Mbathio Diagne; Evgenii Balai; Edward Wertz; Peter Lee; Shao-Lon Yeh; Yuanlin Zhang 002 (AAAI, 2016)

Combining Logic and Probability: P-log Perspective. - Evgenii Balai (IJCAI, 2016)

On the Relationship between P-log and LPMLN. - Evgenii Balai; Michael Gelfond (IJCAI, 2016)

Refining and Generalizing P-log - Preliminary Report. - Evgenii Balai; Michael Gelfond (ASPOCP@LPNMR, 2017)

P-log: refinement and a new coherency condition. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (Ann. Math. Artif. Intell., 2019)

Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. - Michael Gelfond; Evgenii Balai (ICLP Workshops, 2020)

The language of epistemic specifications (refined) including a prototype solver. - Patrick Kahl; Richard Watson 003; Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (J. Log. Comput., 2020)

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. - Michael Gelfond; Jorge Fandinno; Evgenii Balai (Theory Pract. Log. Program., 2023)