4 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.CL2020★ 4 cited
Can Transformers Reason About Effects of Actions?
Pratyay Banerjee, Chitta Baral, Man Luo +4
A recent work has shown that transformers are able to "reason" with facts and rules in a limited setting where the rules are natural language expressions of conjunctions of conditi…
cs.LO2019
Strong Equivalence for LPMLN Programs
Joohyung Lee, Man Luo
LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful m…
cs.LO2019
Strong equivalence for programs
Man Luo
Strong equivalence is a well-studied and important concept in answer set programming (ASP). is a probabilistic extension of answer set programs with the weight schem…