• Home
  • Search
  • TRACE-CS: A Hybrid Logic–LLM System for Explainable Course Scheduling
  • https://doi.org/10.24963/kr.2025/63Copy DOI Icon

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

  • Nov 1, 2025
  • Stylianos Loukas Vasileiou +1 more
Show More
  • Abstract
  • Literature Map
  • Similar Papers
Abstract

We present TRACE-cs, a novel hybrid system that combines logical reasoning with large language models (LLMs) to address contrastive queries in course scheduling problems. TRACE-cs leverages logic-based techniques to encode scheduling constraints and generate provably correct explanations, while utilizing an LLM to process natural language queries and refine logical explanations into user-friendly responses. This system showcases how combining symbolic KR methods with LLMs creates explainable AI agents that balance logical correctness with natural language accessibility, addressing a fundamental challenge in deployed scheduling systems.

Similar Papers
  • Research Article

Evaluating gpt-4 for zero-shot classification of bleeding and clotting events: Can large language models serve as second reviewers?

  • Nov 03, 2025
  • Blood
  • Samantha Rizzo +5
  • Research Article
  • Citations51

Large language models for biomedicine: foundations, opportunities, challenges, and best practices.

  • Apr 24, 2024
  • Journal of the American Medical Informatics Association : JAMIA
  • Satya S Sahoo +8
  • Research Article

#2924 Comparison of large language models and traditional natural language processing techniques in predicting arteriovenous fistula failure

  • May 23, 2024
  • Nephrology Dialysis Transplantation
  • Suman Lama +6
  • Front Matter
  • Citations1

Editorial: Large language models in work and business.

  • Nov 29, 2024
  • Frontiers in artificial intelligence
  • Şadi Evren Şeker
  • Research Article
  • Citations1

Logical and Physical Optimizations for SQL Query Execution over Large Language Models

  • Jun 17, 2025
  • Proceedings of the ACM on Management of Data
  • Dario Satriani +5
  • Research Article
  • Citations67

The life cycle of large language models in education: A framework for understanding sources of bias

  • Jul 12, 2024
  • British Journal of Educational Technology
  • Jinsook Lee +4
  • Research Article

Can LLMs effectively provide game-theoretic-based scenarios for cybersecurity?

  • Dec 11, 2025
  • Frontiers in Computer Science
  • Daniele Proverbio +5
  • Research Article
  • Citations5

Leveraging large language models for automated depression screening

  • Jul 28, 2025
  • PLOS Digital Health
  • Bazen Gashaw Teferra +14
  • Research Article
  • Citations20

DialogueLLM: Context and emotion knowledge-tuned large language models for emotion recognition in conversations.

  • Dec 01, 2025
  • Neural networks : the official journal of the International Neural Network Society
  • Yazhou Zhang +6
  • Research Article
  • Citations19

A novel prompting method for few-shot NER via LLMs

  • Aug 24, 2024
  • Natural Language Processing Journal
  • Qi Cheng +5
  • Research Article

Evaluating large language models for clinical note processing: local fine-tuning and internal-external validation using electronic health records from South Asia.

  • Feb 25, 2026
  • BMC medical informatics and decision making
  • Seyed Alireza Hasheminasab +18
  • PDF
  • Research Article
  • Citations13

Advancements and Applications of Large Language Models in Natural Language Processing: A Comprehensive Review

  • Nov 26, 2024
  • Applied and Computational Engineering
  • Mengchao Ren
  • Conference Article
  • Citations5

Bayesian Optimization with LLM-Based Acquisition Functions for Natural Language Preference Elicitation

  • Oct 08, 2024
  • David Austin +3
  • Research Article
  • Citations642

A Review on Large Language Models: Architectures, Applications, Taxonomies, Open Issues and Challenges

  • Jan 01, 2024
  • IEEE Access
  • Mohaimenul Azam Khan Raiaan +8
  • Research Article
  • Citations1

Transforming scholarly landscapes: The influence of large language models on academic fields beyond computer science.

  • Jan 14, 2026
  • PloS one
  • Aniket Pramanick +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.