mmdasp-users Mailing List for sealion
Status: Beta
Brought to you by:
dryeti
Menu
▾
▴
mmdasp-users — The mailing list for SeaLion users
You can subscribe to this list here.
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2014 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
|
Jun
|
Jul
(2) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(7) |
Dec
|
|
From: Robert W. <ai....@gm...> - 2015-11-24 17:05:17
|
Dear Joerg, Aha, that's what I was suspecting! I will look into IExternalAnswerSetSolver. Thanks a lot!! Robert On 24 November 2015 at 17:57, Joerg Puehrer < pu...@in...> wrote: > Dear Robert, > > On 24.11.2015 17:36, Robert White wrote: > > Dear Joerg, > > I just meant to use the solver itself as a standalone module for further > integration with some of my other work. So in that case I will just swim a > bit in the source code then. > > SeaLion uses existing external solvers such as clingo or dlv, so there is > no Java solver in case that is what you assumed. > Instead, SeaLion calls the external solvers and parses the results. > > So parsers for answer-set programs and solver results may be interesting > for you. > For calling the solvers have a look at the interface > IExternalAnswerSetSolver and its subclasses. > For the gringo language you find them in > org.mmdasp.sealion.gringo/src/org/mmdasp/gringo/parsing. > > For the calling the solver you might find interface > > /org.mmdasp.sealion/src/org/mmdasp/externaltools/IExternalAnswerSetSolver.java > and its implementing classes of interest. > > cheers, > Joerg > > > Thanks a lot. > Regards > Robert > > On 24 November 2015 at 15:48, Joerg Puehrer < > pu...@in...> wrote: > >> Dear Robert, >> >> On 24.11.2015 14:52, Robert White wrote: >> >> Dear Joerg, >> >> Thanks for your fast reply! >> >> I would like to build standalone application instead of using it as an eclipse >> plugin for my project. >> I wonder if there is any small examples to give me a smoother start. Is >> there a page for the APIs? >> >> I see. Well, the code of sealion exploits the eclipse infrastructure a >> lot. In particular when it comes to running answer-set solvers - if that is >> what you intend. Certainly, one could extracts parts of sealion for a >> standalone tool but, since this was not the original intention, there is no >> documentation for doing so. >> Depending on what type of functionality you need I can point you towards >> relevant parts for reverse engineering. >> best >> Joerg >> >> >> >> Thanks! >> Robert >> >> >> On 24 November 2015 at 14:46, Joerg Puehrer < >> <pu...@in...>pu...@in...> >> wrote: >> >>> Dear Robert, >>> >>> what aspects of Sealion do you want to use? Is it for an eclipse (or >>> sealion) plugin or a standalone application? >>> Regarding the source code you'll find the relevant projects under >>> https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ >>> where org.mmdasp.sealion is the main plugin (which is independent of a >>> particular ASP language). >>> >>> best regards, >>> Joerg >>> >>> >>> >>> On 24.11.2015 14:11, Robert White wrote: >>> >>> Dear Hans and all, >>> >>> I would like to use the Java API for Sealion abut I didn't see any API >>> there. I wonder how I can use the API for my project. >>> >>> It would be nice of you if you can provide some guidance. >>> >>> Thanks! >>> >>> -- >>> >>> Regards, >>> Robert >>> >>> I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* >>> talk about my recent work <http://airobert.github.io/cool_logic.pdf> and >>> my two papers on 4th Dec. >>> New homepage at Github: <https://airobert.github.io/> >>> https://airobert.github.io/ >>> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 >>> >>> >>> >>> ------------------------------------------------------------------------------ >>> Go from Idea to Many App Stores Faster with Intel(R) XDK >>> Give your users amazing mobile app experiences with Intel(R) XDK. >>> Use one codebase in this all-in-one HTML5 development environment. >>> Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs.http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >>> >>> >>> >>> _______________________________________________ >>> Mmdasp-users mailing lis...@li...https://lists.sourceforge.net/lists/listinfo/mmdasp-users >>> >>> >>> >>> -- >>> -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de >>> >>> >>> >>> ------------------------------------------------------------------------------ >>> Go from Idea to Many App Stores Faster with Intel(R) XDK >>> Give your users amazing mobile app experiences with Intel(R) XDK. >>> Use one codebase in this all-in-one HTML5 development environment. >>> Design, debug & build mobile apps & 2D/3D high-impact games for multiple >>> OSs. >>> http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >>> _______________________________________________ >>> Mmdasp-users mailing list >>> Mmd...@li... >>> https://lists.sourceforge.net/lists/listinfo/mmdasp-users >>> >>> >> >> >> -- >> >> Regards, >> Robert >> >> I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* >> talk about my recent work <http://airobert.github.io/cool_logic.pdf> and >> my two papers on 4th Dec. >> New homepage at Github: <https://airobert.github.io/> >> https://airobert.github.io/ >> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 >> >> >> >> -- >> -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de >> >> > > > -- > > Regards, > Robert > > I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* > talk about my recent work <http://airobert.github.io/cool_logic.pdf> and > my two papers on 4th Dec. > New homepage at Github: <https://airobert.github.io/> > https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs.http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > > > > _______________________________________________ > Mmdasp-users mailing lis...@li...https://lists.sourceforge.net/lists/listinfo/mmdasp-users > > > > -- > -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de > > -- Regards, Robert I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* talk about my recent work <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. New homepage at Github: https://airobert.github.io/ Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 |
|
From: Joerg P. <pu...@in...> - 2015-11-24 16:57:29
|
Dear Robert, On 24.11.2015 17:36, Robert White wrote: > Dear Joerg, > > I just meant to use the solver itself as a standalone module for > further integration with some of my other work. So in that case I will > just swim a bit in the source code then. SeaLion uses existing external solvers such as clingo or dlv, so there is no Java solver in case that is what you assumed. Instead, SeaLion calls the external solvers and parses the results. So parsers for answer-set programs and solver results may be interesting for you. For calling the solvers have a look at the interface IExternalAnswerSetSolver and its subclasses. For the gringo language you find them in org.mmdasp.sealion.gringo/src/org/mmdasp/gringo/parsing. For the calling the solver you might find interface /org.mmdasp.sealion/src/org/mmdasp/externaltools/IExternalAnswerSetSolver.java and its implementing classes of interest. cheers, Joerg > > Thanks a lot. > Regards > Robert > > On 24 November 2015 at 15:48, Joerg Puehrer > <pu...@in... > <mailto:pu...@in...>> wrote: > > Dear Robert, > > On 24.11.2015 14:52, Robert White wrote: >> Dear Joerg, >> >> Thanks for your fast reply! >> >> I would like to build standalone application instead of using it >> as an eclipse plugin for my project. >> I wonder if there is any small examples to give me a smoother >> start. Is there a page for the APIs? > I see. Well, the code of sealion exploits the eclipse > infrastructure a lot. In particular when it comes to running > answer-set solvers - if that is what you intend. Certainly, one > could extracts parts of sealion for a standalone tool but, since > this was not the original intention, there is no documentation for > doing so. > Depending on what type of functionality you need I can point you > towards relevant parts for reverse engineering. > best > Joerg > > >> >> Thanks! >> Robert >> >> >> On 24 November 2015 at 14:46, Joerg Puehrer >> <pu...@in... >> <mailto:pu...@in...>> wrote: >> >> Dear Robert, >> >> what aspects of Sealion do you want to use? Is it for an >> eclipse (or sealion) plugin or a standalone application? >> Regarding the source code you'll find the relevant projects under >> https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ >> where org.mmdasp.sealion is the main plugin (which is >> independent of a particular ASP language). >> >> best regards, >> Joerg >> >> >> >> On 24.11.2015 14:11, Robert White wrote: >>> Dear Hans and all, >>> >>> I would like to use the Java API for Sealion abut I didn't >>> see any API there. I wonder how I can use the API for my >>> project. >>> >>> It would be nice of you if you can provide some guidance. >>> >>> Thanks! >>> >>> -- >>> >>> Regards, >>> Robert >>> >>> I am going to give a /Cool Logic >>> <https://www.illc.uva.nl/coollogic/>/ talk about my recent >>> work <http://airobert.github.io/cool_logic.pdf> and my two >>> papers on 4th Dec. >>> New homepage at Github: https://airobert.github.io/ >>> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM >>> HP: 0652691901 >>> >>> >>> >>> ------------------------------------------------------------------------------ >>> Go from Idea to Many App Stores Faster with Intel(R) XDK >>> Give your users amazing mobile app experiences with Intel(R) XDK. >>> Use one codebase in this all-in-one HTML5 development environment. >>> Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. >>> http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >>> >>> >>> _______________________________________________ >>> Mmdasp-users mailing list >>> Mmd...@li... >>> <mailto:Mmd...@li...> >>> https://lists.sourceforge.net/lists/listinfo/mmdasp-users >> >> >> -- >> -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 >> <tel:%2B49%20%280%29%20341%20%2F%2097%20-%2032343> E: puehrer AT informatik DOT uni-leipzig DOT de >> >> >> ------------------------------------------------------------------------------ >> Go from Idea to Many App Stores Faster with Intel(R) XDK >> Give your users amazing mobile app experiences with Intel(R) XDK. >> Use one codebase in this all-in-one HTML5 development >> environment. >> Design, debug & build mobile apps & 2D/3D high-impact games >> for multiple OSs. >> http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >> _______________________________________________ >> Mmdasp-users mailing list >> Mmd...@li... >> <mailto:Mmd...@li...> >> https://lists.sourceforge.net/lists/listinfo/mmdasp-users >> >> >> >> >> -- >> >> Regards, >> Robert >> >> I am going to give a /Cool Logic >> <https://www.illc.uva.nl/coollogic/>/ talk about my recent work >> <http://airobert.github.io/cool_logic.pdf> and my two papers on >> 4th Dec. >> New homepage at Github: https://airobert.github.io/ >> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 >> > > > -- > -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 > <tel:%2B49%20%280%29%20341%20%2F%2097%20-%2032343> E: puehrer AT informatik DOT uni-leipzig DOT de > > > > > -- > > Regards, > Robert > > I am going to give a /Cool Logic <https://www.illc.uva.nl/coollogic/>/ > talk about my recent work > <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. > New homepage at Github: https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. > http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > > > _______________________________________________ > Mmdasp-users mailing list > Mmd...@li... > https://lists.sourceforge.net/lists/listinfo/mmdasp-users -- -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de |
|
From: Robert W. <ai....@gm...> - 2015-11-24 16:36:54
|
Dear Joerg, I just meant to use the solver itself as a standalone module for further integration with some of my other work. So in that case I will just swim a bit in the source code then. Thanks a lot. Regards Robert On 24 November 2015 at 15:48, Joerg Puehrer < pu...@in...> wrote: > Dear Robert, > > On 24.11.2015 14:52, Robert White wrote: > > Dear Joerg, > > Thanks for your fast reply! > > I would like to build standalone application instead of using it as an eclipse > plugin for my project. > I wonder if there is any small examples to give me a smoother start. Is > there a page for the APIs? > > I see. Well, the code of sealion exploits the eclipse infrastructure a > lot. In particular when it comes to running answer-set solvers - if that is > what you intend. Certainly, one could extracts parts of sealion for a > standalone tool but, since this was not the original intention, there is no > documentation for doing so. > Depending on what type of functionality you need I can point you towards > relevant parts for reverse engineering. > best > Joerg > > > > Thanks! > Robert > > > On 24 November 2015 at 14:46, Joerg Puehrer < > pu...@in...> wrote: > >> Dear Robert, >> >> what aspects of Sealion do you want to use? Is it for an eclipse (or >> sealion) plugin or a standalone application? >> Regarding the source code you'll find the relevant projects under >> https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ >> where org.mmdasp.sealion is the main plugin (which is independent of a >> particular ASP language). >> >> best regards, >> Joerg >> >> >> >> On 24.11.2015 14:11, Robert White wrote: >> >> Dear Hans and all, >> >> I would like to use the Java API for Sealion abut I didn't see any API >> there. I wonder how I can use the API for my project. >> >> It would be nice of you if you can provide some guidance. >> >> Thanks! >> >> -- >> >> Regards, >> Robert >> >> I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* >> talk about my recent work <http://airobert.github.io/cool_logic.pdf> and >> my two papers on 4th Dec. >> New homepage at Github: <https://airobert.github.io/> >> https://airobert.github.io/ >> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 >> >> >> >> ------------------------------------------------------------------------------ >> Go from Idea to Many App Stores Faster with Intel(R) XDK >> Give your users amazing mobile app experiences with Intel(R) XDK. >> Use one codebase in this all-in-one HTML5 development environment. >> Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs.http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >> >> >> >> _______________________________________________ >> Mmdasp-users mailing lis...@li...https://lists.sourceforge.net/lists/listinfo/mmdasp-users >> >> >> >> -- >> -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de >> >> >> >> ------------------------------------------------------------------------------ >> Go from Idea to Many App Stores Faster with Intel(R) XDK >> Give your users amazing mobile app experiences with Intel(R) XDK. >> Use one codebase in this all-in-one HTML5 development environment. >> Design, debug & build mobile apps & 2D/3D high-impact games for multiple >> OSs. >> http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >> _______________________________________________ >> Mmdasp-users mailing list >> Mmd...@li... >> https://lists.sourceforge.net/lists/listinfo/mmdasp-users >> >> > > > -- > > Regards, > Robert > > I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* > talk about my recent work <http://airobert.github.io/cool_logic.pdf> and > my two papers on 4th Dec. > New homepage at Github: <https://airobert.github.io/> > https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > > > > -- > -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de > > -- Regards, Robert I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* talk about my recent work <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. New homepage at Github: https://airobert.github.io/ Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 |
|
From: Joerg P. <pu...@in...> - 2015-11-24 14:48:42
|
Dear Robert, On 24.11.2015 14:52, Robert White wrote: > Dear Joerg, > > Thanks for your fast reply! > > I would like to build standalone application instead of using it as > an eclipse plugin for my project. > I wonder if there is any small examples to give me a smoother start. > Is there a page for the APIs? I see. Well, the code of sealion exploits the eclipse infrastructure a lot. In particular when it comes to running answer-set solvers - if that is what you intend. Certainly, one could extracts parts of sealion for a standalone tool but, since this was not the original intention, there is no documentation for doing so. Depending on what type of functionality you need I can point you towards relevant parts for reverse engineering. best Joerg > > Thanks! > Robert > > > On 24 November 2015 at 14:46, Joerg Puehrer > <pu...@in... > <mailto:pu...@in...>> wrote: > > Dear Robert, > > what aspects of Sealion do you want to use? Is it for an eclipse > (or sealion) plugin or a standalone application? > Regarding the source code you'll find the relevant projects under > https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ > where org.mmdasp.sealion is the main plugin (which is independent > of a particular ASP language). > > best regards, > Joerg > > > > On 24.11.2015 14:11, Robert White wrote: >> Dear Hans and all, >> >> I would like to use the Java API for Sealion abut I didn't see >> any API there. I wonder how I can use the API for my project. >> >> It would be nice of you if you can provide some guidance. >> >> Thanks! >> >> -- >> >> Regards, >> Robert >> >> I am going to give a /Cool Logic >> <https://www.illc.uva.nl/coollogic/>/ talk about my recent work >> <http://airobert.github.io/cool_logic.pdf> and my two papers on >> 4th Dec. >> New homepage at Github: https://airobert.github.io/ >> Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 >> >> >> >> ------------------------------------------------------------------------------ >> Go from Idea to Many App Stores Faster with Intel(R) XDK >> Give your users amazing mobile app experiences with Intel(R) XDK. >> Use one codebase in this all-in-one HTML5 development environment. >> Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. >> http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 >> >> >> _______________________________________________ >> Mmdasp-users mailing list >> Mmd...@li... >> <mailto:Mmd...@li...> >> https://lists.sourceforge.net/lists/listinfo/mmdasp-users > > > -- > -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 > <tel:%2B49%20%280%29%20341%20%2F%2097%20-%2032343> E: puehrer AT informatik DOT uni-leipzig DOT de > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for > multiple OSs. > http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > _______________________________________________ > Mmdasp-users mailing list > Mmd...@li... > <mailto:Mmd...@li...> > https://lists.sourceforge.net/lists/listinfo/mmdasp-users > > > > > -- > > Regards, > Robert > > I am going to give a /Cool Logic <https://www.illc.uva.nl/coollogic/>/ > talk about my recent work > <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. > New homepage at Github: https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > -- -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de |
|
From: Robert W. <ai....@gm...> - 2015-11-24 13:53:04
|
Dear Joerg, Thanks for your fast reply! I would like to build standalone application instead of using it as an eclipse plugin for my project. I wonder if there is any small examples to give me a smoother start. Is there a page for the APIs? Thanks! Robert On 24 November 2015 at 14:46, Joerg Puehrer < pu...@in...> wrote: > Dear Robert, > > what aspects of Sealion do you want to use? Is it for an eclipse (or > sealion) plugin or a standalone application? > Regarding the source code you'll find the relevant projects under > https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ > where org.mmdasp.sealion is the main plugin (which is independent of a > particular ASP language). > > best regards, > Joerg > > > > On 24.11.2015 14:11, Robert White wrote: > > Dear Hans and all, > > I would like to use the Java API for Sealion abut I didn't see any API > there. I wonder how I can use the API for my project. > > It would be nice of you if you can provide some guidance. > > Thanks! > > -- > > Regards, > Robert > > I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* > talk about my recent work <http://airobert.github.io/cool_logic.pdf> and > my two papers on 4th Dec. > New homepage at Github: <https://airobert.github.io/> > https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs.http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > > > > _______________________________________________ > Mmdasp-users mailing lis...@li...https://lists.sourceforge.net/lists/listinfo/mmdasp-users > > > > -- > -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de > > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for multiple > OSs. > http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > _______________________________________________ > Mmdasp-users mailing list > Mmd...@li... > https://lists.sourceforge.net/lists/listinfo/mmdasp-users > > -- Regards, Robert I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* talk about my recent work <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. New homepage at Github: https://airobert.github.io/ Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 |
|
From: Joerg P. <pu...@in...> - 2015-11-24 13:46:11
|
Dear Robert, what aspects of Sealion do you want to use? Is it for an eclipse (or sealion) plugin or a standalone application? Regarding the source code you'll find the relevant projects under https://sourceforge.net/p/mmdasp/code/HEAD/tree/sealion/trunk/ where org.mmdasp.sealion is the main plugin (which is independent of a particular ASP language). best regards, Joerg On 24.11.2015 14:11, Robert White wrote: > Dear Hans and all, > > I would like to use the Java API for Sealion abut I didn't see any API > there. I wonder how I can use the API for my project. > > It would be nice of you if you can provide some guidance. > > Thanks! > > -- > > Regards, > Robert > > I am going to give a /Cool Logic <https://www.illc.uva.nl/coollogic/>/ > talk about my recent work > <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. > New homepage at Github: https://airobert.github.io/ > Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 > > > > ------------------------------------------------------------------------------ > Go from Idea to Many App Stores Faster with Intel(R) XDK > Give your users amazing mobile app experiences with Intel(R) XDK. > Use one codebase in this all-in-one HTML5 development environment. > Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. > http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 > > > _______________________________________________ > Mmdasp-users mailing list > Mmd...@li... > https://lists.sourceforge.net/lists/listinfo/mmdasp-users -- -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de |
|
From: Robert W. <ai....@gm...> - 2015-11-24 13:11:14
|
Dear Hans and all, I would like to use the Java API for Sealion abut I didn't see any API there. I wonder how I can use the API for my project. It would be nice of you if you can provide some guidance. Thanks! -- Regards, Robert I am going to give a *Cool Logic <https://www.illc.uva.nl/coollogic/>* talk about my recent work <http://airobert.github.io/cool_logic.pdf> and my two papers on 4th Dec. New homepage at Github: https://airobert.github.io/ Carolina MacGillavrylaan 2246 , 1098 XK AMSTERDAM HP: 0652691901 |
|
From: Joerg P. <pu...@kr...> - 2014-07-30 09:28:25
|
Hi Stephan, unfortunately, the new syntax is not implemented. Most likely it also will not be in the near future. best regards, Joerg Am 30.07.2014 10:57, schrieb Stephan Opfer: > Hi all, > > does SeaLion support debugging with the newest Clingo version? (Clasp 3.0.1, Gringo 4.3.0) > > I had some problems with null pointers, when I tried to debug with a new Clingo Version as external solver. > > Greetings, > Stephan |
|
From: Stephan O. <op...@vs...> - 2014-07-30 08:57:14
|
Hi all, does SeaLion support debugging with the newest Clingo version? (Clasp 3.0.1, Gringo 4.3.0) I had some problems with null pointers, when I tried to debug with a new Clingo Version as external solver. Greetings, Stephan -- Distributed Systems Research Group Stephan Opfer T. +49 561 804-6283 F. +49 561 804-6277 Univ. Kassel, FB 16, Wilhelmshöher Allee 73, D-34121 Kassel WWW: http://www.vs.uni-kassel.de/mitarbeiter/wiss-mitarbeiter/stephan-opfer/ |
|
From: Joerg P. <pu...@in...> - 2014-04-23 08:15:02
|
Dear Claudia, apparently, the plugin does not allow for nullary predicates. A workaround would be to add the same dummy constant symbol to every atom, so -p(c) :- q(c). p(c) :- q(c). q(c). a(c) :- not b(c). b(c) :- not a(c). cheers, Joerg On 18.04.2014 05:23, Schulz, Claudia wrote: > Dear all, > > I am trying to use the Ouroboros plugin, but it always gives me an > error that I don't understand: > "There are no terms within the predicate symbol. Program element: -p". > > My logic program is this (it's of course inconsistent): > > -p :- q. > p :- q. > q. > a :- not b. > b :- not a. > > Am I using the plugin wrong? > > Thanks for any help, > Claudia > > > ------------------------------------------------------------------------------ > Start Your Social Network Today - Download eXo Platform > Build your Enterprise Intranet with eXo Platform Software > Java Based Open Source Intranet - Social, Extensible, Cloud Ready > Get Started Now And Turn Your Intranet Into A Collaboration Platform > http://p.sf.net/sfu/ExoPlatform > > > _______________________________________________ > Mmdasp-users mailing list > Mmd...@li... > https://lists.sourceforge.net/lists/listinfo/mmdasp-users -- -- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343 E: puehrer AT informatik DOT uni-leipzig DOT de |
|
From: Schulz, C. <cla...@im...> - 2014-04-18 03:23:58
|
Dear all, I am trying to use the Ouroboros plugin, but it always gives me an error that I don't understand: "There are no terms within the predicate symbol. Program element: -p". My logic program is this (it's of course inconsistent): -p :- q. p :- q. q. a :- not b. b :- not a. Am I using the plugin wrong? Thanks for any help, Claudia |
|
From: Malcolm R. <mal...@cs...> - 2013-05-01 07:30:49
|
I am writing a java application that interacts with the Potassco tools. In the absence of a proper Java API, I was hoping I might be able to use your code to run the command line tools and parse the output. Are there classes in your source that might help me do this? If so, where should I be looking? Thanks, Malcolm |
