On Using Theorem Proving for Cognitive Agent-Oriented Programming

Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Fingerprint

Dive into the research topics of 'On Using Theorem Proving for Cognitive Agent-Oriented Programming'. Together they form a unique fingerprint.

Computer Science