Mathematical foundations of various knowledge representation and reasoning formalisms (e.g., classical logic,answer set programming, action languages, situation calculus, description logic, constraint programming), and their applications to computer science and other sciences (e.g., commonsense knowledge representation, belief/theory revision/update, Semantic Web, graph theory, planning, diagnosis, VLSI design, historical linguistics, computational biology, biomedical informatics).