scientific article

zbMATH Open1147.68576MaRDI QIDQ3518997

Farid Mokhati, Linda Badri, Mourad Badri

Publication date: 12 August 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewriting logicMaude

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Agent coordination contexts for the formal specification and enactment of coordination and security policies ⋮ Objects, Agents, and Features ⋮ Formal specification of multi-agent e-barter systems

Uses Software

• Maude

Recommendations

• Unnamed Item 👍 👎
• A Formal Framework for Interactive Agents 👍 👎
• Computational Science – ICCS 2005 👍 👎
• Objects, Agents, and Features 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3518997)