scientific article; zbMATH DE number 1522957

zbMATH Open0971.68032MaRDI QIDQ4511252FDOQ4511252

Authors: Wayne Wobcke 

Publication date: 30 October 2001

Title of this publication is not available (Why is that?)

Recommendations

• AI 2005: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 1954138
• Using theorem proving to verify properties of agent programs
• scientific article; zbMATH DE number 1969725
• scientific article; zbMATH DE number 2084422

zbMATH Keywords

software agentsPRS system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• AI 2005: Advances in Artificial Intelligence
• A verification framework for agent programming with declarative goals
• Correctness of multi-agent programs: A hybrid approach

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 Q4511252)