Joohyung Lee Vis

*	2009
22	EE	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Symmetric Splitting in the General Theory of Stable Models. IJCAI 2009: 797-803
21	EE	Tae-Won Kim, Joohyung Lee, Ravi Palla: Circumscriptive Event Calculus as Answer Set Programming. IJCAI 2009: 823-829
20	EE	Joohyung Lee, Yunsong Meng: On Reductive Semantics of Aggregates in Answer Set Programming. LPNMR 2009: 182-195
19	EE	Joohyung Lee, Ravi Palla: System f2lp - Computing Answer Sets of First-Order Formulas. LPNMR 2009: 515-521
	2008
18		Joohyung Lee, Vladimir Lifschitz, Ravi Palla: A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI 2008: 472-479
17	EE	Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP 2008: 672-676
16		Joohyung Lee, Yunsong Meng: On Loop Formulas with Variables. KR 2008: 444-453
	2007
15	EE	Joohyung Lee, Ravi Palla: Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CENT 2007
14	EE	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A New Perspective on Stable Models. IJCAI 2007: 372-379
13	EE	Martin Gebser, Joohyung Lee, Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161
	2006
12		Martin Gebser, Joohyung Lee, Yuliya Lierler: Elementary Sets of Logic Programs. AAAI 2006
11	EE	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006)
10	EE	Joohyung Lee, Fangzhen Lin: Loop formulas for circumscription. Artif. Intell. 170(2): 160-185 (2006)
	2005
9	EE	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	EE	Joohyung Lee: Nondefinite vs. Definite Causal Theories. LPNMR 2004: 141-153
6	EE	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	EE	Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner: Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)
	2003
4	EE	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	EE	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	EE	Joohyung Lee, Vladimir Lifschitz: Additive Fluents. Answer Set Programming 2001

Coauthor Index

1	Varol Akman	[6]
2	Selim T. Erdogan	[6]
3	Paolo Ferraris	[11] [14] [22]
4	Martin Gebser	[12] [13]
5	Yogesh B. Gianchandani	[2]
6	Enrico Giunchiglia	[5]
7	Tae-Won Kim	[21]
8	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[12] [13]
9	Vladimir Lifschitz	[1] [3] [4] [5] [6] [11] [14] [17] [18] [22]
10	Fangzhen Lin	[8] [10]
11	Norman McCain	[5]
12	Yunsong Meng	[16] [20]
13	Ravi Palla	[15] [17] [18] [19] [21] [22]
14	Hudson Turner	[5] [6]

Colors in the list of coauthors