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)  | 
        
        
          3
           (1)  | 
        
        
          4
           (1)  | 
        
        
          5
           | 
        
        
          6
           | 
        
        
          7
           | 
        
        
          8
           | 
        
      
| 
          9
           | 
        
        
          10
           | 
        
        
          11
           | 
        
        
          12
           | 
        
        
          13
           | 
        
        
          14
           | 
        
        
          15
           | 
        
      
| 
          16
           | 
        
        
          17
           | 
        
        
          18
           | 
        
        
          19
           | 
        
        
          20
           | 
        
        
          21
           | 
        
        
          22
           | 
        
      
| 
          23
           | 
        
        
          24
           | 
        
        
          25
           | 
        
        
          26
           | 
        
        
          27
           | 
        
        
          28
           | 
        
        
          29
           | 
        
      
| 
          30
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
      
| 
     
      
      
      From: Alex M. <ale...@gm...> - 2019-06-04 20:31:44
      
     
   | 
Indeed, I used the wrong link, I now updated it to http://jason.sourceforge.net/eclipseplugin/juno/ and now installation proceeds like charm. Thanks! pirmd., 2019. g. 3. jūn., plkst. 15:29 — lietotājs Maicon (< xsp...@gm...>) rakstīja: > Hi Alex, > > The Jason Plugin is only compatible with the Eclipse provided by > eclipse.org, > versions Juno/Kepler/Luna/Mars/Neon/Oxygen/Photon/2018-09/2019-03 and > package Committers or Java-EE. > > If you would like to use the latest version of Eclipse with the Jason > plugin, I suggest you to get the Eclipse from the URL below and select the > package Committers or Java-EE: > > https://www.eclipse.org/downloads/packages/ > > The url to install the Jason Plugin is > http://jason.sourceforge.net/eclipseplugin/juno/ > > For further information, please check Step 6 of the installation procedure > at http://jason.sourceforge.net/mini-tutorial/eclipse-plugin/ > > Let me know if it worked. > > Best regards, > Maicon > > On Sun, Jun 2, 2019 at 5:54 PM Alex Maier <ale...@gm...> > wrote: > >> Hi! >> >> I am trying to install Jason Feature in Eclipse and I am receiving the >> error message: >> An error occurred while collecting items to be installed >> session context was:(profile=DefaultProfile, >> phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, >> action=). >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar. >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar >> Artifact not found: >> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar >> . >> >> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar >> >> Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have >> checked compatibility checkboxes during feature search and it nevertheless >> found the Jason feature, so, the feature should be compatible with my >> Eclipse. >> >> When I am trying to access some file, I am getting: >> >> An error has been encountered in accessing this page. >> >> 1. *Server:* jason.sourceforge.net >> 2. *URL path:* >> /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar >> 3. *Error notes:* NONE >> 4. *Error type:* 404 >> 5. *Request method:* GET >> 6. *Request query string:* NONE >> 7. *Time:* 2019-06-02 20:21:48 UTC (1559506908) >> >> *Reporting this problem:* The problem you have encountered is with a >> project web site hosted by SourceForge.net. This issue should be reported >> to the SourceForge.net-hosted project (not to SourceForge.net). >> >> *If this is a severe or recurring/persistent problem,* please do one of >> the following, and provide the error text (numbered 1 through 7, above): >> >> 1. Contact the project via their designated support resources >> <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1> >> . >> 2. Contact the project administrators of this project via email (see >> the upper right-hand corner of the Project Summary page >> <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net> for >> their usernames) at *user-name*@users.sourceforge.net >> >> If you are a maintainer of this web content, please refer to the Site >> Documentation regarding web services >> <https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for >> further assistance. >> >> NOTE: As of 2008-10-23 directory index display has been disabled by >> default. This option may be re-enabled by the project by placing a file >> with the name ".htaccess" with this line: >> >> Options +Indexes >> >> >> So, maybe that is something not under control of Jason group? >> >> _______________________________________________ >> Jason-users mailing list >> Jas...@li... >> https://lists.sourceforge.net/lists/listinfo/jason-users >> >  | 
| 
     
      
      
      From: Maicon <xsp...@gm...> - 2019-06-03 12:29:58
      
     
   | 
