Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Hungary
1 × India
1 × Ireland
1 × USA
2 × Italy
Collaborated with:M.Bartholomew Y.Meng V.Lifschitz Y.Wang J.Babb M.Casolary Y.Zhang R.Palla
Talks about:stabl (8) model (8) formula (7) general (4) function (3) program (3) theori (3) intension (2) semant (2) answer (2)
Person: Joohyung Lee
DBLP: Lee:Joohyung
Contributed to:
2015
2014201320122012201220112010200820082003Wrote 12 papers:
- ICLP-2015-LeeMW #logic #markov #semantics
- Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW), pp. 207–220.
- ICLP-2015-LeeWZ #automation #programming #reasoning #set #using
- Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ), pp. 247–259.
- KR-2014-BartholomewL #modelling #multi
- Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).
- ICLP-J-2013-BartholomewL #on the #semantics
- On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
- ICLP-2012-LeeM #modelling #quantifier
- Stable Models of Formulas with Generalized Quantifiers (JL, YM), pp. 61–71.
- ICLP-J-2012-BabbL #modelling #theorem
- Module theorem for the general theory of stable models (JB, JL), pp. 719–735.
- KR-2012-BartholomewL #modelling
- Stable Models of Formulas with Intensional Functions (MB, JL).
- ICLP-2011-CasolaryL #programming #representation #set
- Representing the Language of the Causal Calculator in Answer Set Programming (MC, JL), pp. 51–61.
- KR-2010-BartholomewL #decidability #modelling
- A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).
- ICLP-2008-LeeLP #modelling
- Safe Formulas in the General Theory of Stable Models (JL, VL, RP), pp. 672–676.
- KR-2008-LeeM #on the
- On Loop Formulas with Variables (JL, YM), pp. 444–453.
- ICLP-2003-LeeL #logic programming #source code
- Loop Formulas for Disjunctive Logic Programs (JL, VL), pp. 451–465.