TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling
Fuente:
arXiv
Salvato in:
| Autori principali: | Vasileiou, Stylianos Loukas, Yeoh, William |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Human-Aware Belief Revision: A Cognitively Inspired Framework for Explanation-Guided Revision of Human Models
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2024)
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2024)
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
di: Tang, Yinxu, et al.
Pubblicazione: (2025)
di: Tang, Yinxu, et al.
Pubblicazione: (2025)
Approximating Human Models During Argumentation-based Dialogues
di: Tang, Yinxu, et al.
Pubblicazione: (2024)
di: Tang, Yinxu, et al.
Pubblicazione: (2024)
Explainable Distributed Constraint Optimization Problems
di: Rachmut, Ben, et al.
Pubblicazione: (2025)
di: Rachmut, Ben, et al.
Pubblicazione: (2025)
Argumentative Human-AI Decision-Making: Toward AI Agents That Reason With Us, Not For Us
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2026)
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2026)
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2024)
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2024)
How Do People Revise Inconsistent Beliefs? Examining Belief Revision in Humans with User Studies
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2025)
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2025)
A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
di: Rago, Antonio, et al.
Pubblicazione: (2024)
di: Rago, Antonio, et al.
Pubblicazione: (2024)
Predicting Customer Goals in Financial Institution Services: A Data-Driven LSTM Approach
di: Estornell, Andrew, et al.
Pubblicazione: (2024)
di: Estornell, Andrew, et al.
Pubblicazione: (2024)
Dialectical Reconciliation via Structured Argumentative Dialogues
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2023)
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2023)
Human-Modeling in Sequential Decision-Making: An Analysis through the Lens of Human-Aware AI
di: Tulli, Silvia, et al.
Pubblicazione: (2024)
di: Tulli, Silvia, et al.
Pubblicazione: (2024)
Inferring Implicit Goals Across Differing Task Models
di: Tulli, Silvia, et al.
Pubblicazione: (2025)
di: Tulli, Silvia, et al.
Pubblicazione: (2025)
UniRel: Relation-Centric Knowledge Graph Question Answering with RL-Tuned LLM Reasoning
di: Tang, Yinxu, et al.
Pubblicazione: (2025)
di: Tang, Yinxu, et al.
Pubblicazione: (2025)
A General Incentives-Based Framework for Fairness in Multi-agent Resource Allocation
di: Kumar, Ashwin, et al.
Pubblicazione: (2025)
di: Kumar, Ashwin, et al.
Pubblicazione: (2025)
End-to-End Optimization and Learning of Fair Court Schedules
di: Dinh, My H, et al.
Pubblicazione: (2024)
di: Dinh, My H, et al.
Pubblicazione: (2024)
TRACE: A Multi-Agent System for Autonomous Physical Reasoning for Seismology
di: Liu, Feng, et al.
Pubblicazione: (2026)
di: Liu, Feng, et al.
Pubblicazione: (2026)
TRACE: Capability-Targeted Agentic Training
di: Kang, Hangoo, et al.
Pubblicazione: (2026)
di: Kang, Hangoo, et al.
Pubblicazione: (2026)
TRACE: Learning to Compute on Circuit Graphs
di: Zheng, Ziyang, et al.
Pubblicazione: (2025)
di: Zheng, Ziyang, et al.
Pubblicazione: (2025)
Hybrid LLM-based Intelligent Framework for Robot Task Scheduling
di: Saha, Swayamjit, et al.
Pubblicazione: (2026)
di: Saha, Swayamjit, et al.
Pubblicazione: (2026)
Past-Discounting is Key for Learning Markovian Fairness with Long Horizons
di: Kumar, Ashwin, et al.
Pubblicazione: (2025)
di: Kumar, Ashwin, et al.
Pubblicazione: (2025)
Logic-Based Explainability: Past, Present & Future
di: Marques-Silva, Joao
Pubblicazione: (2024)
di: Marques-Silva, Joao
Pubblicazione: (2024)
Explainable Planning for Hybrid Systems
di: Sarwar, Mir Md Sajid
Pubblicazione: (2026)
di: Sarwar, Mir Md Sajid
Pubblicazione: (2026)
Fuzzy Logic -- Based Scheduling System for Part-Time Workforce
di: Nguyen, Tri, et al.
Pubblicazione: (2025)
di: Nguyen, Tri, et al.
Pubblicazione: (2025)
TRACE: Textual Reasoning for Affordance Coordinate Extraction
di: Park, Sangyun, et al.
Pubblicazione: (2025)
di: Park, Sangyun, et al.
Pubblicazione: (2025)
Economic Competition, EU Regulation, and Executive Orders: A Framework for Discussing AI Policy Implications in CS Courses
di: Weichert, James, et al.
Pubblicazione: (2025)
di: Weichert, James, et al.
Pubblicazione: (2025)
CodeGuard: Improving LLM Guardrails in CS Education
di: Raihan, Nishat, et al.
Pubblicazione: (2026)
di: Raihan, Nishat, et al.
Pubblicazione: (2026)
Demystifying Reinforcement Learning in Production Scheduling via Explainable AI
di: Fischer, Daniel, et al.
Pubblicazione: (2024)
di: Fischer, Daniel, et al.
Pubblicazione: (2024)
Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization
di: Rachmut, Ben, et al.
Pubblicazione: (2025)
di: Rachmut, Ben, et al.
Pubblicazione: (2025)
TRACE: A Framework for Analyzing and Enhancing Stepwise Reasoning in Vision-Language Models
di: Imani, Shima, et al.
Pubblicazione: (2025)
di: Imani, Shima, et al.
Pubblicazione: (2025)
TRACE-Bot: Detecting Emerging LLM-Driven Social Bots via Implicit Semantic Representations and AIGC-Enhanced Behavioral Patterns
di: Wang, Zhongbo, et al.
Pubblicazione: (2026)
di: Wang, Zhongbo, et al.
Pubblicazione: (2026)
TRACE: Trajectory Risk-Aware Compression for Long-Horizon Agent Safety
di: Hong, Zhepei, et al.
Pubblicazione: (2026)
di: Hong, Zhepei, et al.
Pubblicazione: (2026)
Protecting Language Models Against Unauthorized Distillation through Trace Rewriting
di: Ma, Xinhang, et al.
Pubblicazione: (2026)
di: Ma, Xinhang, et al.
Pubblicazione: (2026)
TRACE: Transparent Web Reliability Assessment with Contextual Explanations
di: Chandra, Joydeep, et al.
Pubblicazione: (2025)
di: Chandra, Joydeep, et al.
Pubblicazione: (2025)
DeepTRACE: Auditing Deep Research AI Systems for Tracking Reliability Across Citations and Evidence
di: Venkit, Pranav Narayanan, et al.
Pubblicazione: (2025)
di: Venkit, Pranav Narayanan, et al.
Pubblicazione: (2025)
Semantic Scheduling for LLM Inference
di: Hua, Wenyue, et al.
Pubblicazione: (2025)
di: Hua, Wenyue, et al.
Pubblicazione: (2025)
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
di: An, Ziyan, et al.
Pubblicazione: (2024)
di: An, Ziyan, et al.
Pubblicazione: (2024)
Transforming GenAI Policy to Prompting Instruction: An RCT of Scalable Prompting Interventions in a CS1 Course
di: Xiao, Ruiwei, et al.
Pubblicazione: (2026)
di: Xiao, Ruiwei, et al.
Pubblicazione: (2026)
TRACE: Transformer-based user Representations from Attributed Clickstream Event sequences
di: Black, William, et al.
Pubblicazione: (2024)
di: Black, William, et al.
Pubblicazione: (2024)
Explainable Malware Detection with Tailored Logic Explained Networks
di: Anthony, Peter, et al.
Pubblicazione: (2024)
di: Anthony, Peter, et al.
Pubblicazione: (2024)
TRACE: Tourism Recommendation with Accountable Citation Evidence
di: Zhao, Zixu, et al.
Pubblicazione: (2026)
di: Zhao, Zixu, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Human-Aware Belief Revision: A Cognitively Inspired Framework for Explanation-Guided Revision of Human Models
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2024) -
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
di: Tang, Yinxu, et al.
Pubblicazione: (2025) -
Approximating Human Models During Argumentation-based Dialogues
di: Tang, Yinxu, et al.
Pubblicazione: (2024) -
Explainable Distributed Constraint Optimization Problems
di: Rachmut, Ben, et al.
Pubblicazione: (2025) -
Argumentative Human-AI Decision-Making: Toward AI Agents That Reason With Us, Not For Us
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2026)