Joohyung Lee

Joohyung Lee, Dong-il Dan Cho, Hyungjin Kim, 2001, SICE 2001. Proceedings of the 40th SICE Annual Conference. International Session Papers (IEEE Cat. No.01TH8603).

Symmetric Splitting in the General Theory of Stable Models

Joohyung Lee, Vladimir Lifschitz, Ravi Palla, 2009, IJCAI.

A Decidable Class of Groundable Formulas in the General Theory of Stable Models

Joohyung Lee, Michael Bartholomew, 2010, KR.

Progressive monitoring and treatment planning of diabetes mellitus in smart home environment

Mikko Sallinen, Joohyung Lee, Yann-Hang Lee, 2013, 2013 IEEE International Conference on Consumer Electronics (ICCE).

On the stable model semantics for intensional functions

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2013, Theory and Practice of Logic Programming.

Reducing the Model Variance of a Rectal Cancer Segmentation Network pdf

Joohyung Lee, Ji Eun Oh, Dae Kyung Sohn, 2019, IEEE Access.

Reformulating Action Language C+ in Answer Set Programming

Joohyung Lee, Joohyung Lee, 2012, Correct Reasoning.

Handling Uncertainty in Answer Set Programming

Joohyung Lee, Yi Wang, 2015, AAAI.

An adaptive reporting frequency control scheme for energy saving on Wireless Sensor Networks

Joohyung Lee, Jun Kyun Choi, Seung Hyun Jeon, 2014, 2014 International Conference on Information and Communication Technology Convergence (ICTC).

A scanning thermal microscopy system with a temperature dithering, servo-controlled interface circuit

Joohyung Lee, Yogesh B. Gianchandani, Y. Gianchandani, 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..

Study on power efficiency in wireless multicast communication system

Joohyung Lee, Jun Kyun Choi, Yongmin Jung, 2011, ICTC 2011.

System f2lp - Computing Answer Sets of First-Order Formulas

Joohyung Lee, Ravi Palla, 2009, LPNMR.

Energy-efficient dynamic load distribution for heterogeneous access networks

Joohyung Lee, Jun Kyun Choi, Hyeontaek Oh, 2013, 2013 International Conference on ICT Convergence (ICTC).

Supervised Machine Learning Algorithms for Early Detection of Oral Epithelial Cancer Using Fluorescence Lifetime Imaging Microscopy

Joohyung Lee, 2014 .

Two stage market model in microgrid using cooperative game theory

Joohyung Lee, Gyeong Ho Lee, Jun Kyun Choi, 2018, 2018 IEEE 7th Global Conference on Consumer Electronics (GCCE).

Representing and Reasoning about Web Access Control Policies

Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference.

Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, 2004, Artif. Intell..

First-order stable model semantics with intensional functions

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2019, Artif. Intell..

Stable Models of Multi-Valued Formulas: Partial versus Total Functions

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2014, KR.

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)

Joohyung Lee, Ravi Palla, 2011, LPNMR.

Elementary Sets of Logic Programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2006, AAAI.

Reformulating Temporal Action Logics in Answer Set Programming

Joohyung Lee, Ravi Palla, Joohyung Lee, 2012, AAAI.

A Knowledge Module: Buying and Selling

Joohyung Lee, Vladimir Lifschitz, 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Varol Akman, Joohyung Lee, Vladimir Lifschitz, 2004, Artif. Intell..

Adaptive layered coding based energy efficient multicast transmission scheme over wireless access networks

Joohyung Lee, Jun Kyun Choi, S. H. Shah Newaz, 2014, 2014 International Conference on Information and Communication Technology Convergence (ICTC).

System aspmt2smt: Computing ASPMT Theories by SMT Solvers

Joohyung Lee, Michael Bartholomew, 2014, JELIA.

Energy Trading System in Microgrids With Future Forecasting and Forecasting Errors

Ganguk Hwang, Joohyung Lee, Sangdon Park, 2018, IEEE Access.

On Loop Formulas with Variables

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2008, KR.

Multi-homing in Heterogeneous Wireless Access Networks: A Stackelberg Game for Pricing

Joohyung Lee, Joohyung Lee, 2018, KSII Trans. Internet Inf. Syst..

Representing hybrid automata by action language modulo theories pdf

Joohyung Lee, Yunsong Meng, Nikhil Loney, 2017, Theory Pract. Log. Program..

Vladimir Lifschitz - A Youth at 65

