activity
20162026
most citedWeighted Rules under the Stable Model Semantics

44 citations · 68 across the 8 of their papers we have counts for

collaborators

8 papers

cs.AI2026★ 44 cited

Weighted Rules under the Stable Model Semantics

Joohyung Lee, Yi Wang

We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the determi…

cs.AI2025

Fuzzy Propositional Formulas under the Stable Model Semantics

Joohyung Lee, Yi Wang

We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional form…

cs.AI2019★ 3 cited

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.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★ 7 cited

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★ 1 cited

A Probabilistic Extension of Action Language BC+

Joohyung Lee, Yi Wang

We present a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the propose…