Arrow Research search

Author name cluster

Evgenii Balai

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers
1 author row

Possible papers

3

AAAI Conference 2016 Conference Paper

An Online Logic Programming Development Environment

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

Recent progress in logic programming, particularly answer set programming, has enabled us to teach it to undergraduate and high school students. We developed an online answer set programming environment with simple interface and self contained file system. It is expected to make the teaching of answer set programming more effective and help us to reach more students.

PDF Details

IJCAI Conference 2016 Conference Paper

Combining Logic and Probability: P-log Perspective

  • Evgenii Balai

My research focuses on investigation and improvement of knowledge representation (KR) language P-log which was designed to reason about both logical and probabilistic knowledge. In particular, I aim to extend P-log with new constructs, clarify its semantics, develop a new efficient inference engine for it and establish its relationship with other related formalisms. Successful completion of this work will greatly increase the scope of practical applications of the language.

PDF Details

IJCAI Conference 2016 Conference Paper

On the Relationship between P-log and LP MLN

  • Evgenii Balai
  • Michael Gelfond

The paper investigates the relationship between knowledge representation languages P-log and LPMLN designed for representing and reasoning with logic and probability. We give a translation from an important subset of LPMLN to P-log which preserves probabilistic functions defined by LPMLN programs and complements recent research by the authors of LPMLN where they give a similar translation from a subset of P-log to their language. This work sheds light on the different ways to treat inconsistency in both languages.

PDF Details
v2026.09.13