Andy King | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Laura Bocchi
4 publications
Jacob M. Howe
2 publications
Ed Robbins
1 publication
Jonah Pears
1 publication

research

∙ 07/24/2023

Safe asynchronous mixed-choice for timed interactions

Mixed-choice has long been barred from models of asynchronous communicat...

0 Jonah Pears, et al. ∙

research

∙ 08/11/2020

Backjumping is Exception Handling

ISO Prolog provides catch and throw to realise the control flow of excep...

0 Ed Robbins, et al. ∙