A New Approach to Probabilistic Knowledge-Based Decision Making. - Thomas C. Henderson; Tessa Nishida; Amelia C. Lessen; Nicola Wernecke; Kutay Eken; David Sacharny (ICAART (3), 2023)

Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases. - Thomas C. Henderson; David Sacharny; Amar Mitiche; Xiuyi Fan; Amelia C. Lessen; Ishaan Rajan; Tessa Nishida (ICAART (3), 2023)