Search results for "Yisong Wang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang	The loop formula based semantics of description logic programs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter	Embedding Description Logic Programs into Default Logic	CoRR	2011	DBLP BibTeX RDF
1	Yisong Wang, Ying Zhang, Mingyi Zhang	Constructing first-order loops of normal logic programs.	FSKD	2011	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen	Loop Formulas for Description Logic Programs	CoRR	2010	DBLP BibTeX RDF
1	Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang	Weight constraint programs with evaluable functions.	Ann. Math. Artif. Intell.	2010	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen	Loop formulas for description logic programs.	TPLP	2010	DBLP DOI BibTeX RDF
1	Yisong Wang, Mingyi Zhang, Jia-Huai You	Logic Programs, Compatibility and Forward Chaining Construction.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang	Weight Constraint Programs with Functions.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Yisong Wang, Xinqiang Ma	Some Results on Order-Consistent Logic Programs.	FSKD	2008	DBLP DOI BibTeX RDF
1	Fangzhen Lin, Yisong Wang	Answer Set Programming with Functions.	KR	2008	DBLP BibTeX RDF
1	Yisong Wang, Mingyi Zhang, Yu-Ping Shen	Consistency Property of Finite FC-Normal Logic Programs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	consistency property, FC-normality, artificial intelligence, logic programs, stable model
1	Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang	First-Order Loop Formulas for Normal Logic Programs.	KR	2006	DBLP BibTeX RDF
1	Yisong Wang, Mingyi Zhang	Revision Programs with Explicit Negation.	ICTAC	2004	DBLP DOI BibTeX RDF

Publications of "Yisong Wang" ( http://dblp.L3S.de/Authors/Yisong_Wang )