 | 2012 |
|---|
| 38 |       | Joohyung Lee,
Young Mi Lim,
Kwihoon Kim,
Seong Gon Choi,
Jun Kyun Choi:
Energy Efficient Cooperative Multicast Scheme Based on Selective Relay.
IEEE Communications Letters 16(3): 386-388 (2012) |
| 37 | | Joohyung Lee,
Ravi Palla:
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.
J. Artif. Intell. Res. (JAIR) 43: 571-620 (2012) |
| 2011 |
|---|
| 36 | | Michael Bartholomew,
Joohyung Lee,
Yunsong Meng:
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 |
| 35 | | Joohyung Lee,
Ravi Palla:
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 |
| 34 | | Michael Casolary,
Joohyung Lee:
Representing the Language of the Causal Calculator in Answer Set Programming.
ICLP (Technical Communications) 2011: 51-61 |
| 33 | | Michael Bartholomew,
Joohyung Lee,
Yunsong Meng:
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.
IJCAI 2011: 724-730 |
| 32 | | Joohyung Lee,
Ravi Palla:
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).
LPNMR 2011: 248-253 |
| 31 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
Stable models and circumscription.
Artif. Intell. 175(1): 236-263 (2011) |
| 30 | | Paolo Ferraris,
Joohyung Lee,
Yuliya Lierler,
Vladimir Lifschitz,
Fangkai Yang:
Representing First-Order Causal Theories by Logic Programs
CoRR abs/1103.4558: (2011) |
| 29 | | Joohyung Lee,
Yunsong Meng:
First-Order Stable Model Semantics and First-Order Loop Formulas.
J. Artif. Intell. Res. (JAIR) 42: 125-180 (2011) |
| 28 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
On elementary loops of logic programs.
TPLP 11(6): 953-988 (2011) |
| 2010 |
|---|
| 27 | | Joohyung Lee,
Ravi Palla:
Situation Calculus as Answer Set Programming.
AAAI 2010 |
| 26 | | Gail-Joon Ahn,
Hongxin Hu,
Joohyung Lee,
Yunsong Meng:
Representing and Reasoning about Web Access Control Policies.
COMPSAC 2010: 137-146 |
| 25 | | Michael Bartholomew,
Joohyung Lee:
A Decidable Class of Groundable Formulas in the General Theory of Stable Models.
KR 2010 |
| 24 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
On Elementary Loops of Logic Programs
CoRR abs/1012.5847: (2010) |
| 2009 |
|---|
| 23 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Symmetric Splitting in the General Theory of Stable Models.
IJCAI 2009: 797-803 |
| 22 | | Tae-Won Kim,
Joohyung Lee,
Ravi Palla:
Circumscriptive Event Calculus as Answer Set Programming.
IJCAI 2009: 823-829 |
| 21 | | Joohyung Lee,
Yunsong Meng:
On Reductive Semantics of Aggregates in Answer Set Programming.
LPNMR 2009: 182-195 |
| 20 | | Joohyung Lee,
Ravi Palla:
System f2lp - Computing Answer Sets of First-Order Formulas.
LPNMR 2009: 515-521 |
| 2008 |
|---|
| 19 |  | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming.
AAAI 2008: 472-479 |
| 18 | | Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Safe Formulas in the General Theory of Stable Models (Preliminary Report).
ICLP 2008: 672-676 |
| 17 | | Joohyung Lee,
Yunsong Meng:
On Loop Formulas with Variables.
KR 2008: 444-453 |
| 2007 |
|---|
| 16 | | Joohyung Lee,
Ravi Palla:
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
CENT 2007 |
| 15 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A New Perspective on Stable Models.
IJCAI 2007: 372-379 |
| 14 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs.
LPNMR 2007: 149-161 |
| 2006 |
|---|
| 13 | | Martin Gebser,
Joohyung Lee,
Yuliya Lierler:
Elementary Sets of Logic Programs.
AAAI 2006: 244-249 |
| 12 | | Joohyung Lee,
Vladimir Lifschitz:
A Knowledge Module: Buying and Selling.
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 28-32 |
| 11 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A generalization of the Lin-Zhao theorem.
Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006) |
| 10 | | Joohyung Lee,
Fangzhen Lin:
Loop formulas for circumscription.
Artif. Intell. 170(2): 160-185 (2006) |
| 2005 |
|---|
| 9 | | Joohyung Lee:
A Model-Theoretic Counterpart of Loop Formulas.
IJCAI 2005: 503-508 |
| 2004 |
|---|
| 8 | | Joohyung Lee,
Fangzhen Lin:
Loop Formulas for Circumscription.
AAAI 2004: 281-286 |
| 7 | | Joohyung Lee:
Nondefinite vs. Definite Causal Theories.
LPNMR 2004: 141-153 |
| 6 | | Varol Akman,
Selim T. Erdogan,
Joohyung Lee,
Vladimir Lifschitz,
Hudson Turner:
Representing the Zoo World and the Traffic World in the language of the Causal Calculator.
Artif. Intell. 153(1-2): 105-140 (2004) |
| 5 | | Enrico Giunchiglia,
Joohyung Lee,
Vladimir Lifschitz,
Norman McCain,
Hudson Turner:
Nonmonotonic causal theories.
Artif. Intell. 153(1-2): 49-104 (2004) |
| 2003 |
|---|
| 4 | | Joohyung Lee,
Vladimir Lifschitz:
Loop Formulas for Disjunctive Logic Programs.
ICLP 2003: 451-465 |
| 3 | | Joohyung Lee,
Vladimir Lifschitz:
Describing Additive Fluents in Action Language C+.
IJCAI 2003: 1079-1084 |
| 2 | | Joohyung Lee,
Yogesh B. Gianchandani:
A scanning thermal microscopy system with a temperature dithering, servo-controlled interface circuit.
ISCAS (4) 2003: 812-815 |
| 2001 |
|---|
| 1 | | Joohyung Lee,
Vladimir Lifschitz:
Additive Fluents.
Answer Set Programming 2001 |
Data released under the ODC-BY 1.0 license — See also our legal information page