LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Borzoo Bonakdarpour
Affiliation: Michigan State University
Web page: http://www.cse.msu.edu/~borzoo
Pages in this Program
Accepted Papers
Program
Program for Wednesday, January 13th
Slides