| Code, Nr | Citation |
|---|---|
1 | NIL Zhisheng Huang's Selected Publications and Reports |
2 | http://www.dcs.qmw.ac.uk/~jb/ratio/dbh.ps John Bell and Zhisheng Huang , Dynamic belief hierarchies , Proceedings of the 1997 Workshop on Practical Reasoning and Practical Rationality , 1997 |
3 | http://www.dcs.qmw.ac.uk/~jb/prr/prr97/proc.html John Bell, Zhisheng Huang , and Simon Parsons (eds.), Practical Reasoning and Practical Rationality, Proceedings of the 1997 Workshop , 1997 |
4 | http://www.dcs.qmw.ac.uk/~huang/papers/deont.ps.Z 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. |
5 | NIL 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. |
6 | http://www.dcs.qmw.ac.uk/~jb/ratio/dgh.ps 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. |
7 | NIL John Bell and Zhisheng Huang (eds.) , Practical Reasoning and Practical Rationality, Proceedings of the 1996 Workshop , 1996 |
8 | http://www.dcs.qmw.ac.uk/~huang/ALX1.html 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). |
9 | http://www.dcs.qmw.ac.uk/~huang/pref.html 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. |
10 | http://www.dcs.qmw.ac.uk/~huang/papers/safety1.ps Zhisheng Huang and John Bell, Safety Logic I: Absolute Safety , Proceedings of COMMON SENSE'96 , 59-66, 1996. |
11 | http://www.dcs.qmw.ac.uk/~huang/papers/safety2.ps John Bell and Zhisheng Huang , Safety Logic II: Normative Safety , Proceedings of the 1996 ECAI , 1996 |
12 | http://www.dcs.qmw.ac.uk/~huang/papers/stanford.ps Zhisheng Huang , Michael Masuch, A multi-agent action logic for bounded rationality , Proceedings of the 1995 AAAI Spring Symposium , 1995. |
13 | http://www.dcs.qmw.ac.uk/~huang/papers/naic95.ps Zhisheng Huang , Michael Masuch, An Outline of ALX3, a Multi-Agent Action Logic, Proceedings of NAIC'95 , 1995. |
14 | http://www.dcs.qmw.ac.uk/~huang/papers/deont.ps.Z 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. |
15 | NIL 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). |
16 | NIL Zhisheng Huang , New advances in reasoning about knowledge, Computer Science , (1994) 3 , 49-52. (in Chinese) |
17 | NIL 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). |
18 | http://www.dcs.qmw.ac.uk/~huang/ccsom/actionlogic.html Zhisheng Huang , Logics for Agents with Bounded Rationality, ILLC Dissertation Series 1994-10, University of Amsterdam, 1994. |
19 | NIL 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. |
20 | NIL Zhisheng Huang , Michael Masuch, Reasoning about actions, Computer Science, (1993) 3 7-13. (in Chinese). |
21 | NIL Zhisheng Huang , Michael Masuch, ALX2: the quantifier ALX logic, CCSOM paper 1993-99. |
22 | NIL Maarten Marx, Zhisheng Huang , Michael Masuch, A new preference logic, CCSOM paper 1993-73. |
23 | NIL 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. |
24 | NIL Laszlo Polos, Michael Masuch, Zhisheng Huang , A hierarchical semantics for the logic of preference, CCSOM paper 1993-98. |
25 | NIL Zhisheng Huang , Michael Masuch, Laszlo Polos, ALX: the x'th action logic for agents with bounded rationality, CCSOM paper 1992-70a. |
26 | NIL Zhisheng Huang , Michael Masuch, Laszlo Polos, Een preferentie-logica voor rationele handeling, in: Proceedings of NAIC'92, (1992) 17-28. (in Dutch). |
27 | NIL Zhisheng Huang and Peter van Emde Boas, Belief dependence, revision and persistence, Proceedings of Eighth Amsterdam Colloquium , (1992) 253-270. |
28 | NIL Zhisheng Huang , Autoepistemic logic and non-monotonic reasoning, Computer Science , (1992) 4 , 9-13. (in Chinese). |
29 | NIL Zhisheng Huang and Michael Masuch, Reasoning about actions: a comparative survey, CCSOM paper 1991-37. |
30 | NIL Sieger van Denneheuvel, Karen Kwast, Zhisheng Huang , A normal form for PCSJ expressions, Journal of Zhenjiang Chunbo University (1991) 5 58-69. |
31 | NIL Zhisheng Huang , Theory and methods of belief revision, Computer Science, (1991) 6 12-16. (in Chinese). |
32 | NIL 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. |
33 | NIL Zhisheng Huang , Reasoning about knowledge, Computer Science, (1991) 1 46-48. (in Chinese). |
34 | NIL 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. |
35 | NIL Zhisheng Huang and Peter van Emde Boas, Belief dependence, revision and persistence, Preprint LP-1991-06, University of Amsterdam. |
36 | NIL 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. |
37 | NIL Zhisheng Huang , General epistemic logic and its problems, Philosophical Research, (1990) 5 91-93. (in Chinese). |
38 | NIL Zhisheng Huang , Dependency of belief in distributed systems, Proceedings of The 7th Amsterdam colloquium, Institute for Language, Logic and Information, University of Amsterdam, 1990. |
39 | NIL 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. |
40 | NIL Liu Daxin and Zhisheng Huang , Semantics of two-level deductive database, Journal of Harbin Engineering University , (1987) 2 . (in Chinese). |
41 | NIL 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). |
42 | NIL 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). |
43 | NIL Zhisheng Huang and Liu Daxin, A deductive database based on von Neumann architecture, Journal of Harbin Engineering University, (1986) 1 . (in Chinese). |
44 | NIL Zhisheng Huang , Controlling strategy of HPROLOG, Journal of Harbin Engineering University, (1986) 3 . (in Chinese). |
45 | NIL Zhisheng Huang , Searching approach of two-level deductive database, Journal of Zhenjiang Chuanbo University, (1986) 2 . (in Chinese). |