Jiefei Ma

Available identifiers

zbMath Open ma.jiefeiMaRDI QIDQ2900539

List of research outcomes

Publication	Date of Publication	Type
A declarative approach to distributed computing: Specification, execution and analysis	2014-02-27	Paper
Multi-agent confidential abductive reasoning	2012-08-29	Paper
Declarative Distributed Computing	2012-07-23	Paper
Refinement of History-Based Policies	2011-05-19	Paper
Speculative constraint processing for hierarchical agents	2011-05-18	Paper
Distributed Abductive Reasoning with Constraints	2011-05-11	Paper
On the Implementation of Speculative Constraint Processing	2010-11-09	Paper
Speculative Abductive Reasoning for Hierarchical Agent Systems	2010-08-24	Paper
Pandora: A Reasoning Toolbox using Natural Deduction Style	2007-11-27	Paper

Research outcomes over time

This page was built for person: Jiefei Ma