Evgenii Balai

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Topics

Logic Programming

Development Environment

Answer Set Programming

Top Venues

Ann. Math. Artif. Intell.

J. Log. Comput.

Publications

Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. 23 (4) (2023)
Michael Gelfond, Jorge Fandinno, Evgenii Balai
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR (2023)
Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang
The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30 (4) (2020)
Michael Gelfond, Evgenii Balai
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. ICLP Workshops (2020)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Evgenii Balai, Michael Gelfond
Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR (2017)
Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang
An Online Logic Programming Development Environment. AAAI (2016)
Evgenii Balai, Michael Gelfond
. IJCAI (2016)
Evgenii Balai
Combining Logic and Probability: P-log Perspective. IJCAI (2016)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
SPARC - Sorted ASP with Consistency Restoring Rules CoRR (2013)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Towards Answer Set Programming with Sorts. LPNMR (2013)