Filters: Author is Hindriks, Koen V.  [Clear All Filters]
Alechina, Natasha, Tristan Behrens, Koen V. Hindriks, and Brian Logan. "Query Caching in Agent Programming Languages." In Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012), edited by Mehdi Dastani, Brian Logan and Jomi F. Hubner, 117-131. Valencia, Spain, 2012. Download: Alechina++:12b.pdf (167.54 KB)
Alechina, Natasha, Mehdi Dastani, Fahad Khan, Brian Logan, and John-Jules Ch. Meyer. "Using Theorem Proving to Verify Properties of Agent Programs." In Specification and Verification of Multi-agent Systems, edited by Mehdi Dastani, Koen V. Hindriks and John-Jules Ch. Meyer, 1–34. Springer, 2010. Download: Alechina++:10e.pdf (222.8 KB)