Logic-Based Learning - COMP96005
Aims
In this module you will have the opportunity to:
- acquire foundation knowledge and basic principles of logic-based machine learning
- cover foundational semantics concepts and methods for logic-based machine learning
- familiarise with state-of-the-art learning algorithms and heuristics
- study state-of-the-art machine learning methods for Answer Set Programming (ASP)
- develop skills for formalising logic-based learning tasks for solving real-world problems
- explore probabilistic logic-based inference and learning
Role
Course Leader
Discrete Mathematics, Logic & Reasoning - COMP40018
Aims
In this module you will learn how discrete mathematics and logic can be used to describe and reason about computational structures and systems. The module provides an important foundation for many core topics in Computing, such as computer hardware design, algorithm analysis, and program reasoning. Central to this module are proof techniques, which are important when establishing whether or not a program or system behaves according to its specification. The ability to use mathematics and logic to formalise such specifications is also a key learning outcome.
Role
Course Leader
Logic-Based Learning - COMP60013
Aims
In this module you will have the opportunity to:
- acquire foundation knowledge and basic principles of logic-based machine learning
- cover foundational semantics concepts and methods for logic-based machine learning
- familiarise with state-of-the-art learning algorithms and heuristics
- study state-of-the-art machine learning methods for Answer Set Programming (ASP)
- develop skills for formalising logic-based learning tasks for solving real-world problems
- explore probabilistic logic-based inference and learning
Role
Course Leader