Knowledge Representation and Reasoning Group
We are a research group working in the area of Knowledge Representation and Reasoning (KR&R). KR&R is the study of representing knowledge in such a way that a computer can reason about it (infer appropriate knowledge from it) to behave intelligently.
Our research in KR&R has mainly been along two lines: on the mathematical foundations of knowledge representation and automated reasoning, and their applications to various domains, including robotics, bioinformatics, logistics, and economics.
Latest Announcements (2025--present)
AAAI 2026:
Aysu Boğatarkan and Müge Fidan present their PhD studies at AAAI 2026 DC. Program
AI Magazine: "A Community-driven vision for a new Knowledge Resource for AI" appears in AI Magazine. Article
KR 2025:
Esra Erdem presents her studies with Yusuf İzmirlioğlu on "Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming". JAIR Article
Esra Erdem presents her studies with Faseeh Ahmad and Volkan Patoğlu on "Hybrid planning for challenging construction problems: An Answer Set Programming approach". AIJ Article
ECAI 2025:
Aysu Boğatarkan presents her PhD studies at ECAI 2025 DC. Program
Aysu Boğatarkan presents her studies on "A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels" at EurMAPF-25. Program
Müge Fidan presents her studies on "Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems" at M-PREF 2025. Program
Natasha Alechina and Esra Erdem chair the journal track. Journal Track
RuleML+RR 2025:
Tutorial: Aysu Boğatarkan, Müge Fidan, and Esra Erdem give a tutorial on "Human-Centered ASP Applications: Representation and Reasoning" at the Reasoning Web Summer School. Slides Paper
Keynote Talk: Esra Erdem delivers a keynote talk. Program
ICLP 2025:
Keynote Talk: Esra Erdem delivers a keynote talk. Program
Aysu Boğatarkan presents her studies on "A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels". TPLP Article
Baturay Yılmaz presents his studies on "Generating satisfiable benchmark instances for stable roommates problems with optimization". TPLP Article
Müge Fidan presents her studies on "Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems". TPLP Article
Aysu Boğatarkan and Müge Fidan present their PhD studies at ICLP DC 2025. Program
PADL 2025:
Esra Erdem and Germán Vidal chair PADL 2025. Program
Proceedings are published. Proceedings