On the correctness of PRS agent programs

DOI10.1007/10719619_4MaRDI QIDQ4511252zbMATH OpenFDO

Authors Wayne Wobcke

Publication date 30 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10719619_4

zbMATH Keywords

PRS systemsoftware agents

Mathematics Subject Classification ID

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

Recommendations

• AI 2005: Advances in Artificial Intelligence
• Intention and rationality for PRS-like agents
• Using theorem proving to verify properties of agent programs
• Reliable agent computation: An algebraic approach
• scientific article; zbMATH DE number 2084422

Cited in

(3)

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

This page was built for publication: On the correctness of PRS agent programs

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