Fangkai Yang

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
scientific article; zbMATH DE number 7453114 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453114 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
Functional completion Journal of Applied Non-Classical Logics	2018-08-28	Paper
Eliminating function symbols from a nonmonotoic causal theory	2016-07-26	Paper
Lloyd-Topor completion and general stable models Theory and Practice of Logic Programming	2014-02-27	Paper
Extending $\mathcal{C}$+ with composite actions for robotic task planning	2014-02-25	Paper
Relational theories with null values and non-Herbrand stable models Theory and Practice of Logic Programming	2013-03-13	Paper
Representing first-order causal theories by logic programs Theory and Practice of Logic Programming	2012-08-30	Paper
Vladimir Lifschitz — A Youth at 65 Correct Reasoning	2012-07-23	Paper
Extending action language $\mathcal{C}+$ by formalizing composite actions Correct Reasoning	2012-07-23	Paper
Translating first-order causal theories into answer set programming Logics in Artificial Intelligence	2010-10-01	Paper
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ Lecture Notes in Computer Science	2009-07-02	Paper

Research outcomes over time

This page was built for person: Fangkai Yang