Evgenii Balai

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