48 citations · 174 across the 27 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 1 cited
Representing Hybrid Automata by Action Language Modulo Theories
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…
cs.AI2017★ 11 cited
Computing LPMLN Using ASP and MLN Solvers
Joohyung Lee, Samidh Talsania, Yi Wang
LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each r…