Works matching IS 02188430 AND DT 1997 AND VI 6 AND IP 1
Results: 5
Formal Methods in CIS: Multiagent Systems Guest Editors' Introduction.
- Published in:
- International Journal of Cooperative Information Systems, 1997, v. 6, n. 1, p. 1, doi. 10.1142/S0218843097000021
- By:
- Publication type:
- Article
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases.
- Published in:
- International Journal of Cooperative Information Systems, 1997, v. 6, n. 1, p. 27, doi. 10.1142/S0218843097000045
- By:
- Publication type:
- Article
The Structure and Verification of Plan-Based Joint Intentions.
- Published in:
- International Journal of Cooperative Information Systems, 1997, v. 6, n. 1, p. 3, doi. 10.1142/S0218843097000033
- By:
- Publication type:
- Article
Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework.
- Published in:
- International Journal of Cooperative Information Systems, 1997, v. 6, n. 1, p. 67, doi. 10.1142/S0218843097000069
- By:
- Publication type:
- Article
On the Formal Specification and Verification of Multi-Agent Systems.
- Published in:
- International Journal of Cooperative Information Systems, 1997, v. 6, n. 1, p. 37, doi. 10.1142/S0218843097000057
- By:
- Publication type:
- Article