Open AccessOn using Theorem Proving for Cognitive Agent-oriented Programming
Author(s) -
Alexander Birch Jensen,
Koen V. Hindriks,
Jørgen Villadsen
Publication year - 2021
Publication title -
proceedings of the 14th international conference on agents and artificial intelligence
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010349504460453
Subject(s) - computer science , cognition , programming language , automated theorem proving , calculus (dental) , psychology , medicine , neuroscience , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom