Changes for page Products

From version 154.1
edited by Andrea Omicini
on 10/08/2021 17:36
Change comment: There is no comment for this version
To version 159.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']] | [[{{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"]]|(((
... ... @@ -96,7 +96,7 @@
96 96  
97 97  {{id name='simpa'/}}
98 98  == #simpa() ==
99 -|[[image:SimpA.WebHome@simpa-logo.jpg||width="400"]]|(((
110 +|[[image:SimpA.WebHome@simpa-logo.jpg||width="250"]]|(((
100 100  #simpa() is a framework extending the basic Java environment with an agent-oriented abstraction layer for programming complex (concurrent in particular) applications.
101 101  
102 102  #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.
... ... @@ -114,8 +114,8 @@
114 114  **Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
115 115  )))
116 116  
117 -== #soda() ==
118 118  {{id name='soda'/}}
129 +== #soda() ==
119 119  |[[image:SODA.WebHome@soda-logo.png||width="200"]]|(((
120 120  #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.
121 121  Instead, #soda() concentrated on //inter-agent// issues, like the engineering of societies and infrastructures for multi-agent systems.
... ... @@ -125,8 +125,8 @@
125 125  **Contact**: [[Ambra Molesini>>AmbraMolesini.WebHome]]
126 126  )))
127 127  
128 -== #traumatracker() ==
129 129  {{id name='traumatracker'/}}
140 +== #traumatracker() ==
130 130  |[[image:TraumaTracker.WebHome@TT-logo.png||width="500"]]|(((
131 131  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.
132 132  
... ... @@ -136,8 +136,8 @@
136 136  **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]]
137 137  )))
138 138  
139 -== #tucson() ==
140 140  {{id name='tucson'/}}
151 +== #tucson() ==
141 141  |[[image:TuCSoN.WebHome@tucson.jpg||width="200"]]|(((
142 142  #tucson() (Tuple Centres over the Network) is a model (and related infrastructure and technology) for the coordination of Internet agents.
143 143