23 citations · 28 across the 4 of their papers we have counts for
5 papers
On Loop Formulas with Variables
Joohyung Lee, Yunsong Meng
Recently Ferraris, Lee and Lifschitz proposed a new definition of stable models that does not refer to grounding, which applies to the syntax of arbitrary first-order sentences. We…
Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability
Ninghao Liu, Yunsong Meng, Xia Hu +2
Recent years have witnessed an increasing number of interpretation methods being developed for improving transparency of NLP models. Meanwhile, researchers also try to answer the q…
Representing Hybrid Automata by Action Language Modulo Theories
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…
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…
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers
Joohyung Lee, Yunsong Meng
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduc…