44 citations · 44 across the 2 of their papers we have counts for
6 papers
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
Joseph Babb, Joohyung Lee
We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calcu…
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…
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.…