The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joohyung Lee" ( http://dblp.L3S.de/Authors/Joohyung_Lee )

  Author page on DBLP  Author page in RDF  Community of Joohyung Lee in ASPL-2

Publication years (Num. hits)
2001-2007 (16) 2008-2011 (21) 2012-2013 (24) 2014-2015 (20) 2016-2017 (16) 2018 (15) 2019 (15)
Publication types (Num. hits)
article(57) inproceedings(69) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 129 publication records. Showing 127 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jangkyum Kim, Joohyung Lee, Sangdon Park, Jun Kyun Choi Battery-Wear-Model-Based Energy Trading in Electric Vehicles: A Naive Auction Model and a Market Analysis. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee First-order stable model semantics with intensional functions. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jongmin Lee, Joohyung Lee, Jeongyeon Lim, Maro Kim Bandwidth-Efficient Live Virtual Reality Streaming Scheme for Reducing View Adaptation Delay. Search on Bibsonomy TIIS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongjun Yoon, Joohyung Lee, Ji Eun Oh, Hong Rae Kim, Seonhye Lee, Hee Jin Chang, Dae Kyung Sohn Tumor Identification in Colorectal Histology Images Using a Convolutional Neural Network. Search on Bibsonomy J. Digital Imaging The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jongin Kim, Ji Eun Oh, Joohyung Lee, Min Ju Kim, Bo Yun Hur, Dae Kyung Sohn, Boreom Lee Rectal cancer: Toward fully automatic discrimination of T2 and T3 rectal cancers using deep convolutional neural network. Search on Bibsonomy Int. J. Imaging Systems and Technology The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Ji Eun Oh, Min Ju Kim, Bo Yun Hur, Sun Ah Cho, Dae Kyung Sohn Multi-Task Learning with a Fully Convolutional Network for Rectum and Rectal Cancer Segmentation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yi Wang 0048, Shiqi Zhang, Joohyung Lee Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Joohyung Lee, Man Luo Strong Equivalence for LPMLN Programs. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed 0002 Explainable Fact Checking with Probabilistic Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yi Wang 0048, Joohyung Lee Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jaewon Ahn, Joohyung Lee, Sangdon Park, Hong-Shik Park Power Efficient Clustering Scheme for 5G Mobile Edge Computing Environment. Search on Bibsonomy MONET The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Wang 0048, Shiqi Zhang, Joohyung Lee Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jinsung Lee, Youngbin Im, Joohyung Lee Modeling MPTCP Performance. Search on Bibsonomy IEEE Communications Letters The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Wang 0048, Joohyung Lee Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kwanyeob Chae, JongRyun Choi, Hyungkwon Lee, Jinho Choi, Shinyoung Yi, Yoonjee Nam, Sangyun Hwang, Joohyung Lee, Won Lee, Kihwan Seong, Joohee Shin, Soo-Min Lee, Seokkyun Ko, Jihun Oh, Billy Koo, Sanghune Park, Jongshin Shin, Hyungjong Ko An 8nm All-Digital 7.3Gb/s/pin LPDDR5 PHY with an Approximate Delay Compensation Scheme. Search on Bibsonomy VLSI Circuits The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gyohun Jeong, Sangdon Park, Joohyung Lee, Ganguk Hwang Energy Trading System in Microgrids With Future Forecasting and Forecasting Errors. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Busik Jang, Sangdon Park, Joohyung Lee, Sang Geun Hahn Three Hierarchical Levels of Big-Data Market Model Over Multiple Data Sources for Internet of Things. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sanghong Ahn, Joohyung Lee, Sangdon Park, S. H. Shah Newaz, Jun Kyun Choi Competitive Partial Computation Offloading for Maximizing Energy Efficiency in Mobile Cloud Computing. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee Multi-homing in Heterogeneous Wireless Access Networks: A Stackelberg Game for Pricing. Search on Bibsonomy TIIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 A Probabilistic Extension of Action Language BC+. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Weight Learning in a Probabilistic Extension of Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Zhun Yang Translating LPOD and CR-Prolog2 into Standard Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Zhun Yang Translating LPOD and CR-Prolog2 into standard answer set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 A Probabilistic Extension of Action Language ${\cal BC}$+}$. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kwihoon Kim, Joohyung Lee, Jun Kyun Choi Deep Learning Based Pilot Allocation Scheme (DL-PAS) for 5G Massive MIMO System. Search on Bibsonomy IEEE Communications Letters The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Zhun Yang Computing Logic Programs with Ordered Disjunction Using asprin. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Weight Learning in a Probabilistic Extension of Answer Set Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shailaja Sampat, Joohyung Lee A Model-Based Approach to Visual Reasoning on CNLVR Dataset. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jangkyum Kim, Youngjoo Heo, Gyeong Ho Lee, Joohyung Lee, Hyeontaek Oh, Jun Kyun Choi Two stage market model in microgrid using cooperative game theory. Search on Bibsonomy GCCE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jangkyum Kim, Nakyung Kim, Kangsan Kim, Jaeseob Han, Joohyung Lee, Jun Kyun Choi Energy Operation System Using Uncertain Electric Data in Korean Tariff System. Search on Bibsonomy BigComp The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sangdon Park, Joohyung Lee, Ganguk Hwang, Jun Kyun Choi Event-Driven Energy Trading System in Microgrids: Aperiodic Market Model Analysis With a Game Theoretic Approach. Search on Bibsonomy IEEE Access The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Fuzzy Propositional Formulas under the Stable Model Semantics. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Joohyung Lee, Nikhil Loney, Yunsong Meng Representing Hybrid Automata by Action Language Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Joohyung Lee, Samidh Talsania, Yi Wang 0048 Computing LPMLN Using ASP and MLN Solvers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Joohyung Lee, Nikhil Loney, Yunsong Meng Representing hybrid automata by action language modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Samidh Talsania, Yi Wang 0048 Computing LPMLN using ASP and MLN solvers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Seung Hyun Jeon, Joohyung Lee, Jun Kyun Choi Energy Outage-Aware Power Distribution Scheme for Off-Grid Base Station Operation. Search on Bibsonomy IEEE Communications Letters The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yi Wang 0048, Joohyung Lee, Doo Soon Kim A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Joohyung Lee, Zhun Yang LPMLN, Weak Constraints, and P-log. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Won Kim 0001, Ahyoung Choi, Jaehyuk Choi, Ok-Ran Jeong, Yong Ju Jung, Sangwoo Kang, Joohyung Lee, Sang-Woong Lee, Woong-Kee Loh, Joon Yoo, Seongcheol Chung, Hyungchul Lee, Sungmi Chon, YoungCheol Jeon, Han Sook Kim, Jin-Whan Kim, Jung-Hun Lee, Youna Min, Geun-Sil Song, Sun Ok Yang Korea's software education initiative. Search on Bibsonomy iiWAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sangdon Park, Joohyung Lee, Sohee Bae, Ganguk Hwang, Jun Kyun Choi Contribution-Based Energy-Trading Mechanism in Microgrids for Future Smart Grid: A Game Theoretic Approach. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun-Suk Bang, Hyunsik Kim, Kiduk Kim, Ohjo Kwon, Choongsun Shin, Joohyung Lee, Gyu-Hyeong Cho A Hybrid AMOLED Driver IC for Real-Time TFT Nonuniformity Compensation. Search on Bibsonomy J. Solid-State Circuits The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Seonghwa Yun, Hyeontaek Oh, S. H. Shah Newaz, Seong Gon Choi, Jun Kyun Choi Power-efficient rate allocation of wireless access networks with sleep-operation management for multihoming services. Search on Bibsonomy Journal of Communications and Networks The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joohyung Lee, Hyungho Lee, Jinsung Lee, Hanna Lim, Jungshin Park, Jicheol Lee A performance study of proxy-based TCP rate control design for mobile video streaming services. Search on Bibsonomy ICC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Weighted Rules under the Stable Model Semantics. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joohyung Lee, Jun Guo 0001, Jun Kyun Choi, Moshe Zukerman Distributed Energy Trading in Microgrids: A Game-Theoretic Model and Its Equilibrium Analysis. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Somak Aditya, Chitta Baral, Nguyen Ha Vo, Joohyung Lee, Jieping Ye, Zaw Naung, Barry Lumpkin, Jenny Hastings, Richard B. Scherl, Dawn M. Sweet, Daniela Inclezan Recognizing Social Constructs from Textual Conversation. Search on Bibsonomy HLT-NAACL The full citation details ... 2015 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng, Yi Wang 0048 Markov Logic Style Weighted Rules under the Stable Model Semantics. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048, Yu Zhang Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joseph Babb, Joohyung Lee Online Action Language oBC +. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Babb, Joohyung Lee Action Language BC+: Preliminary Report. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi Wang 0048, Joohyung Lee Handling Uncertainty in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Seonghwa Yun, Joohyung Lee, S. H. Shah Newaz, Jun Kyun Choi Energy efficient pricing scheme for multi-homing in heterogeneous wireless access networks: A game theoretic model and its analysis. Search on Bibsonomy WCNC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 A Probabilistic Extension of the Stable Model Semantics. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Jun-Suk Bang, Hyunsik Kim, Sang-Hui Park, Kiduk Kim, Sung-Won Choi, Ohjo Kwon, Choongsun Shin, Joohyung Lee, Gyu-Hyeong Cho Hybrid driver IC for real-time TFT non-uniformity compensation of ultra high-definition AMOLED display. Search on Bibsonomy VLSIC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Nga T. Dinh, Ganguk Hwang, Jun Kyun Choi, Chimoon Han Power-Efficient Load Distribution for Multihomed Services With Sleep Mode Over Heterogeneous Wireless Access Networks. Search on Bibsonomy IEEE Trans. Vehicular Technology The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hyeontaek Oh, Joohyung Lee, Seong Gon Choi, Jun Kyun Choi Energy-Efficient Rate Allocation for Multi-Homing Services in Heterogeneous Wireless Access Networks. Search on Bibsonomy IEICE Transactions The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng First-Order Stable Model Semantics and First-Order Loop Formulas. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Joohyung Lee, Ravi Palla Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Stable Models of Fuzzy Propositional Formulas. Search on Bibsonomy PRUV The full citation details ... 2014 DBLP  BibTeX  RDF
1Seung Hyun Jeon, Joohyung Lee, Jun Kyun Choi An adaptive reporting frequency control scheme for energy saving on Wireless Sensor Networks. Search on Bibsonomy ICTC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Man Sun Park, Joohyung Lee, Jun San Kim, S. H. Shah Newaz, Jun Kyun Choi Adaptive layered coding based energy efficient multicast transmission scheme over wireless access networks. Search on Bibsonomy ICTC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 Stable Models of Fuzzy Propositional Formulas. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee System aspmt2smt: Computing ASPMT Theories by SMT Solvers. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Stable Models of Multi-Valued Formulas: Partial versus Total Functions. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Joohyung Lee, Jong Min Lee 0001, Seong Gon Choi, Jun Kyun Choi Practical service level agreement negotiation scheme for multicast service in WiMAX. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee A Functional View of Strong Negation in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee On the stable model semantics for intensional functions. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Byung Chul Yeo, Ji-Su Kim, Min Seok Jang, Jun Kyun Choi Energy Efficient Scalable Video Coding Based Cooperative Multicast Scheme with Selective Layer Forwarding. Search on Bibsonomy IEEE Communications Letters The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph Babb, Joohyung Lee Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hyeontaek Oh, Joohyung Lee, Jun Kyun Choi Energy-efficient dynamic load distribution for heterogeneous access networks. Search on Bibsonomy ICTC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Topi Pulkkinen, Young-Sung Son, Joohyung Lee, Yann-Hang Lee, Mikko Sallinen, Jun-Hee Park Progressive monitoring and treatment planning of diabetes mellitus in smart home environment. Search on Bibsonomy ICCE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Functional Stable Model Semantics and Answer Set Programming Modulo Theories. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz, Fangkai Yang Action Language BC: Preliminary Report. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Ravi Palla Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph Babb, Joohyung Lee Module Theorem for The General Theory of Stable Models Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing first-order causal theories by logic programs. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph Babb, Joohyung Lee Module theorem for the general theory of stable models. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Young Mi Lim, Kwihoon Kim, Seong Gon Choi, Jun Kyun Choi Energy Efficient Cooperative Multicast Scheme Based on Selective Relay. Search on Bibsonomy IEEE Communications Letters The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Neelakantan Kartha, Esra Erdem 0001, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan Vladimir Lifschitz - A Youth at 65. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Joohyung Lee, Yuliya Lierler, David Pearce 0001 (eds.) Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joohyung Lee Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Ravi Palla Reformulating Temporal Action Logics in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Hyung-Gu Park, HongJin Kim, JooHyung Lee, Kang-Yoon Lee, Jin-Gyun Chung Low power multi-channel capacitive touch sensing unit using capacitor to time conversion method. Search on Bibsonomy ISCAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee Stable Models of Formulas with Intensional Functions. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Kyeong min Lee, Joohyung Lee, GwangHui Park, Jun Kyun Choi QoS and power consumption analysis of cooperative multicast scheme with cell zooming. Search on Bibsonomy APCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz Stable models and circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng First-Order Stable Model Semantics and First-Order Loop Formulas. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing First-Order Causal Theories by Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On elementary loops of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Casolary, Joohyung Lee Representing the Language of the Causal Calculator in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Youngmi Lim, Ji Hwan Kim, Seong Gon Choi, Jun Kyun Choi Energy-Efficient Rate Allocation for Multi-Homed Streaming Service over Heterogeneous Access Networks. Search on Bibsonomy GLOBECOM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Ravi Palla Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Joohyung Lee, Ravi Palla Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 127 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license