Thi Ngoc Trang Tran — accepted AI-conference papers

2024

INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems

Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Mathias Uta

AAAI 2024technical

Conflict detection is relevant in various application scenarios, ranging from interactive decision-making to the diagnosis of faulty knowledge bases. Conflicts can be regarded as sets of constraints that cause an inconsistency. In many scenarios (e.g., constraint-based configuration), conflicts are…

Cited by 3 Source ↗PDF ↗code ↗Scholar ↗

2023

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis

Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José Galindo, Thi Ngoc Trang Tran

AAAI 2023technical

Constraint-based applications attempt to identify a solution that meets all defined user requirements. If the requirements are inconsistent with the underlying constraint set, algorithms that compute diagnoses for inconsistent constraints should be implemented to help users resolve the “no solution…

Cited by 15 Source ↗PDF ↗code ↗Scholar ↗