Temple, Nathan
- Verification of Locally Tight Programs
2022/04/18 by Jorge Fandinno, Fandinno, Jorge, Vladimir Lifschitz +2 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation