Yisong Wang

Available identifiers

zbMath Open wang.yisongMaRDI QIDQ645080

List of research outcomes

Publication	Date of Publication	Type
Computing sufficient and necessary conditions in CTL: a forgetting approach	2024-04-11	Paper
Witnesses for Answer Sets of Logic Programs	2023-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3306684	2020-08-12	Paper
Belief Change in Nonmonotonic Multi-Context Systems	2013-10-10	Paper
Embedding Functions into Disjunctive Logic Programs	2013-10-04	Paper
The loop formula based semantics of description logic programs	2012-03-13	Paper
Weight constraint programs with evaluable functions	2011-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q3089164	2011-08-24	Paper
Loop formulas for description logic programs	2010-08-19	Paper
Weight Constraint Programs with Functions	2009-11-10	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper

Research outcomes over time

This page was built for person: Yisong Wang