Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends ...

In the glitzy world of tech, OpenAI’s ChatGPT is undoubtedly stealing the limelight. This A.I. dynamo boasts impressive feats in language generation. But while it might wow with its wordplay, it can ...

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

At its I/O developer conference, Google today announced the launch of PaLM 2, its newest large language model (LLM). PaLM 2 will power Google’s updated Bard chat tool, the company’s competitor to ...

Linguistics students in the School of Communication at the Jordanstown campus joined forces with other universities throughout the UK this month to take part in the first ever Linguistics Olympiad ...