Hi Alex, The Jason Plugin is only compatible with the Eclipse provided by eclipse.org, versions Juno/Kepler/Luna/Mars/Neon/Oxygen/Photon/2018-09/2019-03 and package Committers or Java-EE. If you would like to use the latest version of Eclipse with the Jason plugin, I suggest you to get the Eclipse from the URL below and select the package Committers or Java-EE: https://www.eclipse.org/downloads/packages/ The url to install the Jason Plugin is http://jason.sourceforge.net/eclipseplugin/juno/ For further information, please check Step 6 of the installation procedure at http://jason.sourceforge.net/mini-tutorial/eclipse-plugin/ Let me know if it worked. Best regards, Maicon On Sun, Jun 2, 2019 at 5:54 PM Alex Maier <ale...@gm...> wrote: > Hi! > > I am trying to install Jason Feature in Eclipse and I am receiving the > error message: > An error occurred while collecting items to be installed > session context was:(profile=DefaultProfile, > phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, > action=). > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar. > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar > . > > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar > . > > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar > . > > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar > . > > http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar > . > > http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar > Artifact not found: > http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar > . > > http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar > > Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have > checked compatibility checkboxes during feature search and it nevertheless > found the Jason feature, so, the feature should be compatible with my > Eclipse. > > When I am trying to access some file, I am getting: > > An error has been encountered in accessing this page. > > 1. *Server:* jason.sourceforge.net > 2. *URL path:* > /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar > 3. *Error notes:* NONE > 4. *Error type:* 404 > 5. *Request method:* GET > 6. *Request query string:* NONE > 7. *Time:* 2019-06-02 20:21:48 UTC (1559506908) > > *Reporting this problem:* The problem you have encountered is with a > project web site hosted by SourceForge.net. This issue should be reported > to the SourceForge.net-hosted project (not to SourceForge.net). > > *If this is a severe or recurring/persistent problem,* please do one of > the following, and provide the error text (numbered 1 through 7, above): > > 1. Contact the project via their designated support resources > <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1> > . > 2. Contact the project administrators of this project via email (see > the upper right-hand corner of the Project Summary page > <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net> for > their usernames) at *user-name*@users.sourceforge.net > > If you are a maintainer of this web content, please refer to the Site > Documentation regarding web services > <https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for > further assistance. > > NOTE: As of 2008-10-23 directory index display has been disabled by > default. This option may be re-enabled by the project by placing a file > with the name ".htaccess" with this line: > > Options +Indexes > > > So, maybe that is something not under control of Jason group? > > _______________________________________________ > Jason-users mailing list > Jas...@li... > https://lists.sourceforge.net/lists/listinfo/jason-users >  | 
| 
     
      
      
      From: Jomi H. <jom...@gm...> - 2019-06-02 23:43:13
      
     
   | 
Hi Alex, Since the Jason interpreter is implemented in Java, it is quite easy to just call the interpreter form a Java application. Some doc is available at http://jason.sourceforge.net/faq/faq.html#SECTION00055000000000000000. It explains how to run a multi-agent system…. that may have just one agent. HTH, Jomi > On 2 Jun 2019, at 17:26, Alex Maier <ale...@gm...> wrote: > > Hi! > > Is it possible to use Jason engine non-interactively, possible starting it from the commandline and feeding (as the command line parameter) some AgentSpeak code file that contains the initial code for the agent? Jason manuals are quite explicit about running agent from the Eclipse, but my intention is to use Jason agent engine as part of some larger system (from Java Spring Boot, but that is mostly irrelevant here) and that is why I would like to call it programmatically and not interactively from the Eclipse. Is there documentation that describes such scenario? > > Alex > _______________________________________________ > Jason-users mailing list > Jas...@li... > https://lists.sourceforge.net/lists/listinfo/jason-users  | 
| 
     
      
      
      From: Alex M. <ale...@gm...> - 2019-06-02 20:26:39
      
     
   | 
Hi! Is it possible to use Jason engine non-interactively, possible starting it from the commandline and feeding (as the command line parameter) some AgentSpeak code file that contains the initial code for the agent? Jason manuals are quite explicit about running agent from the Eclipse, but my intention is to use Jason agent engine as part of some larger system (from Java Spring Boot, but that is mostly irrelevant here) and that is why I would like to call it programmatically and not interactively from the Eclipse. Is there documentation that describes such scenario? Alex  | 
| 
     
      
      
      From: Alex M. <ale...@gm...> - 2019-06-02 20:23:22
      
     
   | 
Hi! I am trying to install Jason Feature in Eclipse and I am receiving the error message: An error occurred while collecting items to be installed session context was:(profile=DefaultProfile, phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, action=). Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar. http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar . http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar . http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar . http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar . http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar . http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar Artifact not found: http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar . http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have checked compatibility checkboxes during feature search and it nevertheless found the Jason feature, so, the feature should be compatible with my Eclipse. When I am trying to access some file, I am getting: An error has been encountered in accessing this page. 1. *Server:* jason.sourceforge.net 2. *URL path:* /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar 3. *Error notes:* NONE 4. *Error type:* 404 5. *Request method:* GET 6. *Request query string:* NONE 7. *Time:* 2019-06-02 20:21:48 UTC (1559506908) *Reporting this problem:* The problem you have encountered is with a project web site hosted by SourceForge.net. This issue should be reported to the SourceForge.net-hosted project (not to SourceForge.net). *If this is a severe or recurring/persistent problem,* please do one of the following, and provide the error text (numbered 1 through 7, above): 1. Contact the project via their designated support resources <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1> . 2. Contact the project administrators of this project via email (see the upper right-hand corner of the Project Summary page <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net> for their usernames) at *user-name*@users.sourceforge.net If you are a maintainer of this web content, please refer to the Site Documentation regarding web services <https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for further assistance. NOTE: As of 2008-10-23 directory index display has been disabled by default. This option may be re-enabled by the project by placing a file with the name ".htaccess" with this line: Options +Indexes So, maybe that is something not under control of Jason group?  |