Human-Like Spatial Reasoning Formalisms

No. 1: Thirty-First AAAI Conference On Artificial Intelligence

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 31

Doctoral Consortium

My work on the PhD thesis concerns human-like reasoning about relations between spatial objects and the way they change in time. In particular, my research is focused on logic-based reasoning systems that model human spatial reasoning methods and may enable better understanding of humans reasoning mechanisms in future. Importantly, such formalisms are also interested from the practical point of view Ð they have a number of potential applications, e.g., in robotics, architecture design, databases, among others.

10.1609/aaai.v31i1.10530