48 citations · 174 across the 27 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 48 cited
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Joohyung Lee, Ravi Palla
Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action for…
cs.LO2014
First-Order Stable Model Semantics and First-Order Loop Formulas
Joohyung Lee, Yunsong Meng
Lin and Zhaos theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop for…