Name Card

Full name Familienname, Vorname
Shen, Yi-Dong
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)Konferenzbeitrag Inproceedings 2021
2Shen, Yi-Dong ; Eiter, Thomas Considering Constraint Monotonicity and Foundedness in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
3Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)Konferenzbeitrag Inproceedings 2019
4Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic ProgramsArtikel Article 2019
5Eiter, Thomas ; Shen, Yi-Dong Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)Konferenzbeitrag Inproceedings 2017
6Eiter, Thomas ; Shen, Yi-Dong Evaluating epistemic negation in answer set programmingArtikel Article 2016
7Shen, Yi-Dong ; Eiter, Thomas Evaluating Epistemic Negation in Answer Set ProgrammingBericht Report2015
8Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article2014
9Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsKonferenzbeitrag Inproceedings 2013