Logic and Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines. The work has led to several best paper and runner-up awards at leading international conferences (including AAMAS, ETAPS, EATCS and ICILP) and attracted three Marie Curie fellows.
The Section’s Novel research in model checking methodologies for the verification of autonomous agents has found applications in autonomous vehicles, service-oriented computing and security. Results in inductive logic programming have been applied to problems in bioinformatics. Output on machine learning research applied to bioinformatics has led to pioneering work on biological network analysis, modelling and alignment . The Section also has expertise in statistical machine learning approaches.