A verification framework for agent programming with declarative goals - Concepedia

Concepedia

Publication | Closed Access

A verification framework for agent programming with declarative goals

65

Citations

20

References

2006

Year

Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Meyer

Journal of Applied Logic

Formal SpecificationEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceAgent Programming LanguageFormal VerificationAgent ArchitectureVerification Framework

References

	Year	Citations

Page 1