Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Computing LPMLN Using ASP and MLN Solvers


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

* 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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Representing Hybrid Automata by Action Language Modulo Theories


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

* 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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

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

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Representing First-Order Causal Theories by Logic Programs


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

* 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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Elementary Loops of Logic Programs


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

* 36 pages, 2 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
<<
1
2