Zhisheng Huang's Selected Publications and Reports

  • John Bell and Zhisheng Huang,Dynamic belief hierarchies, Proceedings of the 1997 Workshop on Practical Reasoning and Practical Rationality , 1997
  • John Bell, Zhisheng Huang, and Simon Parsons (eds.), Practical Reasoning and Practical Rationality, Proceedings of the 1997 Workshop , 1997
  • Zhisheng Huang and Michael Masuch, The logic of permission and obligation in the framework of ALX3: how to avoid the paradoxes of deontic logics, Journal of Logique and Analyse 149, 1997.
  • Michael Masuch, Zhisheng Huang, A logical deconstruction of organizational action: formalizing J. D. Thompson's Organization in Action in a multi-agent action logic, Journal of Computational and Mathematical Organization Theory 2:2 (1996) 71-114.
  • John Bell and Zhisheng Huang, Dynamic goal hierarchies, in: L. Cavedon, A. Rao, W. Wobcke (eds.), Intelligent Agent Systems, Theoretical and Practical Issues , LNAI 1209, Springer, 1997, 88-103.
  • John Bell and Zhisheng Huang (eds.) , Practical Reasoning and Practical Rationality, Proceedings of the 1996 Workshop , 1996
  • Zhisheng Huang, Michael Masuch, Laszlo Polos, ALX: an action logic for agents with bounded rationality, Journal of Artificial Intelligence , 82/1,75-127, (April 1996).
  • Zhisheng Huang, Michael Masuch, Laszlo Polos, A preference logic for rational actions, in: R. Blanning and D. King, (eds.), Organizational Intelligence: Artificial Intelligence in Organization Design, Modeling and Control, Information Systems Series, (IEEE Computer Society Press, 1996), 194-206.
  • Zhisheng Huang and John Bell, Safety Logic I: Absolute Safety, Proceedings of COMMON SENSE'96, 59-66, 1996.
  • John Bell and Zhisheng Huang, Safety Logic II: Normative Safety, Proceedings of the 1996 ECAI , 1996
  • Zhisheng Huang, Michael Masuch, A multi-agent action logic for bounded rationality , Proceedings of the 1995 AAAI Spring Symposium , 1995.
  • Zhisheng Huang, Michael Masuch, An Outline of ALX3, a Multi-Agent Action Logic, Proceedings of NAIC'95, 1995.
  • Zhisheng Huang and Michael Masuch, The logic of permission and obligation in the framework of ALX3: how to avoid the paradoxes of deontic logics, CCSOM research report 1995-127, 1995.
  • Zhisheng Huang, Peter van Emde Boas, Information acquisition from multi-agent resources, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, (Morgan Kaufmann, Los Altos, CA., 1994).
  • Zhisheng Huang, New advances in reasoning about knowledge, Computer Science, (1994) 3, 49-52. (in Chinese)
  • Zhisheng Huang, Michael Masuch, ALX3: a multi-agent ALX logic, in: Muller, A., and H. W. M. Gazendam (eds.), Multi-agent Systems, (Berlin and New York: De Gruyter) (forthcoming).
  • Zhisheng Huang, Logics for Agents with Bounded Rationality, ILLC Dissertation Series 1994-10, University of Amsterdam, 1994.
  • Michael Masuch, Zhisheng Huang, A logical deconstruction of organizational action: formalizing J. D. Thompson's Organization in Action in a multi-agent action logic, CCSOM paper 1994-120.
  • Zhisheng Huang, Michael Masuch, Reasoning about actions, Computer Science, (1993)3 7-13. (in Chinese).
  • Zhisheng Huang, Michael Masuch, ALX2: the quantifier ALX logic, CCSOM paper 1993-99.
  • Maarten Marx, Zhisheng Huang, Michael Masuch, A new preference logic, CCSOM paper 1993-73.
  • Sieger van Denneheuval, Karen Kwast, Zhisheng Huang, Peter van Emde Boas, A survey of the rule language RL/1, Journal of Computer Science and Technology (1993) 8, 92-96.
  • Laszlo Polos, Michael Masuch, Zhisheng Huang, A hierarchical semantics for the logic of preference, CCSOM paper 1993-98.
  • Zhisheng Huang, Michael Masuch, Laszlo Polos, ALX: the x'th action logic for agents with bounded rationality, CCSOM paper 1992-70a.
  • Zhisheng Huang, Michael Masuch, Laszlo Polos, Een preferentie-logica voor rationele handeling, in: Proceedings of NAIC'92, (1992) 17-28. (in Dutch).
  • Zhisheng Huang and Peter van Emde Boas, Belief dependence, revision and persistence, Proceedings of Eighth Amsterdam Colloquium, (1992) 253-270.
  • Zhisheng Huang, Autoepistemic logic and non-monotonic reasoning, Computer Science, (1992) 4, 9-13. (in Chinese).
  • Zhisheng Huang and Michael Masuch, Reasoning about actions: a comparative survey, CCSOM paper 1991-37.
  • Sieger van Denneheuvel, Karen Kwast, Zhisheng Huang, A normal form for PCSJ expressions, Journal of Zhenjiang Chunbo University (1991)5 58-69.
  • Zhisheng Huang, Theory and methods of belief revision, Computer Science, (1991)6 12-16. (in Chinese).
  • Zhisheng Huang, Logics for belief dependence, in: E. Borger, H. Kleine Buning, M.M. Richter, W. Schonfeld (eds.), Proceedings of the 1990 Workshop on Computer Science Logic (CSL'90), Lecture Notes in Computer Science 533, Springer-Verlag, 1991.
  • Zhisheng Huang, Reasoning about knowledge, Computer Science, (1991)1 46-48. (in Chinese).
  • Zhisheng Huang and Peter van Emde Boas, The Schoenmakers paradox: Its solution in belief dependence framework, Institute for Logic, Language and Information, Preprint LP-1991-05, University of Amsterdam.
  • Zhisheng Huang and Peter van Emde Boas, Belief dependence, revision and persistence, Preprint LP-1991-06, University of Amsterdam.
  • Zhisheng Huang and Karen Kwast, Awareness, negation and logical omniscience, in: J. van Eijck (ed.) Logic in AI, Proceedings of European Workshop on Logics in Artificial Intelligence, (JELIA'90), Lecture Notes in Computer Science 533, (Springer-Verlag, 1991) 282-300.
  • Zhisheng Huang, General epistemic logic and its problems, Philosophical Research, (1990) 5 91-93. (in Chinese).
  • Zhisheng Huang, Dependency of belief in distributed systems, Proceedings of The 7th Amsterdam colloquium, Institute for Language, Logic and Information, University of Amsterdam, 1990.
  • Zhisheng Huang, Sieger van Denneheuvel and Peter van Emde Boas, Towards functional classification of recursive query processing, ITLI-CT-1989-11, Institute for Language, Logic and Information, University of Amsterdam.
  • Liu Daxin and Zhisheng Huang, Semantics of two-level deductive database, Journal of Harbin Engineering University, (1987) 2. (in Chinese).
  • Zhisheng Huang, Cognitive science and its relation with artificial intelligence, Proceedings of the 3rd Annual Meeting of AI Group of Jiangsu Society of Computer Science, 1987. (in Chinese).
  • Zhisheng Huang, Circumscription in logic programming language, Proceedings of the 1st Annual Meeting of AI and Software of China Society of Computer, 1987. (in Chinese).
  • Zhisheng Huang and Liu Daxin, A deductive database based on von Neumann architecture, Journal of Harbin Engineering University, (1986) 1. (in Chinese).
  • Zhisheng Huang, Controlling strategy of HPROLOG, Journal of Harbin Engineering University, (1986) 3. (in Chinese).
  • Zhisheng Huang, Searching approach of two-level deductive database, Journal of Zhenjiang Chuanbo University, (1986) 2. (in Chinese).
    •