Seif Haridi | DeepAI

DeepAI

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

Featured Co-authors

Peter Van Roy
7 publications
Paris Carbone
3 publications
Lars Kroll
1 publication

research

∙ 02/01/2023

Ideas for the future of Prolog inspired by Oz

Both Prolog and Oz are multiparadigm languages with a logic programming ...

0 Peter Van Roy, et al. ∙

research

∙ 08/31/2020

Lecture Notes on Leader-based Sequence Paxos – An Understandable Sequence Consensus Algorithm

Agreement among a set of processes and in the presence of partial failur...

0 Seif Haridi, et al. ∙