Aleksandar Acimovic

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Explanation Based Generalization

Prime Implicates

Top Venues

Publications

Dinko Osmankovic, Aleksandar Acimovic
K Modal Logic Approach to Maze Solving. SACI (2018)