Yunsong Meng

Identifiers

• name variant Yunsong Meng 0.60 · backfill

Papers (3)

1. Representing Hybrid Automata by Action Language Modulo Theories cs.AI · 2017 · author #3
2. First-Order Stable Model Semantics and First-Order Loop Formulas cs.LO · 2014 · author #2
3. Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers cs.LO · 2013 · author #2

Mentions

• 1301.1393 #2 · backfill · confidence 0.70 Yunsong Meng

Frequent Coauthors

• Joohyung Lee 3 shared papers
• Nikhil Loney 1 shared papers