Knowledge representation and reasoning form the intellectual backbone of artificial intelligence, facilitating the structured encoding of information and enabling systems to infer, learn and decide in ...

The assistant professor in the computer science and software engineering department researches artificial intelligence. Her specialty is called knowledge representation and reasoning. She takes ...

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...

To reason about the world, we need to be able to represent our knowledge of it. This class explores the different ways in which we can represent information, the functionality that each approach ...