simpleAPL

swMATH6574MaRDI QIDQ18666FDOQ18666

Author name not available (Why is that?)

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