Alexander Felfernig

4 papers · 2013–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🏆 Keyword Champion (2) 🚀 Conference Pioneer

Venues

AAAI (3) IJCAI (1)

Top co-authors

Viet-Man Le (3) Thi Ngoc Trang Tran (2) Lukas André Feldgrill (1) Cristian Vidal Silva (1) Mathias Uta (1) José Galindo (1) Stefan Reiterer (1) Monika Schubert (1) David Benavides (1)

Research topics

Knowledge & Reasoning (2) Reasoning (2) Artificial Intelligence (1) Computer Science (1) Machine Learning (1) Mathematics & Optimization (1) Core AI (1) Foundations (1) Optimization (1) Optimization & Theory (1)

Keywords

conflict detection (2) model-based diagnosis (1) constraint satisfaction (1) algorithmic efficiency (1) parallel algorithm (1) genetic algorithm (1) runtime performance (1) knowledge-based system (1) diversity control (1) lazy evaluation (1) constraint-based diagnosis (1) speculative programming (1) knowledge base debugging (1) conflict identification (1) configuration knowledge base (1) knowledge reuse (1) configuration system (1)

Papers

Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control AAAI 2026 INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024 FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI 2023 Personalized Diagnosis for Over-Constrained Problems IJCAI 2013