A model of planning, action, and interpretation with goal reasoning

First Page		Document Content
Date: 2016-06-16 21:30:06 Artificial intelligence Cognitive science Cognition Neuropsychology Reasoning Neuropsychological assessment Belief revision Inductive reasoning Automated planning and scheduling Intelligent agent Abductive reasoning Planning		A model of planning, action, and interpretation with goal reasoning Add to Reading List Source URL: www.cogsys.org Download Document from Source Website File Size: 1,17 MB Share Document on Facebook

	Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an DocID: 1xUa0 - View Document
	Inductive Reasoning for Shape Invariants Lilia Georgieva1 and Patrick Maier2 1 School of Math. and Comp. Sciences, Heriot-Watt University, Edinburgh http://www.macs.hw.ac.uk/~lilia/ DocID: 1t9Yj - View Document
	Inductive reasoning Informatics 1 CG: Lecture 15 Chris Lucas Knowledge DocID: 1sBll - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy DocID: 1sdVx - View Document
	Microsoft Word - DimensionOfObjectualUnderstanding.doc DocID: 1rh6x - View Document