Jiefei Ma
From MaRDI portal
Person:2900539
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 |
|---|---|---|
| A declarative approach to distributed computing: specification, execution and analysis Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Multi-agent confidential abductive reasoning | 2012-08-29 | Paper |
| Declarative distributed computing Correct Reasoning | 2012-07-23 | Paper |
| Refinement of history-based policies Lecture Notes in Computer Science | 2011-05-19 | Paper |
| Speculative constraint processing for hierarchical agents AI Communications | 2011-05-18 | Paper |
| Distributed Abductive Reasoning with Constraints Declarative Agent Languages and Technologies VIII | 2011-05-11 | Paper |
| On the Implementation of Speculative Constraint Processing Lecture Notes in Computer Science | 2010-11-09 | Paper |
| Speculative abductive reasoning for hierarchical agent systems Lecture Notes in Computer Science | 2010-08-24 | Paper |
| Pandora: A Reasoning Toolbox using Natural Deduction Style Logic Journal of the IGPL | 2007-11-27 | Paper |
Research outcomes over time
This page was built for person: Jiefei Ma
