Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yunsong Meng
@article{DBLP:journals/corr/abs-2307-10226,
author = {Joohyung Lee and
Yunsong Meng},
title = {On Loop Formulas with Variables},
journal = {CoRR},
volume = {abs/2307.10226},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10226},
doi = {10.48550/ARXIV.2307.10226},
eprinttype = {arXiv},
eprint = {2307.10226},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07494,
author = {Ninghao Liu and
Yunsong Meng and
Xia Hu and
Tie Wang and
Bo Long},
title = {Are Interpretations Fairly Evaluated? {A} Definition Driven Pipeline
for Post-Hoc Interpretability},
journal = {CoRR},
volume = {abs/2009.07494},
year = {2020},
url = {https://arxiv.org/abs/2009.07494},
eprinttype = {arXiv},
eprint = {2009.07494},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeeLM17,
author = {Joohyung Lee and
Nikhil Loney and
Yunsong Meng},
title = {Representing hybrid automata by action language modulo theories},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {924--941},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000412},
doi = {10.1017/S1471068417000412},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeeLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeeLM17,
author = {Joohyung Lee and
Nikhil Loney and
Yunsong Meng},
title = {Representing Hybrid Automata by Action Language Modulo Theories},
journal = {CoRR},
volume = {abs/1707.06387},
year = {2017},
url = {http://arxiv.org/abs/1707.06387},
eprinttype = {arXiv},
eprint = {1707.06387},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LeeLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeeMW15,
author = {Joohyung Lee and
Yunsong Meng and
Yi Wang},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Markov Logic Style Weighted Rules under the Stable Model Semantics},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_62.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeeMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeeM14,
author = {Joohyung Lee and
Yunsong Meng},
title = {First-Order Stable Model Semantics and First-Order Loop Formulas},
journal = {CoRR},
volume = {abs/1401.3898},
year = {2014},
url = {http://arxiv.org/abs/1401.3898},
eprinttype = {arXiv},
eprint = {1401.3898},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LeeM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Meng13a,
author = {Yunsong Meng},
title = {Answer Set Programming and Other Computing Paradigms},
school = {Arizona State University, Tempe, {USA}},
year = {2013},
url = {https://hdl.handle.net/2286/R.I.17828},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Meng13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeM13,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Francesca Rossi},
title = {Answer Set Programming Modulo Theories and Reasoning about Continuous
Changes},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {990--996},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6895},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeeM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1393,
author = {Joohyung Lee and
Yunsong Meng},
title = {Two New Definitions of Stable Models of Logic Programs with Generalized
Quantifiers},
journal = {CoRR},
volume = {abs/1301.1393},
year = {2013},
url = {http://arxiv.org/abs/1301.1393},
eprinttype = {arXiv},
eprint = {1301.1393},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeeM12,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Stable Models of Formulas with Generalized Quantifiers (Preliminary
Report)},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {61--71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.61},
doi = {10.4230/LIPICS.ICLP.2012.61},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LeeM11,
author = {Joohyung Lee and
Yunsong Meng},
title = {First-Order Stable Model Semantics and First-Order Loop Formulas},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {125--180},
year = {2011},
url = {http://jair.org/papers/paper3337.html},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LeeM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BartholomewLM11,
author = {Michael Bartholomew and
Joohyung Lee and
Yunsong Meng},
title = {First-Order Semantics of Aggregates in Answer Set Programming Via
Modified Circumscription},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2472},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BartholomewLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BartholomewLM11,
author = {Michael Bartholomew and
Joohyung Lee and
Yunsong Meng},
editor = {Toby Walsh},
title = {First-Order Extension of the {FLP} Stable Model Semantics via Modified
Circumscription},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {724--730},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-128},
doi = {10.5591/978-1-57735-516-8/IJCAI11-128},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BartholomewLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AhnHLM10,
author = {Gail{-}Joon Ahn and
Hongxin Hu and
Joohyung Lee and
Yunsong Meng},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Representing and Reasoning about Web Access Control Policies},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.20},
doi = {10.1109/COMPSAC.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/AhnHLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeeM09,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On Reductive Semantics of Aggregates in Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {182--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_17},
doi = {10.1007/978-3-642-04238-6\_17},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeeM08,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On Loop Formulas with Variables},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {444--453},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-043.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeeM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
