Muhammed Kerem Kahraman

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Stable Model Semantics

Meta Level Reasoning

Haplotype Inference

Answer Set Programming

Top Venues

Publications

Muhammed Kerem Kahraman, Esra Erdem
Personalized Course Schedule Planning Using Answer Set Programming. PADL (2019)
Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün
Using Structure of Automata for Faster Synchronizing Heuristics. MODELSWARD (2018)