BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Hungary
1 × Ireland
Collaborated with:
J.Lee Y.Wang
Talks about:
formula (2) stabl (2) model (2) quantifi (1) variabl (1) general (1) weight (1) semant (1) markov (1) under (1)

Person: Yunsong Meng

DBLP DBLP: Meng:Yunsong

Contributed to:

ICLP TC 20152015
ICLP 20122012
KR 20082008

Wrote 3 papers:

ICLP-2015-LeeMW #logic #markov #semantics
Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW), pp. 207–220.
ICLP-2012-LeeM #modelling #quantifier
Stable Models of Formulas with Generalized Quantifiers (JL, YM), pp. 61–71.
KR-2008-LeeM #on the
On Loop Formulas with Variables (JL, YM), pp. 444–453.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.