The Logic and Learning (LL) group studies the interplay between machine learning and logic-based formalisms for knowledge representation and reasoning. Computational logic and machine learning are the pillars of artificial intelligence. The former stems from syllogisms while the latter may apply inductive reasoning. Logic provides methods for deriving valid specific conclusions based on a general theory asserted to be true. On the other hand, learning methods can be applied to generalize specific observations. These disciplines naturally complement each other.
