Using a CSCL-Driven shift in agency to undertake educational reform. - Mark Guzdial; Matthew J. Realff; Pete Ludovice; Tom Morley; J. Clayton Kerce; Eric Lyons 003; Katherine E. Sukel (CSCL, 1999)

Visual Question Answering based on Formal Logic. - Muralikrishnna G. Sethuraman; Ali Payani; Faramarz Fekri; J. Clayton Kerce (ICMLA, 2021)

LOGICDEF: An Interpretable Defense Framework against Adversarial Examples via Inductive Scene Graph Reasoning. - Yuan Yang; James Clayton Kerce; Faramarz Fekri (AAAI, 2022)

Temporal Inductive Logic Reasoning. - Yuan Yang; Siheng Xiong; James Clayton Kerce; Faramarz Fekri (CoRR, 2022)

TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs. - Siheng Xiong; Yuan Yang; Faramarz Fekri; James Clayton Kerce (ICLR, 2023)

LogicDP: Creating Labels for Graph Data via Inductive Logic Programming. - Yuan Yang; Faramarz Fekri; James Clayton Kerce; Ali Payani (ICLR, 2023)

TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning. - Siheng Xiong; Yuan Yang; Ali Payani; James Clayton Kerce; Faramarz Fekri (AAAI, 2024)

Temporal Inductive Logic Reasoning over Hypergraphs. - Yuan Yang; Siheng Xiong; Ali Payani; James Clayton Kerce; Faramarz Fekri (IJCAI, 2024)