Changes for page Products

From version 155.1
edited by Andrea Omicini
on 10/08/2021 17:38
Change comment: There is no comment for this version
To version 158.1
edited by Andrea Omicini
on 10/08/2021 17:44
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']] | [[{{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']] | [[#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']])))
6 6  
7 7  {{id name='alchemist'/}}
8 8  == #alchemist() ==
... ... @@ -53,6 +53,17 @@
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 +
56 56  {{id name='mok'/}}
57 57  == #moklong() ==
58 58  |[[image:MoK.WebHome@mok-logo.png||width="200"]]|(((