You can subscribe to this list here.
| 2004 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (12)  | 
        
        
        
        
          May
           (1)  | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (3)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2005 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           (3)  | 
        
        
        
        
          Jun
           (6)  | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (32)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (4)  | 
        
      
| 2006 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (1)  | 
        
        
        
        
          May
           (1)  | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (6)  | 
        
        
        
        
          Nov
           (6)  | 
        
        
        
        
          Dec
           | 
        
      
| 2007 | 
          Jan
           | 
        
        
        
        
          Feb
           (7)  | 
        
        
        
        
          Mar
           (20)  | 
        
        
        
        
          Apr
           (9)  | 
        
        
        
        
          May
           (4)  | 
        
        
        
        
          Jun
           (13)  | 
        
        
        
        
          Jul
           (9)  | 
        
        
        
        
          Aug
           (8)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (7)  | 
        
        
        
        
          Nov
           (7)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2008 | 
          Jan
           | 
        
        
        
        
          Feb
           (5)  | 
        
        
        
        
          Mar
           (1)  | 
        
        
        
        
          Apr
           (46)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (15)  | 
        
        
        
        
          Sep
           (19)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           (1)  | 
        
      
| 2009 | 
          Jan
           (3)  | 
        
        
        
        
          Feb
           (2)  | 
        
        
        
        
          Mar
           (10)  | 
        
        
        
        
          Apr
           (16)  | 
        
        
        
        
          May
           (18)  | 
        
        
        
        
          Jun
           (12)  | 
        
        
        
        
          Jul
           (13)  | 
        
        
        
        
          Aug
           (10)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2010 | 
          Jan
           (17)  | 
        
        
        
        
          Feb
           (10)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           (12)  | 
        
        
        
        
          Jun
           (17)  | 
        
        
        
        
          Jul
           (27)  | 
        
        
        
        
          Aug
           (20)  | 
        
        
        
        
          Sep
           (8)  | 
        
        
        
        
          Oct
           (12)  | 
        
        
        
        
          Nov
           (3)  | 
        
        
        
        
          Dec
           (2)  | 
        
      
| 2011 | 
          Jan
           (16)  | 
        
        
        
        
          Feb
           (6)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (11)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (9)  | 
        
        
        
        
          Sep
           (10)  | 
        
        
        
        
          Oct
           (8)  | 
        
        
        
        
          Nov
           (10)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2012 | 
          Jan
           (6)  | 
        
        
        
        
          Feb
           (4)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (10)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (18)  | 
        
        
        
        
          Sep
           (14)  | 
        
        
        
        
          Oct
           (17)  | 
        
        
        
        
          Nov
           (12)  | 
        
        
        
        
          Dec
           | 
        
      
| 2013 | 
          Jan
           (6)  | 
        
        
        
        
          Feb
           (7)  | 
        
        
        
        
          Mar
           (4)  | 
        
        
        
        
          Apr
           (8)  | 
        
        
        
        
          May
           (5)  | 
        
        
        
        
          Jun
           (7)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           (3)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (6)  | 
        
      
| 2014 | 
          Jan
           (4)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (10)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2015 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (3)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (3)  | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           (2)  | 
        
        
        
        
          Nov
           (6)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2016 | 
          Jan
           (2)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           (7)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (5)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
| 2017 | 
          Jan
           (5)  | 
        
        
        
        
          Feb
           (4)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (6)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (1)  | 
        
        
        
        
          Dec
           | 
        
      
| 2018 | 
          Jan
           (2)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           (6)  | 
        
        
        
        
          Jun
           (1)  | 
        
        
        
        
          Jul
           (3)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (6)  | 
        
        
        
        
          Nov
           (4)  | 
        
        
        
        
          Dec
           | 
        
      
| 2019 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (5)  | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (5)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (2)  | 
        
        
        
        
          Aug
           (7)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           (7)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2020 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (1)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
| 2021 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           (3)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2022 | 
          Jan
           (5)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           (5)  | 
        
        
        
        
          Jun
           (9)  | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (4)  | 
        
        
        
        
          Dec
           | 
        
      
