Logics for AI
-
-
-
-
-
-
-
-
-
-
Research in Artificial Intelligence at DIAG started in the early 80s and established this research group as one of the most prominent ones in the field of logic-based knowledge representation and automated reasoning. Research has been conducted in many areas, with several outstanding results....