Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
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…
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…