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 BibTeX
Wolfgang Balzer, Raimo Tuomela: The Structure and Verification of Plan-Based Joint Intentions. 3-26 BibTeX
Bertrand Mazure, Lakhdar Sais, Éric Grégoire: An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. 27-36 BibTeX
Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. 37-66 BibTeX
Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. 67-94 BibTeX

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

Selected Papers from COOPIS-97

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