IJCIS, Volume 6, 1997

Volume 6, Number 1, March 1997

• Michael N. Huhns, Munindar P. Singh: Formal Methods in CIS: Multiagent Systems - Guest Editors' Introduction. 1-2
• Wolfgang Balzer, Raimo Tuomela: The Structure and Verification of Plan-Based Joint Intentions. 3-26
• Bertrand Mazure, Lakhdar Sais, Éric Grégoire: An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. 27-36
• Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. 37-66
• Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. 67-94

Volume 6, Number 2, June 1997

• Parke Godfrey: Minimization in Cooperative Response to Failing Database Queries. 95-149
• John Cardiff, Tiziana Catarci, Giuseppe Santucci: Semantic Query Processing in the Venus Environment. 151-192
• L. A. Lau, Carson C. Woo: Is It Possible and Useful to Support Commitment Reasoning? 193-216

Volume 6, Numbers 3-4, September & December 1997

• Wolfgang Klas, Munindar P. Singh: Selected Papers from COOPIS-97 - Guest Editors' Introduction. 217-218
• Mark W. W. Vermeer, Peter M. G. Apers: Modifying Queries on Complex Objects in Database Federations. 219-240
• Anisoara Nica, Elke A. Rundensteiner: Loosely-Specified Query Processing in Large-Scale Information Systems. 241-268
• Manos Theodorakis, Panos Constantopoulos: Context-Based Naming in Information Bases. 269-292
• Israel Ben-Shaul, Avron Cohen, Ophir Holder, Boris Lavva: HADAS: A Network-Centric Framework for Interoperability Programming. 293-314
• Mikael Berndtsson, Sharma Chakravarthy, Brian Lings: Extending Database Support for Coordination Among Agents. 315-340
• Justus Klingemann, Thomas Tesch, Jürgen Wäsch: Cooperative Data Management and Its Application to Mobile Computing. 341-368
• Patrick C. K. Hung, Kamalakar Karlapalem: A Logical Framework for Security Enforcement in CAPBASED-AMS. 367-392