#### Filter Results:

- Full text PDF available (78)

#### Publication Year

2001

2017

- This year (10)
- Last 5 years (63)
- Last 10 years (104)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Cell Type

#### Method

#### Organism

Learn More

- Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
- Artif. Intell.
- 2004

The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrentlyâ€¦ (More)

- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
- Artif. Intell.
- 2011

The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programming. In this paper weâ€¦ (More)

- Joohyung Lee, Vladimir Lifschitz
- ICLP
- 2003

We extend Clarkâ€™s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generalizing the Lin/Zhao theorem, showsâ€¦ (More)

- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
- IJCAI
- 2007

The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In this paper we propose aâ€¦ (More)

- Joohyung Lee
- IJCAI
- 2005

In an important recent paper, Lin and Zhao introduced the concept of a loop formula, and showed that the answer sets for a logic program are exactly the models of Clarkâ€™s completion of the programâ€¦ (More)

- Michael Bartholomew, Joohyung Lee, Yunsong Meng
- IJCAI
- 2011

We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by TruszczyÅ„ski. Unlike theâ€¦ (More)

- Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
- Artif. Intell.
- 2004

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCALC) is a system that answers queries about actionâ€¦ (More)

- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
- IJCAI
- 2009

Splitting a logic program allows us to reduce the task of computing its stable models to similar tasks for smaller programs. This idea is extended here to the general theory of stable models thatâ€¦ (More)

- Taewon Kim, Joohyung Lee, Ravi Palla
- IJCAI
- 2009

Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of circumscription, and can even be characterized in terms of circumscription.â€¦ (More)

- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
- Annals of Mathematics and Artificial Intelligence
- 2006

The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the programâ€™s stable models. In this paper we simplifyâ€¦ (More)