Changes for page Products

From version 159.1
edited by Andrea Omicini
on 10/08/2021 17:44
Change comment: There is no comment for this version
To version 155.1
edited by Andrea Omicini
on 10/08/2021 17:38
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -2,7 +2,7 @@
2 2  >Academic activities often result in //products// that can be shared and freely used, consisting mainly of software //technologies// — programming languages and frameworks, software infrastructures — but also including //methodologies// for the engineering of complex computational systems.
3 3  >Below, the current list of products actively supported, ordered alphabetically.
4 4  
5 -(% style='text-align:center' %)((([[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[#lpaas()>>||anchor='lpaas']] | [[{{mok/}}>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{respect/}}>>||anchor='respect']] | [[simpA>>||anchor='simpa']] | [[simpAL>>||anchor='simpal']] | [[{{soda/}}>>||anchor='soda']] | [[#traumatracker()>>||anchor='traumatracker']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']])))
5 +(% style='text-align:center' %)((([[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[{{mok/}}>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{respect/}}>>||anchor='respect']] | [[simpA>>||anchor='simpa']] | [[simpAL>>||anchor='simpal']] | [[{{soda/}}>>||anchor='soda']] | [[#traumatracker()>>||anchor='traumatracker']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']])))
6 6  
7 7  {{id name='alchemist'/}}
8 8  == #alchemist() ==
... ... @@ -53,17 +53,6 @@
53 53  **Contact**: [[Roberta Calegari>>RobertaCalegari.WebHome]]
54 54  )))
55 55  
56 -{{id name='lpaas'/}}
57 -== #lpaas() ==
58 -|[[image:LPaaS.WebHome@2P-LPaaS.png||width='600']]|(((
59 -#lpaas() (short for #lpaasfull()) is a logic-based agreement framework enabling defeasible reasoning in intelligent systemsLogic Programming as a Service (LPaaS) is an evolution of the logic programming (LP) paradigm for intelligent IoT. It is a logic-based, service-oriented approach for distributed situated intelligence, conceived and designed as the natural evolution of LP in nowadays pervasive computing systems. Its purpose is to enable situated reasoning via explicit definition of the spatial-temporal structure of the environment where situated entities act and interact.
60 -)))(((
61 -**Space**: [[#lpaas() Home>>LPaaS.WebHome]]
62 -**Contact**: [[Roberta Calegari>>RobertaCalegari.WebHome]]
63 -
64 -)))
65 -
66 -
67 67  {{id name='mok'/}}
68 68  == #moklong() ==
69 69  |[[image:MoK.WebHome@mok-logo.png||width="200"]]|(((
... ... @@ -107,7 +107,7 @@
107 107  
108 108  {{id name='simpa'/}}
109 109  == #simpa() ==
110 -|[[image:SimpA.WebHome@simpa-logo.jpg||width="250"]]|(((
99 +|[[image:SimpA.WebHome@simpa-logo.jpg||width="400"]]|(((
111 111  #simpa() is a framework extending the basic Java environment with an agent-oriented abstraction layer for programming complex (concurrent in particular) applications.
112 112  
113 113  #simpa() is based on the #aea() (Agents and Artifacts) programming model, which introduces high-level metaphors taken from human society, namely agents - analogous to humans, as executors of activities and activities — and artifacts — analogous of the objects, resources, tools that are dynamically constructed, used, manipulated by humans to support / realise their individual and social activities.