Welcome to Zhisheng Huang's Home page
Zhisheng's Photo

Zhisheng Huang

   
   
My Chinese Blog
   
 

Research Interests
My areas of research are Artificial Intelligence and Multimedia. My main interests are: logical foundation of the Semantic Web, intelligent multimedia technology, formal theories of intelligent agents, and their implementation, applied logics for decision support systems, and reasoning about actions.

I am interested in the philosophy of mind, too.

 
 
Selected Publications

2010

  • Zhisheng Huang, Towards the Evaluation of the LarKC Reasoner Plug-ins, Proceedings of International Workshop on Evaluation of Semantic Technologies (IWEST 2010), ISWC2010 Workshop, 2010.
  • Zhisheng Huang, Interleaving Reasoning and Selection with Semantic Data, Proceedings of the 4th International Workshop on Ontology Dynamics (IWOD-10), ISWC2010 Workshop, 2010.
  • Tony Lee, Stanley Park, Zhisheng Huang and Emanuele Della Valle, Toward Seoul Road Sign Management on LarKC Platform, Proceedings of the 9th International Semantic Web Conference (ISWC2010), Track of Posters and Demos, 2010
  • Zhisheng Huang, Jeff Pan, and Guilin Qi, Scalable Reasoning for the Semantic Web, Communication of China Computer Federation, Vol.6, No.8, 19-25, 2010 (in Chinese).
  • Jun Fang and Zhisheng Huang, A New Approach of Reasoning with Inconsistent Ontologies, Proceedings of the 4th Chinese Semantic Web Symposium, 2010.
  • Yan Wang, Cong Wang, Yi Zeng, Zhisheng Huang, Vassil Momtchev, Bo Andersson, Xu Ren, and Ning Zhong, Normalized Medline Distance and Its Utilization in Context-aware Life Science Literature Search, Proceedings of the 4th Chinese Semantic Web Symposium, 2010.
  • Zhisheng Huang, Uwe Keller, Ning Zhong, and Florian Fischer, Web Scale Reasoning: Scalable, Tolerant, and Dynamic (Guest Editors' Introduction), International Journal of Semantic Computing, Vol.4, No.1, 1-2, 2010.
  • Xu Ren, Yi Zeng, Yulin Qin, Ning Zhong, Zhisheng Huang, Yan Wang, and Cong Wang, Social Relation Based Search Refinement: Letting Your Friends Help You!, Proceedings of the 2010 International Conference on Active Media Technology (AMT10), Notes in Artificial Intelligence (LNAI), 2010.
  • Yi Zeng, Yan Wang, Zhisheng Huang, Danica Damljanovic, Ning Zhong, and Cong Wang, User Interests: Its Definition, Vocabulary, and Utilization in Unifying Search and Reasoning, Proceedings of the 2010 International Conference on Active Media Technology (AMT10), Notes in Artificial Intelligence (LNAI), 2010.
  • Stefano Ceri, Emanuele Della Valle, Jim Hendler, and Zhisheng Huang (Eds.), New Forms of Reasoning for the Semantic Web: Scalable and Dynamic, Proceedings of the NeFoRS2010 Workshop, co-located with ESWC2010, 2010.
  • Yi Zeng, Ning Zhong, Yan Wang, Yulin Qin, Zhisheng Huang, Haiyan Zhou, Yiyu Yao, and Frank van Harmelen, User-centric Query Refinement and Processing Using Granularity Based Strategies, Journal of Knowledge and Information Systems, 2010.
  • Zaiyue Zhang, Zhisheng Huang, Shang Gao, Xiaoru Zhang, Xiaofei Zhang and Aiping Shi, Towards Scalable Semantic Data Processing by Knowledge Summarization, Proceedings of 2010 International Colloquium on Computing, Communication, Control, and Management (CCCM 2010), IEEE Press, 2010.
  • Gaston Tagni, Zhisheng Huang, Stefan Schlobach, Annette ten Teije, Frank van Harmelen, Barry Bishop, Florian Fischer, Vassil Momtchev, Yi Zeng, Yan Wang, Yi Huang, Georgina Gallizo, Matthias Assel, and Jose Quesada, LarKC Improved Operational Framework , LarKC Deliverable D1.2.2, 2010.
  • Zhisheng Huang, Frank van Harmelen, Stefan Schlobach, Gaston Tagni, Annette ten Teije, Yi Zeng, Yan Wang, and Ning Zhong, Implementation of Plug-ins for Interleaving Reasoning and Selection, LarKC Deliverable D4.3.2, 2010.
  • 2009

  • Yi Zeng, Xu Ren, Ning Zhong, Zhisheng Huang, and Yan Wang, Social Relation based Scalable Semantic Search Refinement, Proceedings of the 1st Asian Workshop on Scalable Semantic Data Processing, ASWC2009 Workshop, 2009.
  • Zaiyue Zhang, Zhisheng Huang, Shang Gao, Xiaoru Zhang, Xiaofei Zhang and Aiping Shi, Towards Scalable Semantic Data Processing by Knowledge Summarization, Proceedings of the 1st Asian Workshop on Scalable Semantic Data Processing, ASWC2009 Workshop, 2009.
  • Liping Zhou, Houkuan Huang, Yue Ma, Guilin Qi, Zhisheng Huang, Youli Qu, Paraconsistent Query Answering Over DL-Lite Ontologies, Proceedings of the Third Chinese Semantic Web Symposium (CSWS2009), 2009.
  • Yi Zeng, Yan Wang, Zhisheng Huang, and Ning Zhong, Unifying Web-scale Search and Reasoning from the Viewpoint of Granularity, Proceedings of the 2009 International Conference on Active Media Technology (AMT'09), October 22-24, 2009, Beijing, China.
  • Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, and Youli Qu, Measuring Inconsistency Degrees of DL-Lite Ontologies, Proceedings of 2009 IEEE/WIC/ACM International Conference on Web Intelligence (WI-09), September 15-18, 2009, Milan, Italy.
  • Stephan Bloehdorn, Peter haase, Zhisheng Huang, York Sure, Johanna Volker, Frank van Harmelen, and Rudi Studer, Ontology Management, in: John Davies, Marko Grobelnik, Dunja Mladenic (eds.), Semantic Knowledge Management, Springer, 2009, 3-20.
  • Fangkai Yang, Guilin Qi and Zhisheng Huang. A Distance-based Operator to Revising Ontologies in DL SHOQ, Proceedings of The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009).
  • Zhisheng Huang, Yi Zeng, Stefan Schlobach, Annette den Teije, Frank van Harmelen, Yan Wang, Ning Zhong, Strategies and Design for Interleaving Reasoning and Selection of Axioms, LarKC Deliverable D4.3.1, 2009.
  • Zhisheng Huang, Barry Bishop, Florian Fischer, Frank van Harmelen, Jose Quesada, Lael Schooler, Gaston Tagni, Annette ten Teije, Axel Tenschert, Alexey Cheptsov, Emanuele Della Valle, Vassil Momtchev,Yi Zeng, Yan Wang, Ning Zhong, Initial Evaluation and Revision of Plug-ins Deployed in Use-cases, LarKC Deliverable D4.7.1, 2009.
  • 2008

  • Renjie Xu, Zhiqiang Gao, Yingji Pan, Yuzhong Qu, Zhisheng Huang, An Integrated Approach for Automatic Construction of Bilingual Chinese-English WordNet, Proceedings of 2008 Asian Semantic Web Conference (ASWC2008), 2008.
  • Emanuele Della Valle, Irene Celino, Kono Kim, Zhisheng Huang, Volker Tresp, Werner Hauptmann, and Yi Huang, Urban Computing: a challenging problem for Semantic Technologies, Proceedings of the 2008 Workshop of New Forms of Reasoning for the Semantic Web (NEFORS08), December 8, 2008, Bangkok, Thailand.
  • Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna Voelker, A Kernel Revision Operator for Terminologies, Proceedings of the 7th International Semantic Web Conference (ISWC2008), 2008.
  • ZHANG Xiao-Ru, ZHANG Zai-Yue, SUI Yue-Fei, HUANG Zhi-Sheng,Fuzzy Reasoning Based on First-Order Modal Logic, Journal of Software, Vol.19, No.12, December 2008, pp.3170-3178.
  • Emanuele Della Valle, Irene Celino, Kono Kim, Zhisheng Huang, Volker Tresp, Werner Hauptmann, and Yi Huang, Challenging the Internet of the Future with Urban Computing, Proceedings of the 1st International Workshop on Blending Physical and Digital Spaces on the Internet(OneSpace 2008), 2008.
  • Dieter Fensel, Frank van Harmelen, Bo Andersson, Paul Brennan, Hamish Cunningham, Emanuele Della Valle, Florian Fischer, Zhisheng Huang, Atanas Kiryakov, Tony Kyung-il Lee, Lael Schooler, Volker Tresp, Stefan Wesner, Michael Witbrock, Ning Zhong, Towards LarKC: a Platform forWeb-scale Reasoning, Proceedings of the Second IEEE International Conference on Semantic Computing (IEEE-ICSC2008), 524-529, IEEE Press, 2008.
  • Zhiqiang Gao, Wanying Zhu, Yuzhong Qu, and Zhisheng Huang, Analyzing Distribution and Evolution of Research Interests by Term Extraction and Ontology Learning, Proceedings of the Ninth International Conference on Web-Age Information Management (WAIM'2008), 2008.
  • Zhisheng Huang, Stefan Schlobach, Frank van Harmelen, Nuria Casellas, and Pompeu Casanovas, Dynamic Aspects of OPJK Legal Ontology, in: Giovanni Sartor, Pompeu Casanovas, N鷕ia Casellas and Rossella Rubino (eds.), Computational Models of the Law, Lecture Notes in Artifical Intelligence 4884, Springer, 2008.
  • Zhisheng Huang, Barry Bishop, Daniele Braga, Florian Fischer, Frank van Harmelen, Jia Hu, Peipeng Liang, Jose Quesada, Jorg Rieskamp, Lael Schooler, Annette ten Teije, Axel Tenschert, Emanuele Della Valle, Holger Wache, Michael Witbrock, and Ning Zhong, A Survey of Web Scale Reasoning, LarKC deliverable D4.1, 2008.
  • Elena Simperl, Uwe Keller, Florian Fischer, Eyal Oren, Barry Bishop, Zhisheng Huang, Gaston Tagni, Jose Quesada, Blaz Fortuna, Jia Hu, and Yulin Qin, An Overview of (LarKC) Relevant Work in Other Areas, LarKC deliverable D1.1.1, 2008.
  • Florian Fischer, Uwe Keller, Atanas Kiryakov, Zhisheng Huang, Vassil Momtchev, Elena Simperl, An Initial Knowledge Representation Formalism, LarKC deliverable D1.1.3, 2008.
  • 2007

  • Stefan Schlobach, Zhisheng Huang, Ronald Cornet, and Frank van Harmelen, Debugging Incoherent Terminologies, Journal of Automated Reasoning, 39:317-349, 2007.
  • Rogan Mendoza, Benjamin Johnston, Fangkai Yang, Zhisheng Huang, Xiaoping Chen, Mary-Anne Williams: Ontology-based Object Categorization for Robots, Proceedings of IEEE International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS'07), 2007.
  • Mustafa Jarrar, Diana Maynard, Jeroen Hoppenbrouwers, and Zhisheng Huang: Ontology Outreach to Industry, Deliverable D3.1.6 (WP1.3), The Knowledge Web Network of Excellence (NoE) IST-2004-507482, Luxemburg, June 2007.
  • Vit Novacek, Zhisheng Huang, Alessandro Artale, Norman Fooand Enrico Franconi, Tommie Meyer, Mathieu d'Aquin, Jean Lieber, Amedeo Napoli, Giorgos Flouris, Jeff Z. Pan, Dimitris Plexousakis, Holger Wache et al, Theoretical Aspects for Ontology Lifecycle, Deliverable D2.3.9 (WP2.3), The Knowledge Web Network of Excellence (NoE) IST-2004-507482, 2007.
  • Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, and Holger Wache, Inconsistencies, Negations and Changes in Ontologies (extended abstract), Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC2007), 2007.
  • Zhanghua Ma and Zhisheng Huang, Information Organization of Web Resources (in Chinese), Peking University Press, 2007.
  • Raul Garcia-Castro, Denny Vrandecic, Asunci髇 G髆ez-P閞ez, York Sure, Zhisheng Huang (eds.), Proceedings of the 5th International Workshop on Evaluation of Ontologies and Ontology-based Tools, EON2007, Co-located with the ISWC2007, Busan, Korea, November 11th, 2007, CEUR-WS.org 2008
  • Zhisheng Huang, Annette ten Teije, and Frank van Harmelen, MORE2: An Extended Reasoning and Management System for Multi-version Ontologies, SEKT Deliverable D3.5.3, 2007.
  • Stefan Schlobach and Zhisheng Huang, Inconsistent Ontology Diagnosis and Repair, SEKT Deliverable D3.6.3, 2007.
  • 2006

  • Guus Schreiber, Alia Amin, Mark van Assem, Victor de Boer, Lynda Hardman, Michiel Hildebrand, Laura Hollink, Zhisheng Huang, Janneke van Kersen, Marco de Niet, Borys Omelayenko, Jacco van Ossenbruggen, Ronny Siebes, Jos Taekema, Jan Wielemaker and Bob Wielinga, MultimediaN E-Culture Demonstrator, Proceedings of the Fifth International Semantic Web Conference (ISWC2006), 2006.
  • Zhisheng Huang, Stefan Schlobach, Frank van Harmelen, Michel Klein, Nuria Casellas, and Pompeu Casanovas, Reasoning with Multi-version Ontologies: Evaluation, SEKT Deliverable D3.5.2, 2006.
  • Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, and Holger Wache, Inconsistencies, Negations and Changes in Ontologies, Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), 2006.
  • Zhisheng Huang, Frank van Harmelen, and Annette ten Teije, Reasoning with Inconsistent Ontologies: Framework, Prototype, and Experiment, in: John Davies, Rudi Studer, Paul Warren (eds.) Semantic Web Technologies: Trends and Research in Ontology-based Systems, 71-93, John Wiley and Sons, Ltd., 2006.
  • Stefan Schlobach, Zhisheng Huang, and Ronald Cornet, Inconsistent Ontology Diagnosis: Evaluation, SEKT Deliverable D3.6.2, 2006.
  • Zhisheng Huang and Frank van Harmelen, Reasoning with Inconsistent Ontologies: Evaluation, SEKT Deliverable D3.4.2, 2006.
  • 2005

  • Zhisheng Huang and Heiner Stuckenschmidt, Reasoning with Multi-version Ontologies: a Temporal Logic Approach, Proceedings of the Fourth International Semantic Web Conference (ISWC2005), Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen (eds.), LNCS vol. 3729, page 398-412, 6th - 10th November 2005 Galway, Ireland, Springer Verlag, 2005.
  • Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, and York Sure, A Framework for Handling Inconsistency in Changing Ontologies, Proceedings of the Fourth International Semantic Web Conference (ISWC2005), Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen (eds.), LNCS vol. 3729, page 353-367, Springer Verlag, 2005.
  • Zhisheng Huang and Heiner Stuckenschmidt, Reasoning with Multi-version Ontologies, SEKT Deliverable D3.5.1, 2005.
  • Zhisheng Huang, Frank van Harmelen, and Annette ten Teije, Reasoning with Inconsistent Ontologies (Extended Abstract), Proceedings of the BNAIC2005, 2005.
  • Zhisheng Huang, Frank van Harmelen, and Annette ten Teije, Reasoning with Inconsistent Ontologies, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI2005), Leslie Pack Kaelbling, Alessandro Saffiotti (Eds.), page 454-459, Edinburgh, Scotland, 30 July - 5 August, IJCAI, 2005. (PDF, BibTex & Abstract)
  • 2004

  • Zhisheng Huang, Frank van Harmelen, Annette ten Teije, Perry Groot, Cees Visser, Reasoning with Inconsistent Ontologies: framework and prototype, SEKT Deliverable D3.4.1, 2004.
  • Zhisheng Huang and Cees Visser, Extended DIG Description Logic Interface Support for Prolog, SEKT Deliverable D3.4.1.2, 2004.
  • Huang, Z., Eli雗s, A., and Visser, C. STEP: a Scripting Language for Embodied Agents, in: Helmut Prendinger and Mitsuru Ishizuka (eds.), Life-like Characters, Tools, Affective Functions and Applications, Springer-Verlag, 2004, pp 87-109.
  • Huang, Z., Eli雗s, A., and Visser, C., Facial Expressions for Embodied Agents in STEP, Proceedings of AAMAS 2004 Workshop on Embodied Conversational Agents: Balanced Perception and Action, 2004.
  • J. Hoorn, A. Eliens, Z. Huang, H. Van Vugt, E. Konijn and C. Visser, Agents with Character: Evaluation of Empathic Agents in Digital Dossiers, Proceedings of AAMAS 2004 Workshop on Empathic Agents , 2004.
  • Zsofi Ruttkay, Zhisheng Huang, and Anton Eliens, Gestures for embodied agents with logic programming, in: Recent advances in Constraints, 2003, Lectures Notes in Artificial Intelligence (LNAI) 3010, Springer Verlag, 2004, pp 266-284.

    2003

  • Huang, Z., Eli雗s, A., and Visser, C., "Is it in my Reach?" - An Agents Perspective, Proceedings of the 4th International Working Conference on Intelligent Virtual Agents (IVA'03), Lecture Notes in Artificial Intelligence 2792 (LNAI 2792), R. Aylett, D. Ballin & T. Rist (Eds.), Springer-Verlag, 2003, pp 150-158.
  • Ruttkay, Z, Huang, Z., Eliens, A., Reusable gestures for interactive web agents, Proceedings of the 4th International Working Conference on Intelligent Virtual Agents (IVA'03), Lecture Notes in Artificial Intelligence 2792 (LNAI 2792), R. Aylett, D. Ballin & T. Rist (Eds.), Springer-Verlag, 2003, pp 80-87.
  • Hildebrand, M., Eliens, A., Huang, Z., and Visser, C., Interactive Agents Learning Their Environment, Proceedings of the 4th International Working Conference on Intelligent Virtual Agents (IVA'03), Lecture Notes in Artificial Intelligence 2792 (LNAI 2792), R. Aylett, D. Ballin & T. Rist (Eds.), Springer-Verlag, 2003, pp 13-17.
  • Ruttkay Zs., Huang, Z., Eli雗s, A. The Conductor: Gestures for Embodied Agents with Logic Programming, Proceedings of the ERCIM/CoLogNet Workshop on Constraint and Logic Programming, Budapest, Hungary, 30 June - 2 July, 2003.
  • Zhisheng Huang, Anton Eliëns, and Cees Visser, XSTEP: a Markup Language for Embodied Agents, Proceedings of the 16th International Conference on Computer Animation and Social Agents (CASA'2003), IEEE Press, 2003.
  • Anton Eliens, Claire Dormann, Zhisheng Huang, and Cees Visser, A framework for mixed media -emotive dialogs, rich media and virtual environments, Proceedings of the 1st international conference on technologies for interactive digital storytelling and entertainment, March 24-26, 2003, Darmstadt, Germany.
  • Zhisheng Huang, Anton Eliëns, and Cees Visser, Implementation of a Scripting Language for VRML/X3D-based Embodied Agents, Proceedings of the 2003 Web3D Conference, ACM Press, 2003, pp 91-100.
  • 2002

  • Jan Broersen, Mehdi Dastani, Zhisheng Huang and Leendert van der Torre, Trust and commitment in dynamic logic, Proceedings of The First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002). LNCS 2510, pages 677-684, Springer, 2002.
  • Anton Eliens, Zhisheng Huang, and Cees Visser, A platform for Embodied Conversational Agents based on Distributed Logic Programming, Proceedings of AAMAS 2002 WORKSHOP: Embodied conversational agents - let's specify and evaluate them, 2002.
  • Zhisheng Huang, Anton Eliëns, and Cees Visser, STEP: a Scripting Language for Embodied Agents, Proceedings of the Workshop of Lifelike Animated Agents, Tokyo, 2002.
  • Mehdi Dastani, Zhisheng Huang and Leendert van der Torre, Dynamic desires In Simon Parsons, Piotr Gmytrasiewicz, and Michael Wooldridge (eds) Game Theory and Decision Theory in Agent-Based Systems, Volume 5 of multiagent systems, artificial societies and simulated organizations, Kluwer, 2002
  • Zhisheng Huang, Anton Eliëns, and Cees Visser, 3D Agent-based Virtual Communities, Proceedings of the 2002 Web3D Conference, ACM Press, 2002, pp 137-144.
  • 2001

  • Zhisheng Huang, Anton Eliëns, and Cees Visser, 3D Web Agents in Distributed Logic Programming, the Symposium on Multimodal Communication with Embodied Agents, December 7, 2001, CWI, Amsterdam.
  • J. Broersen, M. Dastani, Z. Huang, J. Hulstijn, and L. van der Torre, The BOID architecture: Conflicts between beliefs, obligations, intentions and desires, Proceedings of the Fifth International Conference on Autonomous Agents (AA2001), ACM Press, pages 9-16.
  • Broersen, J., Dastani, M. Huang, Z., Hulstijn, J. and Van der Torre, L. (2001) An Alternative Classification of Agent Types based on BOID Conflict Resolution In: Proceedings of the BNAIC2001.
  • Zhisheng Huang, Anton Eliens, and Cees Visser Programmability of Intelligent Agent Avatars (Extended Abstract), Proceedings of the BNAIC2001, 2001.
  • Zhisheng Huang, Anton Eliens, and Cees Visser Programmability of Intelligent Agent Avatars, Proceedings of the Agent 2001 Workshop on Embodied Agents, Montreal, Canada, 2001.
  • Zhisheng Huang, Anton Eliens, and Paul De Bra, An Architecture for Web Agents, Proceedings of the Conference EUROMEDIA'2001, SCS, 2001.
  • 2000

  • M. Dastani, Z. Huang and L. van der Torre, Dynamic desires, In: Proceedings of the ICMAS2000 Workshop on game-theoretic and decision-theoretic approaches to agency (GTDT'2000), Boston, 2000.
  • Zhisheng Huang, Anton Eliens, Alex van Ballegooij, Paul De Bra, A Taxonomy of Web Agents (extended version), Research Report, Department of Artificial Intelligence, Free University of Amsterdam, April 2000.
  • Zhisheng Huang, Anton Eliëns, Alex van Ballegooij, Paul De Bra, A Taxonomy of Web Agents, IEEE Proceedings of the First International Workshop on Web Agent Systems and Applications (WASA 2000), 2000.
  • 1999

  • John Bell, and Zhisheng Huang, Seeing is Believing: A common sense theory of the adoption of perception-based beliefs, Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, (1999), 13, 133-140.
  • John Bell and Zhisheng Huang (eds), Proceedings of the 4th workshop on Practical Reasoning and Rationality, IJCAI'99 Workshop KRR-1, 31st July 1999, Stockholm.
  • John Bell and Zhisheng Huang,Dynamic Obligation Hierarchies, in: P. McNamara and H. Prakken (eds.), Norms, Logics, and Information Systems, IOS Press, 231-246, 1999.
  • 1998

  • John Bell and Zhisheng Huang, Safety logics, in: A. Hunter and S. Parsons (eds.), Applications of Uncertainty Formalisms, LNAI 1455, Springer, 1998, 427-445.
  • John Bell and Zhisheng Huang (eds), Proceedings of the 3rd workshop on Practical Reasoning and Rationality, 24th August 1998, Brighton, England.
  • 1997

  • 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 et Analyse 149, 55-74, 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, Springer, Lectures Notes in Artificial Intelligence(LNAI) 1209, 88-103, 1997.
  • 1996

  • 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
  • 1995

  • 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.
  • 1994

  • 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, 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.
  • 1993

  • 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.
  • 1992

  • 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).
  • 1991

  • 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 478, (Springer-Verlag, 1991) 282-300.
  • 1990

  • 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.
  • Before 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).