publications
2025
- JAIROn Generating Monolithic and Model Reconciling Explanations in Probabilistic ScenariosJournal of Artificial Intelligence Research (JAIR), 2025
- KRA Hybrid Logic–LLM System for Explainable Course SchedulingIn International Conference on Principles of Knowledge Representation and Reasoning (KR), 2025
- KRA Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement GraphsIn International Conference on Principles of Knowledge Representation and Reasoning (KR), 2025
- AIAInferring Implicit Goals Across Differing Task ModelsIn IJCAI Workshop on User-Aligned Assessment of Adaptive AI Systems, 2025
- AAAIDoes Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue TracesIn Association for the Advancement of Artificial Intelligence (AAAI), 2025
- AAAITRACE-cs: A Synergistic Approach to Explainable Course Scheduling Using LLMs and LogicIn Association for the Advancement of Artificial Intelligence (AAAI) (Demo Track), 2025
2024
- KRDialectical Reconciliation via Structured Argumentative DialoguesIn International Conference on Principles of Knowledge Representation and Reasoning (KR), 2024
- HAXPHuman-Modeling in Sequential Decision-Making: An Analysis through the Lens of Human-Aware AIIn ICAPS Workshop on Human-aware and Explainable Planning, 2024
- HAXPApproximating Human Mental Models During Argumentation-based DialoguesIn ICAPS Workshop on Human-aware and Explainable Planning, 2024
2023
- ECAIPLEASE: Generating Personalized Explanations in Human-Aware PlanningIn European Conference on Artificial Intelligence (ECAI), 2023
- ECAIA Logic-based Framework for Explainable Agent Scheduling ProblemsIn European Conference on Artificial Intelligence (ECAI), 2023
- XAIDR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI InteractionsIn IJCAI Workshop on Explainable AI, 2023
- FinPlanPredicting Customer Goals in Financial Institution Services: A Data-Driven LSTM ApproachIn ICAPS Workshop on Financial Planning, 2023
2022
- XAIOn Generating Personalized Explanations via Knowledge ForgettingIn IJCAI Workshop on Explainable AI, 2022
- JAIRA Logic-based Explanation Generation Framework for Classical and Hybrid Planning ProblemsJournal of Artificial Intelligence Research (JAIR), 2022
- ICAPSVizXP: A Visualization Framework for Conveying Explanations to Users in Model Reconciliation ProblemsIn International Conference on Automated Planning and Scheduling (ICAPS), 2022
2021
- XLoKRExplanations as Model Reconciliation via Probabilistic Logical ReasoningIn KR Workshop on Explainable Logic, 2021
- JELIAModel Reconciliation in Logic ProgramsIn European Conference on Logics in Artificial Intelligence (JELIA), 2021
- AAAIOn Exploiting Hitting Sets For Model ReconciliationIn Association for the Advancement of Artificial Intelligence (AAAI), 2021
2020
- XAIPOn the Relationship Between KR Approaches for Explainable PlanningIn ICAPS Workshop on Explainable AI Planning, 2020
- KRConditional Updates of Logic Programs and its Applications (Poster Presentation)In International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020
- KRExplainable Planning Using Answer Set ProgrammingIn International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020
- AAMASConditional Updates of Answer Set Programming and Its Application in Explainable Planning (Extended Abstract)In International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2020
2019
- XAIPA Preliminary Logic-based Approach for Explanation GenerationIn ICAPS Workshop on Explainable AI Planning, 2019