Yuliya Lierler, Fangkai Yang, Joohyung Lee, 2012, Correct Reasoning.

An optical transceiver design for long-path broadband differential optical absorption spectroscopy

Joohyung Lee, Minsu Choi, Hongin Kim, 2017, 2017 Eleventh International Conference on Sensing Technology (ICST).

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)

Joohyung Lee, Yunsong Meng, 2012, ICLP.

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2013, IJCAI.

Distributed Energy Trading in Microgrids: A Game-Theoretic Model and Its Equilibrium Analysis

Moshe Zukerman, Joohyung Lee, Jun Kyun Choi, 2015, IEEE Transactions on Industrial Electronics.

Representing the Language of the Causal Calculator in Answer Set Programming

Joohyung Lee, Michael Casolary, 2011, ICLP.

Improving the Performance of Loop-Sensor-Based Traffic-Information System by (M+PLL) Circuit

Sung-Wook Kim, Ilsoo Cho, Joohyung Lee, 2002 .

Energy independence of energy trading system in microgrid

Joohyung Lee, Jun Kyun Choi, Minkyung Kim, 2017, 2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia).

A Logic Based Approach to Answering Questions about Alternatives in DIY Domains

Joohyung Lee, Yi Wang, Doo Soon Kim, 2017, AAAI.

Competitive Partial Computation Offloading for Maximizing Energy Efficiency in Mobile Cloud Computing

Joohyung Lee, Sangdon Park, Jun Kyun Choi, 2018, IEEE Access.

A performance study of proxy-based TCP rate control design for mobile video streaming services

Jinsung Lee, Joohyung Lee, Jicheol Lee, 2016, 2016 IEEE International Conference on Communications (ICC).

Head-Elementary-Set-Free Logic Programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2007, LPNMR.

Energy Outage-Aware Power Distribution Scheme for Off-Grid Base Station Operation

Joohyung Lee, Jun Kyun Choi, Seung Hyun Jeon, 2017, IEEE Communications Letters.

Theory and Practice of Logic Programming 1 Module Theorem for The General Theory of Stable Models

Joohyung Lee, Joseph Babb, Joohyung Lee, 2012 .

Hybrid driver IC for real-time TFT non-uniformity compensation of ultra high-definition AMOLED display

Gyu-Hyeong Cho, Joohyung Lee, Sang-Hui Park, 2015, 2015 Symposium on VLSI Circuits (VLSI Circuits).

Loop formulas for circumscription

Fangzhen Lin, Joohyung Lee, Fangzhen Lin, 2004, Artif. Intell..

Computing LPMLN using ASP and MLN solvers*

Joohyung Lee, Yi Wang, Samidh Talsania, 2017, Theory and Practice of Logic Programming.

Recognizing Social Constructs from Textual Conversation

Jieping Ye, Chitta Baral, Richard B. Scherl, 2015, NAACL.

Energy Efficient Scalable Video Coding Based Cooperative Multicast Scheme with Selective Layer Forwarding

Joohyung Lee, Jun Kyun Choi, Min Seok Jang, 2013, IEEE Communications Letters.

Weighted Rules under the Stable Model Semantics

Joohyung Lee, Yi Wang, Joohyung Lee, 2016, KR.

A Hybrid AMOLED Driver IC for Real-Time TFT Nonuniformity Compensation

Gyu-Hyeong Cho, Joohyung Lee, Jun-Suk Bang, 2016, IEEE Journal of Solid-State Circuits.

Energy-Efficient Rate Allocation for Multi-Homing Services in Heterogeneous Wireless Access Networks

Joohyung Lee, Seong Gon Choi, Jun Kyun Choi, 2014, IEICE Trans. Commun..

Biomimetic Cardiac Microsystems for Pathophysiological Studies and Drug Screens

Joohyung Lee, Md Enayet Razu, Xinmei Wang, 2015, Journal of laboratory automation.

On elementary loops of logic programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2010, Theory and Practice of Logic Programming.

Stable Models of Fuzzy Propositional Formulas

Joohyung Lee, Yi Wang, 2014, PRUV.

Contribution-Based Energy-Trading Mechanism in Microgrids for Future Smart Grid: A Game Theoretic Approach

Ganguk Hwang, Joohyung Lee, Sangdon Park, 2016, IEEE Transactions on Industrial Electronics.

Three Hierarchical Levels of Big-Data Market Model Over Multiple Data Sources for Internet of Things

Joohyung Lee, Sangdon Park, Busik Jang, 2018, IEEE Access.

