🏆 Qiana wins Best Student Paper Award at KR 2024!

We are thrilled to share that our paper Qiana: A First-Order Formalism to Quantify over Contexts and Formulas has received the Best Student Paper Award at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024).

Qiana is a new logic framework that lets us reason about contexts and formulas as first-class objects, while staying compatible with existing theorem provers. With it, you can model beliefs, compare alternative narratives, or safely handle contradictory information across multiple data sources.

In short: Qiana opens the door to richer, more flexible reasoning about what agents believe, what different sources say, and what might be true in alternative worlds.

👉 For a deep dive into the ideas behind Qiana check out the full blog post here.

Congratulations to Simon Coumes (first author) and the whole team!