News from the research group Computational Logic of May 17, 2021

Bartosz Bednarczyk wins the best student paper award at JELIA 2021

The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

Congratulations to Bartosz Bednarczyk of the Computational Logic Group at the ICCL for winning the best student paper award at JELIA 2021! His paper "Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment" and details thereof can be found at the link below.

More info at: https://iccl.inf.tu-dresden.de/web/Inproceedings3269