³Ô¹ÏºÚÁÏ
Skip to main content
View accessibility support page
Search
Search
³Ô¹ÏºÚÁÏ
Study
Research
Faculties
News
Events
About
Get involved
Giving
Search
Search
Website navigation
Close
Key links
This section
Skip to section navigation
Global site navigation
Study
Course search
Apply
Fees and funding
Student life
Visit
Help centre
Request info
International students
Lifelong Learning
Summer schools
Research
Faculties
Faculty of Engineering
Faculty of Medicine
Faculty of Natural Sciences
³Ô¹ÏºÚÁÏ Business School
Administrative and support services
News
News
³Ô¹ÏºÚÁÏ Stories
³Ô¹ÏºÚÁÏ Magazine
Events
What's on
Great Exhibition Road Festival
³Ô¹ÏºÚÁÏ Lates
Graduation
About
President
Provost and Deputy President
Council
³Ô¹ÏºÚÁÏ Strategy
³Ô¹ÏºÚÁÏ Global
Sustainable ³Ô¹ÏºÚÁÏ
School of Convergence Science
Governance
Campuses
Jobs at ³Ô¹ÏºÚÁÏ
Get involved
Giving
Schools outreach
³Ô¹ÏºÚÁÏ Global Summer School
Societal engagement
Volunteering and outreach
Women at ³Ô¹ÏºÚÁÏ
Giving
User links navigation
For staff
Current students
³Ô¹ÏºÚÁÏ for business
For schools
Alumni
Research groups
Computational Logic and Argumentation Group
navigation
Research
Publications
Computational Logic and Argumentation Group
Endowing machines with the capability to argue
