Title: Logic and Language Models for Computer Science
Subjects: Artificial intelligence, Description logics, Formal languages