Searching for authors named "Zhisheng Huang" – sorted by Relevance.
-
Safety logics II: Normative safety
- Safety Logics II: Normative Safety John Bell and Zhisheng Huang 1 Abstract. In this paper we
- Cited by 1 (0 self) – Add To MetaCart
-
Safety logics I: Absolute safety
- Safety Logics I: Absolute Safety Zhisheng Huang and John Bell* Applied Logic Group Department
- Cited by 1 (0 self) – Add To MetaCart
-
Seeing is Believing
- Seeing is Believing John Bell and Zhisheng Huang Applied Logic Group Computer Science Department
- Cited by 7 (1 self) – Add To MetaCart
-
Dynamic Belief Hierarchies
- Dynamic Belief Hierarchies John Bell and Zhisheng Huang Applied Logic Group Computer Science
- Cited by 3 (3 self) – Add To MetaCart
-
Dynamic Obligation Hierarchies
- Dynamic Obligation Hierarchies John Bell and Zhisheng Huang Applied Logic Group Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
Reasoning with Multi-Version Ontologies: A Temporal Logic Approach
- Reasoning with Multi-Version Ontologies: a Temporal Logic Approach Zhisheng Huang and Heiner
- Cited by 13 (4 self) – Add To MetaCart
-
Inconsistencies, negation and changes in ontologies
- Zhisheng Huang 2,3 Jeff Z. Pan 4 Dimitris Plexousakis 1 Holger Wache 2 1 Institute of Computer Science
- Cited by 2 (1 self) – Add To MetaCart
-
Dynamic Goal Hierarchies
- Dynamic Goal Hierarchies John Bell and Zhisheng Huang Applied Logic Group Computer Science
- Cited by 30 (6 self) – Add To MetaCart
-
Awareness, Negation and Logical Omniscience
- Awareness, Negation and Logical Omniscience Zhisheng Huang and Karen Kwast Department
- Add To MetaCart
-
STEP: A Scripting Language for Embodied Agents
- web agents. Zhisheng Huang, Anton Eliëns and Cees Visser Vrije University Amsterdam, The Netherlands
- Add To MetaCart

