3 ms·Look up past proceedings in IJCAI or AAAI conferences. And look at logic-based papers.by cscurmudgeon 10y agoLook up past proceedings in IJCAI or AAAI conferences. And look at logic-based papers.