Stylianos Loukas Vasileiou

Venues

Frequent coauthors

Papers

1. Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement
   KR 2026 · Stylianos Loukas Vasileiou
2. Inferring Implicit Goals Across Differing Task Models
   AAAI 2026 ·

   Silvia Tulli

   DBLP profile ↗ORCID search ↗
3. On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint)
   AAAI 2026 · Stylianos Loukas Vasileiou
4. A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
   KR 2025 ·

   Antonio Rago

   DBLP profile ↗ORCID search ↗
5. Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
   AAAI 2025 ·

   Yinxu Tang

   DBLP profile ↗ORCID search ↗
6. Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming
   NeurIPS 2025 ·

   Yinxu Tang

   DBLP profile ↗ORCID search ↗
7. TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling
   KR 2025 · Stylianos Loukas Vasileiou
8. TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic
   AAAI 2025 · Stylianos Loukas Vasileiou
9. Dialectical Reconciliation via Structured Argumentative Dialogues
   KR 2024 · Stylianos Loukas Vasileiou