Joohyung Lee

Identifiers

• name variant Joohyung Lee 0.60 · backfill

Papers (20)

1. TreeText-CTS: Compact, Source-Traceable Tree-Path Evidence for Irregular Clinical Time-Series Prediction cs.LG · 2026 · author #4
2. Cplus2ASP: Computing Action Language C+ in Answer Set Programming cs.AI · 2026 · author #2
3. Functional Stable Model Semantics and Answer Set Programming Modulo Theories cs.AI · 2026 · author #2
4. Weighted Rules under the Stable Model Semantics cs.AI · 2026 · author #1
5. LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning cs.AI · 2026 · author #2
6. AgentLens: Adaptive Visual Modalities for Human-Agent Interaction in Mobile GUI Agents cs.HC · 2026 · author #4
7. Explainable Fact Checking with Probabilistic Answer Set Programming cs.DB · 2019 · author #2
8. Weight Learning in a Probabilistic Extension of Answer Set Programs cs.AI · 2018 · author #1
9. Translating LPOD and CR-Prolog2 into Standard Answer Set Programs cs.AI · 2018 · author #1
10. A Probabilistic Extension of Action Language BC+ cs.AI · 2018 · author #1
11. Representing Hybrid Automata by Action Language Modulo Theories cs.AI · 2017 · author #1
12. Computing LPMLN Using ASP and MLN Solvers cs.AI · 2017 · author #1
13. On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic cs.AI · 2016 · author #1
14. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming cs.AI · 2014 · author #1
15. First-Order Stable Model Semantics and First-Order Loop Formulas cs.LO · 2014 · author #1
16. A Functional View of Strong Negation in Answer Set Programming cs.AI · 2013 · author #2
17. Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers cs.LO · 2013 · author #1
18. Module Theorem for The General Theory of Stable Models cs.AI · 2012 · author #2
19. Representing First-Order Causal Theories by Logic Programs cs.AI · 2011 · author #2
20. On Elementary Loops of Logic Programs cs.AI · 2010 · author #2

Mentions

• 1301.1393 #1 · backfill · confidence 0.70 Joohyung Lee
• 1210.5222 #2 · backfill · confidence 0.70 Joohyung Lee
• 2605.20292 #4 · arxiv_oai · confidence 0.70 Joohyung Lee
• 1103.4558 #2 · backfill · confidence 0.70 Joohyung Lee
• 1012.5847 #2 · backfill · confidence 0.70 Joohyung Lee

Frequent Coauthors

• Yi Wang 5 shared papers
• Yunsong Meng 3 shared papers
• Joseph Babb 2 shared papers
• Michael Bartholomew 2 shared papers
• Yuliya Lierler 2 shared papers
• Adam Ishay 1 shared papers
• Byeongjun Joung 1 shared papers
• Eunho Yang 1 shared papers
• Fangkai Yang 1 shared papers
• Hyeongwon Jang 1 shared papers
• Jeonghyeon Kim 1 shared papers
• Jongheon Kim 1 shared papers
• Juhwan Choi 1 shared papers
• Junwon Lee 1 shared papers
• Kwanhyung Lee 1 shared papers
• Martin Gebser 1 shared papers
• Mohammed Saeed 1 shared papers
• Naser Ahmadi 1 shared papers
• Nikhil Loney 1 shared papers
• Paolo Ferraris 1 shared papers