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
  

Last update Thu May 23 18:54:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page