Fangkai Yang

Available identifiers

zbMath Open yang.fangkaiMaRDI QIDQ2900501

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5020557	2022-01-06	Paper
Functional completion	2018-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5740447	2016-07-26	Paper
Lloyd-Topor completion and general stable models	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q5398082	2014-02-25	Paper
Relational theories with null values and non-herbrand stable models	2013-03-13	Paper
Representing first-order causal theories by logic programs	2012-08-30	Paper
Vladimir Lifschitz — A Youth at 65	2012-07-23	Paper
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions	2012-07-23	Paper
Translating First-Order Causal Theories into Answer Set Programming	2010-10-01	Paper
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$	2009-07-02	Paper

Research outcomes over time

This page was built for person: Fangkai Yang