Logic and Reasoning

From the ancient greek philosophers until now, understanding mental processes behind human decisions have always been a matter of debate and study.

Since its birth, Artificial Intelligence research tried to come up with tools and techniques to transfer such concepts into machines.

Within this context, we especially focus in:

First Order Logic

Rule-Based Modeling

Probabilistic Logic & Uncertainty

Logic Programming