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

	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Distributed Extremum Seeking in Multi-Agent Systems with Arbitrary Switching Graphs Poveda, J.; Benosman, M.; Teel, A. DocID: 1v6Ti - View Document
	COMPOSITIONAL REACTIVE SYNTHESIS FOR MULTI-AGENT SYSTEMS Salar Moarref A DISSERTATION in Computer and Information Science DocID: 1v3Sn - View Document
	INTERNATIONAL JOURNAL OF CONTROL,  https://doi.org/./.. On privacy vs. cooperation in multi-agent systems Vaibhav Katewaa , Fabio Pas DocID: 1uAmo - View Document
	Simulation of electromagnetic waves propagation in free space using Netlogo multi-agent approach Hamid Bezzout* Laboratory of Informatics, Systems and Optimization (ISO) Department of Computer Science Faculty of sciences DocID: 1uyZy - View Document
	Petri Net-Based Cooperation In Multi-Agent Systems Y.T. Kotb, S.S. Beauchemin, and J.L. Barron {ykotb, beau, barron} @csd.uwo.ca Department of Computer Science The University of Western Ontario DocID: 1uqvu - View Document