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

First Page		Document Content
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

	Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic. DocID: 1v4jU - View Document
	Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil DocID: 1uHfw - View Document
	Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk DocID: 1uoxn - View Document
	A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract DocID: 1uowI - View Document
	Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work DocID: 1ujsP - View Document