university website Publications by Year

Publication

  • Semantics of plan revision in intelligent agents Article

    Theoretical Computer Science, 240-257.

    M.B. van Riemsdijk, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

    January 2006
  • Personomy Manager Software

    G. Anadiotis, R. Troncy (Raphael) and A.K. Amin (Alia)

    January 2006
  • Goal-oriented modularity in agent programming In Proceedings

    M.B. van Riemsdijk, M. Dastani, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

    January 2006
  • Prototyping 3APL in the Maude term rewriting language In Proceedings

    M.B. van Riemsdijk, F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

    January 2006
  • Generic ownership for generic java In Proceedings

    A. Potanin, J. Noble, D.G. Clarke (David) and R. Biddle

    January 2006
  • Inconsistencies, Negations and Changes in Ontologies In Proceedings

    G. Flouris, Z. Huang, J.Z. Pan (Jeff), D. Plexousakis and H. Wache

    January 2006
  • Formal Semantics and Analysis of Component Connectors in reo Article

    Electronic Notes in Theoretical Computer Science, 83-99.

    M.R. Mousavi, M. Sirjani (Marjan) and F. Arbab (Farhad)

    January 2006
  • Components as coalgebras: The refinement dimension Article

    Theoretical Computer Science, 276-294.

    S. Meng and L.S. Barbosa

    January 2006
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close