Joohyung Lee - RankMe

110 papers A* 30A 1B 13Journal 49Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions. AAAI Adam Ishay, Joohyung Lee
2025	J	`jnl`	LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions. CoRR Adam Ishay, Joohyung Lee
2025	J	`jnl`	System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers. CoRR Michael Bartholomew, Joohyung Lee
2025	J	`jnl`	Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. CoRR Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2024	A	`conf`	Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. WACV Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2023	J	`jnl`	Causal Laws and Multi-Valued Fluents. CoRR Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2023	—	`conf`	Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. ACL (Findings) Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	Elementary Sets for Logic Programs. CoRR Martin Gebser, Joohyung Lee, Yuliya Lierler
2023	J	`jnl`	First-Order Stable Model Semantics with Intensional Functions. CoRR Michael Bartholomew, Joohyung Lee
2023	J	`jnl`	Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. CoRR Zhun Yang, Joohyung Lee, Chiyoun Park
2023	A*	`conf`	Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. ICLR Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2023	A*	`conf`	Leveraging Large Language Models to Generate Answer Set Programs. KR Adam Ishay, Zhun Yang, Joohyung Lee
2023	J	`jnl`	Leveraging Large Language Models to Generate Answer Set Programs. CoRR Adam Ishay, Zhun Yang, Joohyung Lee
2023	J	`jnl`	NeurASP: Embracing Neural Networks into Answer Set Programming. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	On Loop Formulas with Variables. CoRR Joohyung Lee, Yunsong Meng
2023	J	`jnl`	Safe Formulas in the General Theory of Stable Models. CoRR Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2022	A*	`conf`	Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. ICML Zhun Yang, Joohyung Lee, Chiyoun Park
2022	—	`conf`	Statistical Relational Extension of Answer Set Programming. RW Joohyung Lee, Zhun Yang
2021	J	`jnl`	Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. Theory Pract. Log. Program. Yi Wang, Joohyung Lee
2020	J	`jnl`	Action language ℬℭ+. J. Log. Comput. Joseph Babb, Joohyung Lee
2020	A*	`conf`	NeurASP: Embracing Neural Networks into Answer Set Programming. IJCAI Zhun Yang, Adam Ishay, Joohyung Lee
2019	J	`jnl`	Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. CoRR Yi Wang, Shiqi Zhang, Joohyung Lee
2019	J	`jnl`	Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Theory Pract. Log. Program. Yi Wang, Shiqi Zhang, Joohyung Lee
2019	B	`conf`	Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p LPNMR Yi Wang, Joohyung Lee
2019	J	`jnl`	Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. CoRR Yi Wang, Joohyung Lee
2019	—	`conf`	Explainable Fact Checking with Probabilistic Answer Set Programming. TTO Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed
2019	J	`jnl`	Explainable Fact Checking with Probabilistic Answer Set Programming. CoRR Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed
2019	J	`jnl`	First-order stable model semantics with intensional functions. Artif. Intell. Michael Bartholomew, Joohyung Lee
2018	J	`jnl`	A Probabilistic Extension of Action Language ${\cal BC}$+}$. Theory Pract. Log. Program. Joohyung Lee, Yi Wang
2018	J	`jnl`	A Probabilistic Extension of Action Language BC+. CoRR Joohyung Lee, Yi Wang
2018	A*	`conf`	Computing Logic Programs with Ordered Disjunction Using asprin. KR Joohyung Lee, Zhun Yang
2018	J	`jnl`	Translating LPOD and CR-Prolog2 into Standard Answer Set Programs. CoRR Joohyung Lee, Zhun Yang
2018	J	`jnl`	Translating LPOD and CR-Prolog2 into standard answer set programs. Theory Pract. Log. Program. Joohyung Lee, Zhun Yang
2018	A*	`conf`	Weight Learning in a Probabilistic Extension of Answer Set Programs. KR Joohyung Lee, Yi Wang
2018	J	`jnl`	Weight Learning in a Probabilistic Extension of Answer Set Programs. CoRR Joohyung Lee, Yi Wang
2017	A*	`conf`	A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. AAAI Yi Wang, Joohyung Lee, Doo Soon Kim
2017	J	`jnl`	Computing LPMLN Using ASP and MLN Solvers. CoRR Joohyung Lee, Samidh Talsania, Yi Wang
2017	J	`jnl`	Computing LPMLN using ASP and MLN solvers. Theory Pract. Log. Program. Joohyung Lee, Samidh Talsania, Yi Wang
2017	J	`jnl`	Fuzzy Propositional Formulas under the Stable Model Semantics. FLAP Joohyung Lee, Yi Wang
2017	A*	`conf`	LPMLN, Weak Constraints, and P-log. AAAI Joohyung Lee, Zhun Yang
2017	J	`jnl`	Representing Hybrid Automata by Action Language Modulo Theories. CoRR Joohyung Lee, Nikhil Loney, Yunsong Meng
2017	J	`jnl`	Representing hybrid automata by action language modulo theories. Theory Pract. Log. Program. Joohyung Lee, Nikhil Loney, Yunsong Meng
2016	J	`jnl`	On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic. CoRR Joohyung Lee, Yi Wang
2016	A*	`conf`	Weighted Rules under the Stable Model Semantics. KR Joohyung Lee, Yi Wang
2015	—	`conf`	A Probabilistic Extension of the Stable Model Semantics. AAAI Spring Symposia Joohyung Lee, Yi Wang
2015	A*	`conf`	Action Language BC+: Preliminary Report. AAAI Joseph Babb, Joohyung Lee
2015	—	`conf`	Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. ICLP (Technical Communications) Joohyung Lee, Yi Wang, Yu Zhang
2015	A*	`conf`	Handling Uncertainty in Answer Set Programming. AAAI Yi Wang, Joohyung Lee
2015	—	`conf`	Markov Logic Style Weighted Rules under the Stable Model Semantics. ICLP (Technical Communications) Joohyung Lee, Yunsong Meng, Yi Wang
2015	B	`conf`	Online Action Language o LPNMR Joseph Babb, Joohyung Lee
2014	J	`jnl`	First-Order Stable Model Semantics and First-Order Loop Formulas. CoRR Joohyung Lee, Yunsong Meng
2014	J	`jnl`	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. CoRR Joohyung Lee, Ravi Palla
2014	—	`conf`	Stable Models of Fuzzy Propositional Formulas. PRUV Joohyung Lee, Yi Wang
2014	B	`conf`	Stable Models of Fuzzy Propositional Formulas. JELIA Joohyung Lee, Yi Wang
2014	A*	`conf`	Stable Models of Multi-Valued Formulas: Partial versus Total Functions. KR Michael Bartholomew, Joohyung Lee
2014	B	`conf`	System aspmt2smt: Computing ASPMT Theories by SMT Solvers. JELIA Michael Bartholomew, Joohyung Lee
2013	J	`jnl`	A Functional View of Strong Negation in Answer Set Programming. CoRR Michael Bartholomew, Joohyung Lee
2013	A*	`conf`	Action Language BC: Preliminary Report. IJCAI Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
2013	A*	`conf`	Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. IJCAI Joohyung Lee, Yunsong Meng
2013	B	`conf`	Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. LPNMR Joseph Babb, Joohyung Lee
2013	A*	`conf`	Functional Stable Model Semantics and Answer Set Programming Modulo Theories. IJCAI Michael Bartholomew, Joohyung Lee
2013	J	`jnl`	On the stable model semantics for intensional functions. Theory Pract. Log. Program. Michael Bartholomew, Joohyung Lee
2013	J	`jnl`	Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers CoRR Joohyung Lee, Yunsong Meng
2012	—	`ed.`	Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Correct Reasoning Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
2012	J	`jnl`	Module Theorem for The General Theory of Stable Models CoRR Joseph Babb, Joohyung Lee
2012	J	`jnl`	Module theorem for the general theory of stable models. Theory Pract. Log. Program. Joseph Babb, Joohyung Lee
2012	—	`conf`	Reformulating Action Language C+ in Answer Set Programming. Correct Reasoning Joohyung Lee
2012	A*	`conf`	Reformulating Temporal Action Logics in Answer Set Programming. AAAI Joohyung Lee, Ravi Palla
2012	J	`jnl`	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. J. Artif. Intell. Res. Joohyung Lee, Ravi Palla
2012	J	`jnl`	Representing first-order causal theories by logic programs. Theory Pract. Log. Program. Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2012	—	`conf`	Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). ICLP (Technical Communications) Joohyung Lee, Yunsong Meng
2012	A*	`conf`	Stable Models of Formulas with Intensional Functions. KR Michael Bartholomew, Joohyung Lee
2012	—	`conf`	Vladimir Lifschitz - A Youth at 65. Correct Reasoning Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
2011	A*	`conf`	First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. IJCAI Michael Bartholomew, Joohyung Lee, Yunsong Meng
2011	—	`conf`	First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Michael Bartholomew, Joohyung Lee, Yunsong Meng
2011	J	`jnl`	First-Order Stable Model Semantics and First-Order Loop Formulas. J. Artif. Intell. Res. Joohyung Lee, Yunsong Meng
2011	—	`conf`	Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Joohyung Lee, Ravi Palla
2011	B	`conf`	Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). LPNMR Joohyung Lee, Ravi Palla
2011	J	`jnl`	On elementary loops of logic programs. Theory Pract. Log. Program. Martin Gebser, Joohyung Lee, Yuliya Lierler
2011	J	`jnl`	Representing First-Order Causal Theories by Logic Programs CoRR Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
2011	—	`conf`	Representing the Language of the Causal Calculator in Answer Set Programming. ICLP (Technical Communications) Michael Casolary, Joohyung Lee
2011	J	`jnl`	Stable models and circumscription. Artif. Intell. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2010	A*	`conf`	A Decidable Class of Groundable Formulas in the General Theory of Stable Models. KR Michael Bartholomew, Joohyung Lee
2010	J	`jnl`	On Elementary Loops of Logic Programs CoRR Martin Gebser, Joohyung Lee, Yuliya Lierler
2010	B	`conf`	Representing and Reasoning about Web Access Control Policies. COMPSAC Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng
2010	A*	`conf`	Situation Calculus as Answer Set Programming. AAAI Joohyung Lee, Ravi Palla
2009	A*	`conf`	Circumscriptive Event Calculus as Answer Set Programming. IJCAI Tae-Won Kim, Joohyung Lee, Ravi Palla
2009	B	`conf`	On Reductive Semantics of Aggregates in Answer Set Programming. LPNMR Joohyung Lee, Yunsong Meng
2009	A*	`conf`	Symmetric Splitting in the General Theory of Stable Models. IJCAI Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2009	B	`conf`	System f2lp - Computing Answer Sets of First-Order Formulas. LPNMR Joohyung Lee, Ravi Palla
2008	A*	`conf`	A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2008	A*	`conf`	On Loop Formulas with Variables. KR Joohyung Lee, Yunsong Meng
2008	B	`conf`	Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP Joohyung Lee, Vladimir Lifschitz, Ravi Palla
2007	A*	`conf`	A New Perspective on Stable Models. IJCAI Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2007	B	`conf`	Head-Elementary-Set-Free Logic Programs. LPNMR Martin Gebser, Joohyung Lee, Yuliya Lierler
2007	—	`conf`	Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CENT Joohyung Lee, Ravi Palla
2006	—	`conf`	A Knowledge Module: Buying and Selling. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Joohyung Lee, Vladimir Lifschitz
2006	J	`jnl`	A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
2006	A*	`conf`	Elementary Sets of Logic Programs. AAAI Martin Gebser, Joohyung Lee, Yuliya Lierler
2006	J	`jnl`	Loop formulas for circumscription. Artif. Intell. Joohyung Lee, Fangzhen Lin
2005	A*	`conf`	A Model-Theoretic Counterpart of Loop Formulas. IJCAI Joohyung Lee
2004	A*	`conf`	Loop Formulas for Circumscription. AAAI Joohyung Lee, Fangzhen Lin
2004	B	`conf`	Nondefinite vs. Definite Causal Theories. LPNMR Joohyung Lee
2004	J	`jnl`	Nonmonotonic causal theories. Artif. Intell. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
2004	J	`jnl`	Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2003	A*	`conf`	Describing Additive Fluents in Action Language C+. IJCAI Joohyung Lee, Vladimir Lifschitz
2003	B	`conf`	Loop Formulas for Disjunctive Logic Programs. ICLP Joohyung Lee, Vladimir Lifschitz
2001	—	`conf`	Additive Fluents. Answer Set Programming Joohyung Lee, Vladimir Lifschitz