Norwegian

Course description

• Course content
• Learning outcome
• Admission
• Prerequisites

• Teaching
• Examination

Course content

The master seminar in logic treats topics in logic, knowledge representation and automatic reasoning. The themes will vary from semester to semester depending on th