<--- Back to Details
First PageDocument Content
Temporal logic / Artificial intelligence / Human behavior / Cognitive science / Logic / Linear temporal logic / Computation tree logic / Autonomous agent / Probabilistic logic / Trust / Humanrobot interaction / Practical reason
Date: 2017-04-04 10:42:31
Temporal logic
Artificial intelligence
Human behavior
Cognitive science
Logic
Linear temporal logic
Computation tree logic
Autonomous agent
Probabilistic logic
Trust
Humanrobot interaction
Practical reason

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Download Document from Source Website

File Size: 172,86 KB

Share Document on Facebook

Similar Documents

Cross-Paradigm Analysis of Autonomous Agent Architecture Joanna Bryson Division of Informatics The University of Edinburgh

Cross-Paradigm Analysis of Autonomous Agent Architecture Joanna Bryson Division of Informatics The University of Edinburgh

DocID: 1uuhV - View Document

Fletcher, George, Sheth, Hardik and Börner, KatyUnstructured Peer-to-Peer Networks: Topological Properties and Search Performance. Third International Joint Conference on Autonomous Agents and MUlti-Agent Syst

Fletcher, George, Sheth, Hardik and Börner, KatyUnstructured Peer-to-Peer Networks: Topological Properties and Search Performance. Third International Joint Conference on Autonomous Agents and MUlti-Agent Syst

DocID: 1thBS - View Document

Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoffmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1

Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoffmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1

DocID: 1t7ZV - View Document

Proceedings Template - WORD

Proceedings Template - WORD

DocID: 1rtM6 - View Document

IFAAMAS Board Elections 2016 Statement Bio Matthijs Spaan is an assistant professor of Computer Science at Delft University of Technology, the Netherlands. He holds a PhD degree in Computer Scienceand an MSc degr

IFAAMAS Board Elections 2016 Statement Bio Matthijs Spaan is an assistant professor of Computer Science at Delft University of Technology, the Netherlands. He holds a PhD degree in Computer Scienceand an MSc degr

DocID: 1riFB - View Document