Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox
Picture for Joohyung Lee

Joohyung Lee

Arizona State University

Strong Equivalence for LPMLN Programs


Sep 18, 2019
Joohyung Lee, Man Luo

Figure 1 for Strong Equivalence for LPMLN Programs
Figure 2 for Strong Equivalence for LPMLN Programs
* EPTCS 306, 2019, pp. 196-209 
 * In Proceedings ICLP 2019, arXiv:1909.07646. arXiv admin note: text overlap with arXiv:1905.07550 
  Access Paper or Ask Questions

Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language


Jul 31, 2019
Yi Wang, Shiqi Zhang, Joohyung Lee

Figure 1 for Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
Figure 2 for Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
Figure 3 for Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
Figure 4 for Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language
* Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages. arXiv admin note: text overlap with arXiv:1904.00512 
  Access Paper or Ask Questions

Explainable Fact Checking with Probabilistic Answer Set Programming


Jun 21, 2019
Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed

Figure 1 for Explainable Fact Checking with Probabilistic Answer Set Programming
Figure 2 for Explainable Fact Checking with Probabilistic Answer Set Programming
Figure 3 for Explainable Fact Checking with Probabilistic Answer Set Programming
Figure 4 for Explainable Fact Checking with Probabilistic Answer Set Programming

  Access Paper or Ask Questions

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+


Apr 01, 2019
Yi Wang, Joohyung Lee

Figure 1 for Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+
Figure 2 for Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+
Figure 3 for Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+
* 13 pages, to appear in LPNMR 2019 
  Access Paper or Ask Questions

Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation


Feb 01, 2019
Joohyung Lee, Ji Eun Oh, Min Ju Kim, Bo Yun Hur, Sun Ah Cho, Dae Kyung Sohn

Figure 1 for Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation
Figure 2 for Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation
Figure 3 for Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation
Figure 4 for Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation
* 15 pages, 6 figures Improved the clarity with additional explanations 
  Access Paper or Ask Questions

Fully Convolutional Network-based Multi-Task Learning for Rectum and Rectal Cancer Segmentation


Jan 22, 2019
Joohyung Lee, Ji Eun Oh, Min Ju Kim, Bo Yun Hur, Sun Ah Cho, Dae Kyung Sohn

Figure 1 for Fully Convolutional Network-based Multi-Task Learning for Rectum and Rectal Cancer Segmentation
Figure 2 for Fully Convolutional Network-based Multi-Task Learning for Rectum and Rectal Cancer Segmentation
Figure 3 for Fully Convolutional Network-based Multi-Task Learning for Rectum and Rectal Cancer Segmentation
Figure 4 for Fully Convolutional Network-based Multi-Task Learning for Rectum and Rectal Cancer Segmentation
* 14 pages, 6 figures 
  Access Paper or Ask Questions

Weight Learning in a Probabilistic Extension of Answer Set Programs


Oct 09, 2018
Joohyung Lee, Yi Wang

Figure 1 for Weight Learning in a Probabilistic Extension of Answer Set Programs
Figure 2 for Weight Learning in a Probabilistic Extension of Answer Set Programs
* Technical Report of the paper to appear in 16th International Conference on Principles of Knowledge Representation and Reasoning 
  Access Paper or Ask Questions

A Probabilistic Extension of Action Language BC+


Aug 03, 2018
Joohyung Lee, Yi Wang

Figure 1 for A Probabilistic Extension of Action Language BC+
* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 1 PDF figures (arXiv:YYMM.NNNNN) 
  Access Paper or Ask Questions

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs


May 02, 2018
Joohyung Lee, Zhun Yang

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN) 
  Access Paper or Ask Questions

Computing LPMLN Using ASP and MLN Solvers


Nov 30, 2017
Joohyung Lee, Samidh Talsania, Yi Wang

Figure 1 for Computing LPMLN Using ASP and MLN Solvers
Figure 2 for Computing LPMLN Using ASP and MLN Solvers
Figure 3 for Computing LPMLN Using ASP and MLN Solvers
Figure 4 for Computing LPMLN Using ASP and MLN Solvers
* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures (arXiv:YYMM.NNNNN) 
  Access Paper or Ask Questions

Representing Hybrid Automata by Action Language Modulo Theories


Jul 25, 2017
Joohyung Lee, Nikhil Loney, Yunsong Meng

Figure 1 for Representing Hybrid Automata by Action Language Modulo Theories
Figure 2 for Representing Hybrid Automata by Action Language Modulo Theories
Figure 3 for Representing Hybrid Automata by Action Language Modulo Theories
* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX 
  Access Paper or Ask Questions

On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic


Jun 28, 2016
Joohyung Lee, Yi Wang

Figure 1 for On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic
* In Working Notes of the 6th International Workshop on Statistical Relational AI 
  Access Paper or Ask Questions

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming


Jan 18, 2014
Joohyung Lee, Ravi Palla

Figure 1 for Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Figure 2 for Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Figure 3 for Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
* Journal Of Artificial Intelligence Research, Volume 43, pages 571-620, 2012 
  Access Paper or Ask Questions

First-Order Stable Model Semantics and First-Order Loop Formulas


Jan 16, 2014
Joohyung Lee, Yunsong Meng

* Journal Of Artificial Intelligence Research, Volume 42, pages 125-180, 2011 
  Access Paper or Ask Questions

A Functional View of Strong Negation in Answer Set Programming


Dec 20, 2013
Michael Bartholomew, Joohyung Lee

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 
  Access Paper or Ask Questions

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers


Jan 08, 2013
Joohyung Lee, Yunsong Meng

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 
  Access Paper or Ask Questions

Module Theorem for The General Theory of Stable Models


Oct 18, 2012
Joseph Babb, Joohyung Lee

Figure 1 for Module Theorem for The General Theory of Stable Models
* To appear in Theory and Practice of Logic Programming (TPLP) 
  Access Paper or Ask Questions

Representing First-Order Causal Theories by Logic Programs


Mar 23, 2011
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Figure 1 for Representing First-Order Causal Theories by Logic Programs
Figure 2 for Representing First-Order Causal Theories by Logic Programs
* 29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 2011 
  Access Paper or Ask Questions

On Elementary Loops of Logic Programs


Jan 02, 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler

* 36 pages, 2 figures 
  Access Paper or Ask Questions