`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:

### Wrote 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.