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
Representing hybrid automata by action language modulo theories	2017-11-08	Paper
Computing LPMLN using ASP and MLN solvers	2017-11-08	Paper
Online Action Language $$o\mathcal {BC}$$+	2015-11-04	Paper
Stable Models of Fuzzy Propositional Formulas	2015-01-14	Paper
System aspmt2smt: Computing ASPMT Theories by SMT Solvers	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
https://portal.mardi4nfdi.de/entity/Q2909140	2012-08-29	Paper
Vladimir Lifschitz — A Youth at 65	2012-07-23	Paper
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joohyung Lee