Stable Models of Formulas with Intensional Functions

Joohyung Lee, Michael Bartholomew, 2012, KR.

Fuzzy Propositional Formulas under the Stable Model Semantics

Yi Wang, Joohyung Lee, 2017, FLAP.

On Reductive Semantics of Aggregates in Answer Set Programming

Joohyung Lee, Yunsong Meng, 2009, LPNMR.

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2013, IJCAI.

Computing Logic Programs with Ordered Disjunction Using asprin

Joohyung Lee, Zhun Yang, 2018, KR.

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

Joohyung Lee, Ji Eun Oh, Dae Kyung Sohn, 2019 .

Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming

Joohyung Lee, Joseph Babb, 2013, LPNMR.

Situation Calculus as Answer Set Programming

Joohyung Lee, Ravi Palla, 2010, AAAI.

Nondefinite vs. Definite Causal Theories

Joohyung Lee, 2004, LPNMR.

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

Yi Wang, Joohyung Lee, Joohyung Lee, 2019, LPNMR.

Additive Fluents

Joohyung Lee, Vladimir Lifschitz, 2001, Answer Set Programming.

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

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2011, J. Artif. Intell. Res..

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

Joohyung Lee, Yunsong Meng, 2013, ArXiv.

A Probabilistic Extension of Action Language BC+ pdf

Joohyung Lee, Yi Wang, 2018, ArXiv.

Energy efficient pricing scheme for multi-homing in heterogeneous wireless access networks: A game theoretic model and its analysis

Joohyung Lee, Jun Kyun Choi, S. H. Shah Newaz, 2015, 2015 IEEE Wireless Communications and Networking Conference (WCNC).

A Probabilistic Extension of Action Language ${\cal BC}$+}$

Joohyung Lee, Yi Wang, 2018, Theory Pract. Log. Program..

Circumscriptive Event Calculus as Answer Set Programming

Joohyung Lee, Ravi Palla, Tae-Won Kim, 2009, IJCAI.

Power-efficient rate allocation of wireless access networks with sleep-operation management for multihoming services

Joohyung Lee, Seong Gon Choi, Jun Kyun Choi, 2016, Journal of Communications and Networks.

Representing Synonymity in Causal Logic and in Logic Programming

Yuliya Lierler, Fangkai Yang, Joohyung Lee, 2010 .

On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic pdf

Joohyung Lee, Yi Wang, 2016, ArXiv.

Weight Learning in a Probabilistic Extension of Answer Set Programs pdf

Joohyung Lee, Yi Wang, Joohyung Lee, 2018, KR.

Bandwidth-Efficient Live Virtual Reality Streaming Scheme for Reducing View Adaptation Delay

Joohyung Lee, Jongmin Lee, Jeongyeon Lim, 2019, KSII Trans. Internet Inf. Syst..

Describing Additive Fluents in Action Language C+

Joohyung Lee, Vladimir Lifschitz, 2003, IJCAI.

Tumor Identification in Colorectal Histology Images Using a Convolutional Neural Network

Joohyung Lee, Ji Eun Oh, Hee Jin Chang, 2018, Journal of Digital Imaging.

Representing first-order causal theories by logic programs pdf

Yuliya Lierler, Fangkai Yang, Joohyung Lee, 2011, Theory and Practice of Logic Programming.

Korea's software education initiative

Won Kim, Sang-Woong Lee, Jin-Whan Kim, 2017, iiWAS.

Online Action Language oBC +

Joohyung Lee, Joseph Babb, 2015, LPNMR.

Safe Formulas in the General Theory of Stable Models (Preliminary Report)

Joohyung Lee, Vladimir Lifschitz, Ravi Palla, 2008, ICLP.

Rectal cancer: Toward fully automatic discrimination of T2 and T3 rectal cancers using deep convolutional neural network

Jongin Kim, Boreom Lee, Joohyung Lee, 2019, Int. J. Imaging Syst. Technol..

A Reductive Semantics for Counting and Choice in Answer Set Programming

Joohyung Lee, Vladimir Lifschitz, Ravi Palla, 2008, AAAI.

Energy-Efficient Rate Allocation for Multi-Homed Streaming Service over Heterogeneous Access Networks

Joohyung Lee, Seong Gon Choi, Jun Kyun Choi, 2011, 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011.

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription

Joohyung Lee, Michael Bartholomew, Yunsong Meng, 2011, IJCAI.