48 citations · 174 across the 27 of their papers we have counts for
4 papers · 1 filter
Action Language BC+
Joseph Babb, Joohyung Lee
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of a…
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…
LPMLN, Weak Constraints, and P-log
Joohyung Lee, Zhun Yang
LPMLN is a recently introduced formalism that extends answer set programs by adopting the log-linear weight scheme of Markov Logic. This paper investigates the relationships betwee…
System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
Michael Bartholomew, Joohyung Lee
Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics.…