Research in the SIKS Research School: An Example of a Cooperation in Using Linguistic Tools for Requirements Specification in Cyberspace

@inproceedings{Riet1997ResearchIT,
  title={Research in the SIKS Research School: An Example of a Cooperation in Using Linguistic Tools for Requirements Specification in Cyberspace},
  author={Reind P. van de Riet},
  booktitle={GI Jahrestagung},
  year={1997}
}
In the talk we will give a brief overview of the research agenda of the SIKS Research School, one of three in the Netherlands, in which the Dutch Universities have concentrated their Research in Computer Science. “SIKS” stands for School for Information and Knowledge Systems. The talk will sketch a few results of a cooperation between four Universities in the LIKE/LICS project which is about applying Linguistic Tools for Information (and Communication) modelling. An application of this in… 

References

SHOWING 1-9 OF 9 REFERENCES

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness

TLDR
A compositional method is presented for the verification of multi-agent systems, and shows which combinations of pro-activeness and reactiveness in a specific type of information agents lead to a successful cooperation.

Memory versus search in games

EUR) Classification using decision trees and neural nets Promotor: Prof.dr

  • A. de Bruin (EUR) Co-promotor: Dr. J.C. Bioch (EUR) Public Defense:
  • 1999

Wijngaards (VUA) Re-design of compositional systems Promotor: Prof.dr

  • J. Treur (VUA) Co-promotor: Dr. F.M.T. Brazier (VUA) Public Defense:
  • 1999

Lenting (UM) Informed Gambling: Conception and Analysis of a Multi-Agent Mechanism for Discrete Reallocation Promotor: Prof.dr

  • Public Defense:
  • 1999