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 ℬ𝒞+	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-Prolog2into standard answer set programs	2018-12-04	Paper
A Probabilistic Extension of Action Language	2018-12-04	Paper
Computing LPMLN 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 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
https://portal.mardi4nfdi.de/entity/Q5398043	2014-02-25	Paper
Cplus 2ASP: Computing Action Language ${\cal 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
https://portal.mardi4nfdi.de/entity/Q3112629	2012-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3100244	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