The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

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 ...

Knowledge graphs and ontologies form the backbone of the Semantic Web by enabling the structured representation and interconnection of data across diverse domains. These frameworks allow for the ...

With the emergence of huge amounts of heterogeneous multi-modal data, including images, videos, texts/languages, audios, and multi-sensor data, deep learning-based methods have shown promising ...