4 papers
Haagerup conformal field theory at central charge eight
Tzu-Chen Huang
We construct a chiral algebra of central charge eight inside the lattice vertex operator algebra . It is generated by two commuting affine …
Volition Elicitation: Operational Semantics for People and Their Machines
Idit Keidar, Ehud Shapiro
The most prevalent distributed systems today include people and their personal machines (smartphones), and computations in them are driven by people's volitions. Volition-guarded m…
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
Ehud Shapiro
Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and writers. An assignment is produced at mo…
Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)
Ehud Shapiro
Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and writers. An assignment is produced at mo…