Tags
publications / Andrea Omicini
2p-Kt3
2PaaS3
3APL1
A&A40
A&A ReSpecT1
ABA+1
abduction2
abductive logic programming1
abductive reasoning1
access control5
ACLT8
activity theory6
actors1
adaptive systems1
adaptive tuple clustering1
ADELFE1
agens faber1
agent architecture1
agent cognition1
agent communication1
agent communication languages4
agent coordination contexts22
agent middleware1
agent model1
agent societies5
agent technology1
agent workspaces1
agent-based modelling1
agent-based modelling and simulation2
agent-based XAI2
agent-oriented computing7
agent-oriented methodologies6
agent-oriented software engineering32
AgentLink2
AgentLink III12
agents7
agricultural systems1
AI4EU12
Alchemist7
AlmaActa1
ambient intelligence1
answer set programming1
APPEAL1
Arg2P7
argumentation15
artefacts26
artificial intelligence6
ASPECS1
ASPIC+1
asynchronous interaction1
augmented reality1
authentication1
authorisation1
autonomic communication1
autonomous systems2
autonomous weapon systems1
autonomy4
BaSi1
behaviour analysis2
behaviour prediction2
behavioural implicit communication5
biochemical coordination2
biochemical tuple spaces4
bioinformatics1
biology1
BioMABS2
BISON1
black-box regressors3
blockchain6
blockchain-based coordination2
burden of persuasion3
burden of proof1
CARA1
CArtAgO9
chemical coordination3
chronic diseases1
cloud computing2
co-argumentation artefacts2
cognitive agents1
cognitive stigmergy5
collaboration2
collaborative learning systems1
collective sorting3
complex system simulation1
complex systems3
CompuLaw17
computable law1
computational biology4
computational institutions2
computational logic ecosystem1
computational logics2
concurrent languages1
concurrent software engineering1
concurrent systems1
conference management1
constraint logic programming1
constraint programming1
contact centres1
context-dependent coordination1
contexts8
contextual logic programming14
contextual programming2
contract nets1
cooperation1
cooperative argumentation1
cooperative information systems1
coordination71
coordination architecture1
coordination artefacts7
coordination as a service3
coordination expressiveness4
coordination languages3
coordination middleware12
coordination models9
coordination technology8
copy-collect1
CORBA1
CSM7
cyber-physical and cloud systems1
data mining2
Datalog1
declarative technologies8
defeasible logic1
defeasible preference1
defeasible reasoning3
DeLP1
description logics1
design guidelines1
design patterns2
design process documentation and fragmentation2
dialogue6
digital democracy3
discrete-event simulation2
distance learning1
distributed argumentation1
distributed logic programming4
distributed systems4
distributed systems engineering2
domain specific languages1
Drosophila Melanogaster3
dynamic task allocation2
e-democracy platforms1
e-health1
E-learning1
eager vs. lazy binding1
edge computing2
edge intelligence2
elasticity1
eLearning2
embedding1
embodied computing1
embodied vs. disembodied coordination1
emergent behaviours1
environment engineering1
environment-based coordination8
eScience1
Ethereum1
ethical AI1
event model1
event notification1
event-based systems1
event-driven coordination3
EXPECTATION14
explainability3
eXplainable AI18
explanation-ready agents1
expressiveness1
farm planning1
federated learning1
finite state machine1
FIPA ACL2
FIPA agents1
follow-me1
formal models15
functional programming1
fuzzy description logic1
Gaia3
GALILEO1
game engines1
Gamma1
Gillespie2
glycolysis1
GNN2GNN1
graph neural networks2
grey-box semantics1
GridEx3
health care1
hematopoietic stem cells2
HiMAT8
Home Manager3
hybrid coordination1
hypercube-based methods1
HyperLedger Fabric1
IEEE-FIPA documentation template3
implicit communication1
inductive logic programming4
INGENIAS1
intelligent agents5
intelligent systems13
inter-organisational workflow1
interaction1
interaction patterns1
interaction semantics1
interactive systems1
Internet agents9
Internet of Intelligent Things2
Internet of Things9
interoperability1
interpretability3
interpretable prediction2
intracellular signalling pathways1
intrusion detection2
ITER1
JADE6
Jason2
Java2
Java agents1
JavaBeans1
JavaSpaces3
KILL1
KINS3
knowledge extraction4
knowledge management1
knowledge-intensive environment8
knowledge-oriented coordination1
knowledge-oriented coordination1
Kotlin2
labelled systems1
labelled variables3
labelled variables in logic programming1
large-scale coordination2
large-scale simulation1
Law-governed Linda1
layering3
legal reasoning1
Lime2
LinCa1
Linda12
linear logic2
linkability2
linked data1
linking primitives1
LiquidFeedback2
load classification1
logic agents2
logic constraints1
logic induction1
logic programming38
logic tuple centres1
logic tuple spaces2
logic-based argumentation1
logic-based coordination3
logic-based techniques1
logic-based technologies4
LogOp3
LPaaS9
LuCe7
machine learning5
Manifold2
MAS applications2
MAS coordination11
MAS engineering9
MAS environment18
MAS meta-model2
MAS middleware20
MAS organisation10
MAS security4
MaSE1
MASON1
massively multi-agent systems1
Maude2
medieval battles1
MEnSA2
meta-argumentation3
meta-model3
meta-modelling2
metabolyc pathways1
method engineering1
micro-intelligence6
middleware2
middleware integration1
minority game3
mobile agents7
mobility1
model checking2
model-driven architecture1
model-driven engineering1
models2
modular embedding2
MoK8
Mok-News2
morphogenesis1
multi-agent based simulation10
multi-agent systems94
multi-disciplinary research1
multi-level autonomy2
multi-paradigm languages1
multi-paradigm modelling1
multi-paradigm programming6
multi-theory logic languages1
multicellular systems biology2
multiple coordination flows2
nature-inspired computing1
nature-inspired coordination4
negotiation1
neural architecture search1
neural network complexity1
neural network opacity1
neural networks6
neuro-symbolic reasoning2
news management systems3
NokiaMobileCoord12
non-IID data1
norms2
nutritional recommendation systems1
object-oriented inductive logic programming2
object-oriented logic programming2
object-oriented planning1
object-oriented programming8
object-oriented model1
objective vs. subjective coordination8
observable sources1
observation9
observation-based coordination5
online engineering1
open computational systems2
open systems1
open vehicle fleets2
open systems1
operating instructions3
operational semantics2
OPM2
organisation1
OWL1
PASSI1
peer-review federated learning1
Pellet1
pervasive computing5
pervasive ecosystems3
pervasive service ecosystems1
pervasive systems2
Petri nets2
physics1
pi-calculus1
plain diffusion1
planning2
PRISM1
privacy1
proactivity1
probabilistic languages2
probabilistic logic programming2
probabilistic model checking1
probabilistic modular embedding2
ProbLinCa1
process algebras5
process engineering1
programmable coordination media5
Prolog12
Prolog agents1
Prometheus1
PROSOCS1
PSyKE3
PSyKI6
QoS metrics for SKI1
quality of service1
R3 Corda1
RBAC5
RBAC-MAS8
RDF1
reflection1
Reo2
RESET4
resource-constrained devices1
resource-oriented architecture3
ReSpecT33
ReSpecTX1
ReSpecT nets1
REST6
rewriting logic1
RMI1
robot programming1
robot systems3
robustness1
roles4
Rousseau1
S-WAM2
SANA1
SANAP1
SAPERE2
SAPERE-in6
SAPERE-pre3
security1
self-awareness1
self-management of chronic diseases1
self-organising coordination4
self-organising knowledge2
self-organising MAS1
self-organising systems17
self-organising workspaces1
semantic coordination5
semantic reasoning1
semantic segmentation1
semantic tuple centres3
semantic web2
SemHealthCoord2
service self-composition1
service-oriented architecture4
Shallow2Deep1
SHOIN(D)1
SICStus1
SICStus Prolog5
signalling pathways models1
simpA1
simpA-WS1
simulation13
SIPEAA2
situadeness1
situated computing1
situated coordination2
situated intelligence1
situated logic programming3
Situated ReSpecT1
situational method engineering2
situational process engineering1
smart contracts6
smart environments5
smart home2
social action1
social sciences1
socio-technical systems5
SODA26
software architecture1
software development process4
software engineering4
SOKO coordination model1
space-time programming1
SPARQL1
spatial computing2
spatial computing languages1
Spatial Tuples2
spatio-temporal computing1
SPEM3
SPEM 2.01
StairwAI8
statistical mechanics1
stigmergy1
STIL1
stochastic coordination4
stochastic Prolog1
stochastic simulation2
stochastic systems3
stochastic π-calculus3
StoKlaim1
stream processing1
structured logic programming1
subsumption architecture1
survey1
SYBL1
symbolic AI1
symbolic knowledge extraction4
symbolic knowledge injection8
symbolic vs. subsymbolic8
symbolic reasoning1
systematic literature review2
systemic coordination1
systems biology5
systems biology modelling languages1
systems of systems1
T Spaces2
task-oriented engineering2
TCP/IP1
Tenderfone3
Tendermint1
tic-tac-toe1
timed coordination2
Timed ReSpecT2
tools2
topology7
Tropos1
trust1
TRUST 032
trustable systems1
TuCSoN102
TuCSoN on Cloud1
TuCSoN4Jade1
tuple centres12
tuple matching1
tuple-based coordination31
tuProlog17
Turing equivalence1
TuSoW1
Type 1 diabetes mellitus1
UML2
understandability2
UNIBO1
uniform primitives4
Unity3D1
Unreal Engine1
verification1
virtual enterprise4
VLSI Prolog1
WAM2
web services1
WebLP5
WordNet1
workflow1
workflow management systems8
WWW2
XMAS1
zooming2
π-calculus1