Lifschitz, Vladimir
- Verification of Locally Tight Programs
2022/04/18 by Jorge Fandinno, Vladimir Lifschitz, Fandinno, Jorge +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
- Fages' Theorem and Answer Set Programming
2000/03/09 by Yuliya Babovich, Esra Erdem, Babovich, Yuliya +4 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI