Joohyung Lee

Computing LPMLN Using ASP and MLN Solvers

Nov 30, 2017
Joohyung Lee, Samidh Talsania, Yi Wang

Figure 2 for Computing LPMLN Using ASP and MLN Solvers

Figure 3 for Computing LPMLN Using ASP and MLN Solvers

Figure 4 for Computing LPMLN Using ASP and MLN Solvers

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures (arXiv:YYMM.NNNNN)

Access Paper or Ask Questions

Representing Hybrid Automata by Action Language Modulo Theories

Jul 25, 2017
Joohyung Lee, Nikhil Loney, Yunsong Meng

Figure 2 for Representing Hybrid Automata by Action Language Modulo Theories

Figure 3 for Representing Hybrid Automata by Action Language Modulo Theories

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX

Access Paper or Ask Questions

On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic

Jun 28, 2016
Joohyung Lee, Yi Wang

* In Working Notes of the 6th International Workshop on Statistical Relational AI

Access Paper or Ask Questions

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Jan 18, 2014
Joohyung Lee, Ravi Palla

Figure 2 for Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Figure 3 for Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

* Journal Of Artificial Intelligence Research, Volume 43, pages 571-620, 2012

Access Paper or Ask Questions

First-Order Stable Model Semantics and First-Order Loop Formulas

Jan 16, 2014
Joohyung Lee, Yunsong Meng

* Journal Of Artificial Intelligence Research, Volume 42, pages 125-180, 2011

Access Paper or Ask Questions

A Functional View of Strong Negation in Answer Set Programming

Dec 20, 2013
Michael Bartholomew, Joohyung Lee

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey

Access Paper or Ask Questions

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers

Jan 08, 2013
Joohyung Lee, Yunsong Meng

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary

Access Paper or Ask Questions

Module Theorem for The General Theory of Stable Models

Oct 18, 2012
Joseph Babb, Joohyung Lee

* To appear in Theory and Practice of Logic Programming (TPLP)

Access Paper or Ask Questions

Representing First-Order Causal Theories by Logic Programs

Mar 23, 2011
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Figure 2 for Representing First-Order Causal Theories by Logic Programs

* 29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 2011

Access Paper or Ask Questions

On Elementary Loops of Logic Programs

Jan 02, 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler

* 36 pages, 2 figures

Access Paper or Ask Questions

<<

1

2