Yisong Wang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computing sufficient and necessary conditions in CTL: a forgetting approach Information Sciences	2024-04-11	Paper
Witnesses for Answer Sets of Logic Programs ACM Transactions on Computational Logic	2023-04-05	Paper
scientific article; zbMATH DE number 7233958 (Why is no real title available?)	2020-08-12	Paper
Belief change in nonmonotonic multi-context systems Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Embedding functions into disjunctive logic programs Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
The loop formula based semantics of description logic programs Theoretical Computer Science	2012-03-13	Paper
Weight constraint programs with evaluable functions Annals of Mathematics and Artificial Intelligence	2011-11-08	Paper
Embedding functions into disjunctive logic programs	2011-08-24	Paper
Loop formulas for description logic programs Theory and Practice of Logic Programming	2010-08-19	Paper
Weight Constraint Programs with Functions Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper

Research outcomes over time

This page was built for person: Yisong Wang