Stylianos Loukas Vasileiou
6 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (5) π Cross-Pollinator (15) πΊοΈ Taxonomy Completionist (13)
π§
Keyword Pioneer
β
The Questioner
Conferences
AAAI (5)
IJCAI (1)
Top co-authors
Keywords
model reconciliation
(3)
automated planning
(2)
explainable ai
(2)
explanation generation
(1)
knowledge base
(1)
automated reasoning
(1)
markov decision process
(1)
constraint satisfaction
(1)
hybrid planning
(1)
sat solving
(1)
dialogue system
(1)
prospect theory
(1)
large language model
(1)
argumentation dialogue
(1)
bayesian belief update
(1)
human model
(1)
personalizable framework
(1)
goal alignment
(1)
minimal correction set
(1)
logic-based reasoning
(1)
Papers
Inferring Implicit Goals Across Differing Task Models
AAAI 2026
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint)
AAAI 2026
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
AAAI 2025
TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic
AAAI 2025
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract)
IJCAI 2023
On Exploiting Hitting Sets for Model Reconciliation
AAAI 2021