11023_2007_9061_17_2-web[removed]

First Page		Document Content
Date: 2013-08-04 11:28:46 Thought Cognition Software engineering Data management Logic in computer science Formal verification Programming language Mathematics Concept Abstraction Programming paradigms Mind		11023_2007_9061_17_2-web[removed] Add to Reading List Source URL: www.d.umn.edu Download Document from Source Website File Size: 179,47 KB Share Document on Facebook

	Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and DocID: 1xUvD - View Document
	Cognition xxxxxx–xxx Contents lists available at ScienceDirect Cognition journal homepage: www.elsevier.com/locate/COGNIT DocID: 1xUdE - View Document
	Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California DocID: 1xU6D - View Document
	arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition, DocID: 1xU0M - View Document
	Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con DocID: 1xTV7 - View Document