Contextual Reasoning in the Verification of PRS Agent Programs

First Page		Document Content
Date: 2006-01-11 09:39:58 Problem solving Cognitive architecture Multi-agent systems Management Project management Procedural reasoning system Reasoning system Logic programming Hoare logic Artificial intelligence Science Logic		Contextual Reasoning in the Verification of PRS Agent Programs Add to Reading List Source URL: www.aaai.org Download Document from Source Website File Size: 572,31 KB Share Document on Facebook

	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy DocID: 13QZd - View Document
	Plan Recognition in Intrusion Detection Systems Christopher W. Geib and Robert P. Goldman Honeywell Labs 3660 Technology Drive Minneapolis, MNUSA geib,goldman @htc.honeywell.com DocID: 12S7A - View Document
	A certifiable reasoning engine for intelligent & autonomous systems Building autonomous & intelligent systems Autonomous and intelligent systems have come of age. Ranging from the next generation of Unmanned Air Vehicles DocID: VQk6 - View Document
	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] DocID: Snvu - View Document
	Reasoning about BDI Agents from a Programming Languages Perspective Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [removed] DocID: RNLj - View Document