Jiefei Ma
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!
| 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
