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

* 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

* 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


  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

* 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

* 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

* 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

* 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

* 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

* 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

* 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

* 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

* 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

* 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

* 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