Evgenii Balai

According to our database, Evgenii Balai authored at least 10 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach.

Michael Gelfond, Jorge Fandinno, Evgenii Balai

Theory Pract. Log. Program., July, 2023

2020

The language of epistemic specifications (refined) including a prototype solver.

Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang

J. Log. Comput., 2020

Causal Analysis of Events Occurring in Trajectories of Dynamic Domains.

Michael Gelfond, Evgenii Balai

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

2019

P-log: refinement and a new coherency condition.

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Ann. Math. Artif. Intell., 2019

2017

Refining and Generalizing P-log - Preliminary Report.

Evgenii Balai, Michael Gelfond

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

2016

On the Relationship between P-log and LP^MLN.

Evgenii Balai, Michael Gelfond

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Combining Logic and Probability: P-log Perspective.

Evgenii Balai

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Online Logic Programming Development Environment.

Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2013

SPARC - Sorted ASP with Consistency Restoring Rules

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

CoRR, 2013

Towards Answer Set Programming with Sorts.

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013