Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJCIS, 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
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
