activity
20132019
most citedComputing LPMLN Using ASP and MLN Solvers

11 citations · 17 across the 6 of their papers we have counts for

collaborators

11 papers

cs.MM20192 cited

An Attention-Based Speaker Naming Method for Online Adaptation in Non-Fixed Scenarios

Jungwoo Pyo, Joohyun Lee, Youngjune Park +2

A speaker naming task, which finds and identifies the active speaker in a certain movie or drama scene, is crucial for dealing with high-level video analysis applications such as a…

cs.AI2019

Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language

Yi Wang, Shiqi Zhang, Joohyung Lee

To be responsive to dynamically changing real-world environments, an intelligent agent needs to perform complex sequential decision-making tasks that are often guided by commonsens…

cs.DB20191 cited

Explainable Fact Checking with Probabilistic Answer Set Programming

Naser Ahmadi, Joohyung Lee, Paolo Papotti +1

One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KG…

cs.AI2019

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+

Yi Wang, Joohyung Lee

We extend probabilistic action language pBC+ with the notion of utility as in decision theory. The semantics of the extended pBC+ can be defined as a shorthand notation for a decis…

cs.AI2018

Weight Learning in a Probabilistic Extension of Answer Set Programs

Joohyung Lee, Yi Wang

LPMLN is a probabilistic extension of answer set programs with the weight scheme derived from that of Markov Logic. Previous work has shown how inference in LPMLN can be achieved.…

cs.AI2018

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

Joohyung Lee, Zhun Yang

Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an…