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 |
|---|---|---|
| Well-founded operators for normal hybrid MKNF knowledge bases Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| Computing loops with at most one external support rule ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Position systems in dynamic domains Journal of Philosophical Logic | 2015-04-23 | Paper |
| A weighted causal theory for acquiring and utilizing open knowledge International Journal of Approximate Reasoning | 2014-10-23 | Paper |
| Turner's logic of universal causation, propositional logic, and logic programming Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| Computing loops with at most one external support rule for disjunctive logic programs Logic Programming | 2012-11-13 | Paper |
| From Turner's logic of universal causation to the logic of GK Correct Reasoning | 2012-07-23 | Paper |
| A service robot architecture supporting individualized coordination | 2012-01-27 | Paper |
Research outcomes over time
This page was built for person: Jianmin Ji
