Modelchecking Agent Programming Language Tickets

Status: Alpha

Brought to you by: louised, rafaelcaue

Tickets Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
23	EASS Message Format	1.0	open	Louise Dennis	2013-09-04	2013-09-04
22	Overgeneration of States in Satellite Examples	1.0	open	Louise Dennis	2013-08-22	2013-08-22
20	No NativePeer for GwendolenAgentBuilder	1.0	open	Louise Dennis	2013-08-15	2013-08-15
19	No NativePeer for EASSMASBuilder	1.0	open	Louise Dennis	2013-08-15	2013-08-15
16	Belief Caching	1.0	open	Louise Dennis	2013-07-19	2013-08-22
15	Plan Indexing	1.0	open	Louise Dennis	2013-07-19	2013-07-19
14	Implement AgentSpeak	1.0	open	Louise Dennis	2013-07-19	2013-07-19
13	Re-implement Contract-Net example	1.0	open	Louise Dennis	2013-07-19	2013-07-19
12	(Re)implement SAAPL	1.0	open	Louise Dennis	2013-07-19	2013-07-19
11	Implement 2APL	1.0	open	Louise Dennis	2013-07-19	2013-07-19
10	(Re) implement OOPL	1.0	open	Louise Dennis	2013-07-19	2013-07-19
7	Is it possible to verify the LEO Example With the Abstraction Engine while running in no MatLab mode	1.0	open	Louise Dennis	2013-07-19	2013-07-19
6	Separate out Content/Context Stuff	1.0	open	Louise Dennis	2013-07-19	2013-07-19
3	Can't use X as a variable in Gwendolen Belief Rules	1.0	open	Louise Dennis	2013-07-19	2013-07-19