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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Yunsong Meng

Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability


Sep 16, 2020
Ninghao Liu, Yunsong Meng, Xia Hu, Tie Wang, Bo Long


  Access Paper or Ask Questions

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

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

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