Procedural reasoning system - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-01-23 17:21:24 Science Procedural reasoning system Action selection Belief–desire–intention model JACK Intelligent Agents AgentSpeak Reasoning system Action theory Agent-based model Artificial intelligence Multi-agent systems Computing		Add to Reading List Source URL: www.cse.unsw.edu.au Download Document from Source Website File Size: 290,04 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