Fangkai Yang

From MaRDI portal



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!

PublicationDate of PublicationType
A human-centered data-driven planner-actor-critic architecture via logic programming2022-01-06Paper
A human-centered data-driven planner-actor-critic architecture via logic programming
(available as arXiv preprint)
2022-01-06Paper
Functional completion
Journal of Applied Non-Classical Logics
2018-08-28Paper
Eliminating function symbols from a nonmonotoic causal theory2016-07-26Paper
Lloyd-Topor completion and general stable models
Theory and Practice of Logic Programming
2014-02-27Paper
Extending \(\mathcal{C}\)+ with composite actions for robotic task planning2014-02-25Paper
Relational theories with null values and non-Herbrand stable models
Theory and Practice of Logic Programming
2013-03-13Paper
Representing first-order causal theories by logic programs
Theory and Practice of Logic Programming
2012-08-30Paper
Vladimir Lifschitz — A Youth at 65
Correct Reasoning
2012-07-23Paper
Extending action language \(\mathcal{C}+\) by formalizing composite actions
Correct Reasoning
2012-07-23Paper
Translating first-order causal theories into answer set programming
Logics in Artificial Intelligence
2010-10-01Paper
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
Lecture Notes in Computer Science
2009-07-02Paper


Research outcomes over time


This page was built for person: Fangkai Yang