The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yunsong Meng" ( http://dblp.L3S.de/Authors/Yunsong_Meng )

  Author page on DBLP  Author page in RDF  Community of Yunsong Meng in ASPL-2

Publication years (Num. hits)
2008-2017 (14)
Publication types (Num. hits)
article(5) inproceedings(8) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joohyung Lee, Nikhil Loney, Yunsong Meng Representing Hybrid Automata by Action Language Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Joohyung Lee, Nikhil Loney, Yunsong Meng Representing hybrid automata by action language modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng, Yi Wang 0048 Markov Logic Style Weighted Rules under the Stable Model Semantics. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng First-Order Stable Model Semantics and First-Order Loop Formulas. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Yunsong Meng Answer Set Programming and Other Computing Paradigms. Search on Bibsonomy 2013   RDF
1Joohyung Lee, Yunsong Meng Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng First-Order Stable Model Semantics and First-Order Loop Formulas. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee, Yunsong Meng First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng Representing and Reasoning about Web Access Control Policies. Search on Bibsonomy COMPSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng On Reductive Semantics of Aggregates in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yunsong Meng On Loop Formulas with Variables. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license