simpleAPL

MaRDI QIDQ18666swMATHFDO

Official website http://www.researchgate.net/publication/227198669_Using_Theorem_Proving_to_Verify_Properties_of_Agent_Programs

Described by source

• Using theorem proving to verify properties of agent programs

Cited in

(6)

• Bounded situation calculus action theories
• Relating two standard notions of secrecy
• HERMES
• VerICS
• AgentSpeak
• 2APL

This page was built for software: simpleAPL