Joohyung Lee

Available identifiers

zbMath Open lee.joohyungMaRDI QIDQ543595

List of research outcomes

Publication	Date of Publication	Type
Statistical relational extension of answer set programming	2023-08-17	Paper
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +	2021-09-03	Paper
Action language \(\mathcal{BC}+\)	2020-08-05	Paper
Bridging commonsense reasoning and probabilistic planning via a probabilistic action language	2020-05-04	Paper
Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\)	2019-10-10	Paper
First-order stable model semantics with intensional functions	2019-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4631191	2019-04-24	Paper
Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs	2018-12-04	Paper
A probabilistic extension of action language \(\mathcal{BC}+\)	2018-12-04	Paper
Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers	2017-11-08	Paper
Representing hybrid automata by action language modulo theories	2017-11-08	Paper
Online action language \(o\mathcal {BC}+\)	2015-11-04	Paper
System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers	2015-01-14	Paper
Stable models of fuzzy propositional formulas	2015-01-14	Paper
On the stable model semantics for intensional functions	2014-02-27	Paper
Stable models of formulas with generalized quantifiers (preliminary report)	2014-02-25	Paper
Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming	2013-10-10	Paper
Module theorem for the general theory of stable models	2013-03-13	Paper
Representing first-order causal theories by logic programs	2012-08-30	Paper
Representing the language of the causal calculator in answer set programming	2012-08-29	Paper
Reformulating action language \(\mathcal{C}+\) in answer set programming	2012-07-23	Paper
Vladimir Lifschitz — A Youth at 65	2012-07-23	Paper
On elementary loops of logic programs	2012-05-24	Paper
Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming	2012-05-16	Paper
First-order stable model semantics and first-order loop formulas	2012-01-12	Paper
Classical logic event calculus as answer set programming	2011-11-23	Paper
Stable models and circumscription	2011-06-17	Paper
Integrating rules and ontologies in the first-order stable model semantics (preliminary report)	2011-05-26	Paper
On Reductive Semantics of Aggregates in Answer Set Programming	2009-11-10	Paper
Logic Programming	2009-08-06	Paper
Safe Formulas in the General Theory of Stable Models (Preliminary Report)	2009-01-22	Paper
Head-Elementary-Set-Free Logic Programs	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Loop formulas for circumscription	2007-10-23	Paper
A generalization of the Lin-Zhao theorem	2006-12-20	Paper
Nonmonotonic causal theories	2006-02-07	Paper
Representing the Zoo World and the Traffic World in the language of the Causal Calculator	2006-02-07	Paper

Research outcomes over time

This page was built for person: Joohyung Lee