| 2023 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (1)  | 
        
        
        
        
          Apr
           (4)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (3)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2024 | 
          Jan
           (7)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           (17)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2025 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| S | M | T | W | T | F | S | 
|---|---|---|---|---|---|---|
| 
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
          1
           | 
        
        
          2
           | 
        
        
          3
           | 
        
      
| 
          4
           | 
        
        
          5
           | 
        
        
          6
           | 
        
        
          7
           (1)  | 
        
        
          8
           | 
        
        
          9
           | 
        
        
          10
           | 
        
      
| 
          11
           | 
        
        
          12
           | 
        
        
          13
           | 
        
        
          14
           | 
        
        
          15
           | 
        
        
          16
           | 
        
        
          17
           | 
        
      
| 
          18
           | 
        
        
          19
           | 
        
        
          20
           | 
        
        
          21
           | 
        
        
          22
           | 
        
        
          23
           | 
        
        
          24
           | 
        
      
| 
          25
           | 
        
        
          26
           (1)  | 
        
        
          27
           (1)  | 
        
        
          28
           | 
        
        
          29
           | 
        
        
          30
           | 
        
        
          31
           | 
        
      
| 
     
      
      
      From: Jomi F. H. <jo...@da...> - 2012-03-27 21:23:10
      
     
   | 
Dear Jason users, thanks to the contribution of Maicon Zateli, we have a new eclipse plugin for Jason! It is still in beta release, but we invite you to try it and give some feedback and suggestions (by email to Maicon Zateli <xsp...@gm...>). instructions can be found at https://docs.google.com/document/pub?id=1URDYMtFP64rHnlb7GcnKyUGbaypNcZmteWupWD5p6sM  | 
| 
     
      
      
      From: Rafael H B. <r.b...@ac...> - 2012-03-26 09:59:42
      
     
   | 
--- Forwarded Message ----------------------------- Subject: From: Hongyun Xu <hx...@uo...> Date: 25/03/2012 20:05 To: "jas...@li..." <jas...@li...> Hi, there I am just wandering how to implement CASO agent mentioned in your Projects of Jason website.(http://jason.sourceforge.net/Jason/Projects.html). I am trying to do work improving it. There are two steps mentioned in the part of that paper--Modifying Jason. Is there any extra steps? If there is a separtate file for beliefs(as following) in constraint solver ECLiPSe, how we write beliefs in .asl file of Jason? If there are parameters for each actions in a plan, do we need to change the other codes, which Jason did not deal with that? By the way, is there any examples in Jason that refers to the applicable plans? Thanks for your help. Regards Jane /*beliefs.file*/ :- lib(eplex). main1(Cost,Vars):- Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3], Vars $:: 0.0..1.0Inf, A1 + A2 + A3 $= 21, B1 + B2 + B3 $= 40, C1 + C2 + C3 $= 34, D1 + D2 + D3 $= 10, A1 + B1 + C1 + D1 $=< 50, A2 + B2 + C2 + D2 $=< 30, A3 + B3 + C3 + D3 $=< 40, eplex_solver_setup(min(10*A1 + 7*A2 + 200*A3 +8*B1 + 5*B2 + 10*B3 +5*C1 + 5*C2 + 8*C3 +9*D1 + 3*D2 + 7*D3)), eplex_solve(Cost), (foreach(V, Vars) do eplex_var_get(V, typed_solution, V) ), output_data('mylog.txt', [Cost,Vars]). :-mode output_data(++,+). output_data(File,L):- open(File,'write',T), (foreach(X,L), param(T) do writeln(T, X) ), close(T).  | 
| 
     
      
      
      From: Vin B. <v.f...@ba...> - 2012-03-07 13:14:40
      
     
   | 
Hi, Just wondered if anyone had looked at redirecting Jason log output to something else? I'm thinking of something like chainsaw, so I can sort/timestamp etc all of the reports I'm seeing from agents, as well as additional things like message/perception counts over time. At the moment I'm writing to disk but I'be now got alot of various parts doing alot of disk I/o! Thanks!  |