TRACE-CS: A Hybrid Logic–LLM System for Explainable Course Scheduling

Stylianos Loukas Vasileiou; William Yeoh

doi:10.24963/kr.2025/63

KR2025

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

TRACE-CS: A Hybrid Logic–LLM System for Explainable Course Scheduling

Stylianos Loukas Vasileiou(New Mexico State University, Washington University in St. Louis)
William Yeoh(Washington University in St. Louis)

Bibtex record

@inproceedings{KR2025-63,
    title     = {{TRACE-CS: A Hybrid Logic–LLM System for Explainable Course Scheduling}},
    author    = {Vasileiou, Stylianos Loukas and Yeoh, William},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {653--658},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/63},
    url       = {https://doi.org/10.24963/kr.2025/63},
  }

Go back