On using Theorem Proving for Cognitive Agent-oriented Programming.

Alexander Birch Jensen, Koen V. Hindriks, Jrgen Villadsen

Browse the full ICAART paper archive.