7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.AI2023
Causal Laws and Multi-Valued Fluents
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz +1
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in…
cs.LO2003★ 7 cited
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
Hudson Turner
Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is…