Stylianos Loukas Vasileiou

9 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4 KR ×4 NeurIPS ×1

Frequent coauthors

William Yeoh

×7

Tran Cao Son

×3

Francesca Toni

×2

Yinxu Tang

×2

Minh Nguyen

×1

Huiping Cao

×1

Enrico Pontelli

×1

Silvia Tulli

×1

Mohamed Chetouani

×1

Sarath Sreedharan

×1

Alessandro Previti

×1

Antonio Rago

×1

Papers

Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement
KR 2026 · Stylianos Loukas Vasileiou,
Minh Nguyen
,
Tran Cao Son
,
Huiping Cao
,
Enrico Pontelli
Inferring Implicit Goals Across Differing Task Models
AAAI 2026 ·
Silvia Tulli
, Stylianos Loukas Vasileiou,
Mohamed Chetouani
,
Sarath Sreedharan
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint)
AAAI 2026 · Stylianos Loukas Vasileiou,
William Yeoh
,
Alessandro Previti
,
Tran Cao Son
A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
KR 2025 ·
Antonio Rago
, Stylianos Loukas Vasileiou,
Son Tran
,
Francesca Toni
,
William Yeoh
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
AAAI 2025 ·
Yinxu Tang
, Stylianos Loukas Vasileiou,
William Yeoh
Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming
NeurIPS 2025 ·
Yinxu Tang
, Stylianos Loukas Vasileiou,
Vincent Derkinderen
,
William Yeoh
TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling
KR 2025 · Stylianos Loukas Vasileiou,
William Yeoh
TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic
AAAI 2025 · Stylianos Loukas Vasileiou,
William Yeoh
Dialectical Reconciliation via Structured Argumentative Dialogues
KR 2024 · Stylianos Loukas Vasileiou,
Ashwin Kumar
,
William Yeoh
,
Tran Cao Son
,
Francesca Toni