


default search action
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 J. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














