3 papers
cs.PL2026
Volition Elicitation: Operational Semantics for People and Their Machines
Ehud Shapiro
The most prevalent distributed systems today include people and their personal machines (smartphones). In such systems, computations are driven by people's volitions: a payment whe…
cs.PL2026
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…
cs.PL2026
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…