UB will soon offer first-of-their-kind degree programs that combine the rapidly evolving field of artificial intelligence with traditional academic disciplines, including logic, language, ...

To achieve true autonomy, AI systems must integrate both neural networks (for learning and pattern recognition) and symbolic AI (for structured knowledge and reasoning). This fusion, known as ...

What if a model could forget without losing its mind?” That question now has a technical foothold, thanks to new research ...

The term "reasoning" is a familiar metaphor in today's artificial intelligence (AI) technology, often used to describe the verbose outputs generated by so-called reasoning AI models such as OpenAI's ...

What actually exists? How do computers think about reality? Where does the meaning of a word come from, and how do computers learn to understand it? Do computers really “understand” language at all?

The field of theorem proving and higher‐order logic represents a confluence of computer science, mathematics and formal logic. It encompasses the automated and interactive approaches to establishing ...