Changes for page Products

From version 157.1
edited by Andrea Omicini
on 10/08/2021 17:43
Change comment: There is no comment for this version
To version 152.1
edited by Andrea Omicini
on 10/08/2021 17:35
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 +|[[#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']] | [[{{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='300']]|(((
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"]]|(((
... ... @@ -125,8 +125,8 @@
125 125  **Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
126 126  )))
127 127  
128 -{{id name='soda'/}}
129 129  == #soda() ==
118 +{{id name='soda'/}}
130 130  |[[image:SODA.WebHome@soda-logo.png||width="200"]]|(((
131 131  #soda() (Societies in Open and Distributed Agent spaces) is a methodology for the analysis and design of complex agent-based systems. #soda() is not concerned with //intra-agent issues//: designing a multi-agent system with #soda() leads to defining agents in terms of their required observable behaviour and their role in the multi-agent system.
132 132  Instead, #soda() concentrated on //inter-agent// issues, like the engineering of societies and infrastructures for multi-agent systems.
... ... @@ -136,8 +136,8 @@
136 136  **Contact**: [[Ambra Molesini>>AmbraMolesini.WebHome]]
137 137  )))
138 138  
139 -{{id name='traumatracker'/}}
140 140  == #traumatracker() ==
129 +{{id name='traumatracker'/}}
141 141  |[[image:TraumaTracker.WebHome@TT-logo.png||width="500"]]|(((
142 142  Developed in collaboration with the Trauma Center and the Emergency Department of the "Bufalini" Hospital in Cesena, Italy, #traumatracker() is a project in which agent technologies are exploited to realise Personal Medical Digital Assistant Agents (PMDA) supporting a Trauma Team in trauma management operations. This project aims at exploring the fruitful integration of software personal agents with wearable/eyewear computing, based on mobile and wearable devices such as smart-glasses.
143 143  
... ... @@ -147,8 +147,8 @@
147 147  **Contact**: [[Angelo Croatti>>https://www.unibo.it/sitoweb/a.croatti/en]], [[Sara Montagna>>https://www.unibo.it/sitoweb/sara.montagna/en]], [[Alessandro Ricci>>https://www.unibo.it/sitoweb/a.ricci/en]]
148 148  )))
149 149  
150 -{{id name='tucson'/}}
151 151  == #tucson() ==
140 +{{id name='tucson'/}}
152 152  |[[image:TuCSoN.WebHome@tucson.jpg||width="200"]]|(((
153 153  #tucson() (Tuple Centres over the Network) is a model (and related infrastructure and technology) for the coordination of Internet agents.
154 154