Skip to main content

UNO Researchers Earn Best Paper Award at International Logic Programming Conference

UNO researchers' collaboration with global scientists has practical applications in technologies used across industries.

  • published: 2025/10/28
  • contact: Yahya Shema - College of Information Science & Technology
  • email: yshema@unomaha.edu
UNO Ph.D. student Zachary Hansen (left) and Tobias Stolzmann, a Ph.D. student from Potsdam University, Germany, display their Best Paper Award at the 41st International Conference on Logic Programming (ICLP 2025) held at the University of Calabria in Italy. Photo courtesy of Zachary Hansen.

UNO Ph.D. student Zachary Hansen (left) and Tobias Stolzmann, a Ph.D. student from Potsdam University, Germany, display their Best Paper Award at the 41st International Conference on Logic Programming (ICLP 2025) held at the University of Calabria in Italy. Photo courtesy of Zachary Hansen.

➡️ What happened: Dr. Yuliya Lierler and Dr. Jorge Fandinno, faculty members in the College of Information Science & Technology (IS&T), along with Ph.D. student Zachary Hansen from the Knowledge Representation and Natural Language Understanding Lab, received the Best Paper Award at the 41st International Conference on Logic Programming (ICLP 2025).

The award-winning paper, titled "ANTHEM: Answer Set Programming and Automated Theorem Proving," represents a collaborative effort between UNO, the Texas Action Group at the University of Texas at Austin, and researchers at Potsdam University who designed CLINGO—an answer set solver now widely used in industry and academia.

🔎 Zoom in: The research project, "Automated Reasoning for Answer Set Programming," focuses on developing a proof assistant for verifying programs in a subset of CLINGO's input language. The innovative tool works by reducing verification tasks into a series of first-order reasoning problems and invoking a resolution theorem prover.

This breakthrough has significant implications for both academic research and practical applications in automated reasoning, contributing to the advancement of logic programming technologies used across industries worldwide.

📌 Why it matters: The recognition at ICLP 2025, one of the premier international conferences in the field of logic programming, highlights UNO's growing reputation as a center of excellence in artificial intelligence and computational logic research.

The collaboration between UNO researchers and international partners demonstrates the university's commitment to advancing cutting-edge research that addresses real-world computational challenges and contributes to the global scientific community.