The following pages link to Joohyung Lee (Q543595):
Displayed 37 items.
- Stable models and circumscription (Q543596) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\) (Q2326730) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming (Q2851240) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming (Q2887086) (← links)
- Vladimir Lifschitz — A Youth at 65 (Q2900503) (← links)
- Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536) (← links)
- (Q2909140) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Stable Models of Fuzzy Propositional Formulas (Q2938504) (← links)
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers (Q2938519) (← links)
- Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) (Q3003263) (← links)
- (Q3100244) (← links)
- (Q3112629) (← links)
- Action language ℬ𝒞+ (Q3304092) (← links)
- Online Action Language $$o\mathcal {BC}$$+ (Q3449194) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Translating LPOD and CR-Prolog<sub>2</sub>into standard answer set programs (Q4559816) (← links)
- A Probabilistic Extension of Action Language (Q4559817) (← links)
- Representing hybrid automata by action language modulo theories (Q4592716) (← links)
- Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers (Q4592718) (← links)
- (Q4631191) (← links)
- Module theorem for the general theory of stable models (Q4911145) (← links)
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + (Q4957223) (← links)
- Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language (Q5108524) (← links)
- Logic Programming (Q5191497) (← links)
- (Q5398043) (← links)
- On the stable model semantics for intensional functions (Q5398316) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424870) (← links)
- Head-Elementary-Set-Free Logic Programs (Q5425405) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Statistical relational extension of answer set programming (Q6132960) (← links)