Tag
pubblicazioni
2APL2
2p-Kt4
2PaaS3
3APL2
A&A51
A&A ReSpecT1
ABA+1
abduction2
abductive logic programming1
abductive reasoning1
access control5
ACLT9
active documents1
active learning1
activity theory9
actors3
ad hoc alignment1
adaptive systems9
adaptive tuple clustering2
ADELFE2
AEQUITAS5
agens faber1
agent architecture1
agent cognition1
agent communication1
agent communication languages5
agent control loop1
agent coordination contexts24
agent middleware1
agent model2
agent societies8
agent technology1
agent workspaces1
agent-based modelling3
agent-based modelling and simulation3
agent-based XAI2
agent-oriented computing11
agent-oriented methodologies8
agent-oriented programming7
agent-oriented software engineering68
AgentLink2
AgentLink III14
agents17
AgentSpeak4
aggregate computing5
aggregate planning1
agile software development4
agricultural systems1
AI4EU12
Alberto Martelli1
Alchemist18
ALMA TWO2
AlmaActa1
ALOO1
AlphaGo1
ambient intelligence12
amorphous computing1
Android2
answer set programming1
AnyLogic1
APPEAL1
architectural styles1
Arg2P12
argumentation22
artefacts32
artificial general intelligence2
artificial intelligence14
artificial life1
ASPECS2
aspects1
ASPIC+1
asynchronous interaction1
attention mechanism4
Auction1
augmented reality3
augmented worlds3
AUML1
authentication2
authorisation2
automated guided vehicles1
automatic service composition1
AutoML3
autonomic communication1
autonomic computing1
autonomous agents4
autonomous systems2
autonomous weapon systems1
autonomy6
availability1
Bach1
BaSi1
BDI12
behaviour analysis2
behaviour prediction2
behavioural implicit communication7
BibTeX2
bio-inspired computing1
biochemical coordination5
biochemical networks1
biochemical simulation1
biochemical tuple spaces4
bioinformatics1
biology1
BioMABS3
Biomimetics1
BioPepa2
bisimulation1
BISON1
black-box models5
black-box regressors7
blackboard model4
blockchain6
blockchain-based coordination2
BPEL1
bulk primitives1
burden of persuasion6
burden of proof2
Butlers5
byzantine behaviour1
C@sa1
CAP theorem1
CARA1
CArtAgO18
CASE1
CASE tools1
CASO1
causal interpretation1
ChatGPT2
chemical coordination5
chemical models1
chemical tuple spaces3
chronic diseases1
CINA10
client-side computing1
cloud computing2
cloud services1
CMS1
CNR-PA6
co-argumentation artefacts2
code mobility2
cognitive agents2
cognitive artefacts2
cognitive stigmergy6
collaboration2
collaborative learning systems1
Collaborative work1
collective intelligence1
collective services1
collective sorting8
Communication1
communication networks1
complex system simulation1
complex systems3
complexity2
component-based systems3
CompuLaw28
computability1
computable law1
computational biology7
computational fields6
computational institutions2
computational logic ecosystem1
computational logics7
computer science1
concurrent languages1
concurrent object-oriented programming2
concurrent software engineering1
concurrent systems1
conference management1
consistency1
Constraint1
constraint logic programming1
constraint programming1
constraint satisfaction1
contact centres1
Context1
context awareness1
context-aware computing1
context-dependent coordination1
contexts8
contextual logic programming15
contextual programming2
contract nets1
control-driven coordination1
Control-driven models1
convolutional neural networks1
cooperation1
cooperative argumentation1
cooperative information systems1
coordination102
coordination architecture1
coordination artefacts8
coordination as a service3
coordination expressiveness4
coordination languages3
coordination middleware16
coordination models12
coordination patterns1
coordination technology9
coordination without model1
copy-collect1
CoQA dataset1
CORBA1
Cougaar1
counterfactual explanation2
CREAM1
CReEPy1
Crosscutting1
crosscutting concerns1
CSCW2
CSM7
CSpaces1
cyber-physical and cloud systems1
cyber-physical systems1
DAI1
Darwin Information Typing Architecture1
data aggregation1
data degradation1
data mining2
Data-driven models1
data-efficient learning1
Datalog1
dataset pruning1
dataset summarisation1
DCaseLP1
DCVS1
decision support systems1
Decision making1
declarative programming1
declarative technologies8
deep learning2
deep neural networks2
defeasible logic1
defeasible preference1
defeasible reasoning4
delay measures1
DeLP1
demo2
description logics11
design guidelines1
design patterns4
design process documentation and fragmentation8
developmental biology2
DevOps1
dialogue6
digital democracy3
digital health1
digital pheromones1
digital twins2
discrete-event simulation2
distance learning1
distributed argumentation1
distributed consensus1
distributed data processing1
distributed language model training1
distributed logic programming4
distributed programming1
distributed systems14
distributed systems engineering2
domain specific languages4
Drosophila Melanogaster6
dynamic task allocation2
e-democracy platforms1
e-health6
e-learning2
e-learning management systems1
eager vs. lazy binding1
EasyLiving1
Eclipse4
Eclipse constraint solver1
Eclipse Modeling Framework1
Eclipse-IT2
eco-laws5
ecosystems1
edge computing2
edge intelligence3
EgoSpaces1
elasticity1
ELDAMeth1
eLearning2
embedding1
embodied computing1
embodied vs. disembodied coordination1
emergent behaviours1
encoder-decoders1
EneA-FL1
Engineering7
entscheidungsproblem1
environment engineering1
environment-based coordination9
epistemology2
ePolicy1
eScience1
eternal systems3
Ethereum1
ethical AI1
event loop1
event model1
event notification2
event-based systems1
event-driven coordination3
ExACT2
EXPECTATION16
expert systems1
explainability9
eXplainable AI28
explainable clustering4
explanation-ready agents2
expressiveness4
extended reality1
extreme programming4
farm planning1
federated learning2
few-shot learning1
field calculus4
field-based coordination2
finite state machine1
FIPA1
FIPA ACL2
FIPA agents1
Flickr30k dataset1
Flickr9k dataset1
follow-me1
formal models18
fragment1
fragmentation1
Framework2
functional programming1
FuturICT7
fuzzy description logic3
Gaia17
Gaia4E1
GALILEO5
game engines1
Gamma4
generalised assignment problem1
generative AI1
Generative communication1
generics3
Geo-Linda1
Gillespie2
Git1
glycolysis1
GNN2GNN1
goal-oriented systems1
GORMAS1
GPT-21
GPT-31
GPT31
graph neural networks2
green ICT1
grey-box semantics1
grid computing1
GridEx5
GridREx1
GroupLog1
HCI1
health care6
Healthcare3
hematopoietic stem cells2
hierarchical planning1
hierarchy in complex systems1
HiMAT8
History of ideas1
Home Manager9
Hospital 4.01
hybrid coordination1
hypercube-based methods1
HyperLedger Fabric1
ideal gas1
IEEE1
IEEE-FIPA documentation template3
image recognition1
implicit communication1
Implicit culture2
improvisation1
inductive logic programming4
INGENIAS3
INGENIAS-Agile1
intelligent agents7
intelligent environment1
intelligent systems15
intelligent systems engineering1
intelligent virtual environments1
intentional agents3
intentions1
inter-organisational workflow1
interaction6
interaction patterns1
interaction semantics1
interactive graphical maps1
interactive systems1
Internet agents9
Internet of Intelligent Things3
Internet of Things14
interoperability1
interpretability7
interpretable prediction2
intracellular signalling pathways1
intrusion detection2
IRoom1
Istar1
ITER1
JaCa1
JaCa-Android1
JaCaMo3
JADE6
Jadex1
Jason10
Java7
Java agents1
JavaBeans1
JavaSpaces4
Jini1
KILL1
kinetic modelling1
KINS3
Klaim4
knowledge evaluation1
knowledge extraction8
knowledge management2
knowledge representation1
knowledge-based systems1
knowledge-intensive environment10
knowledge-oriented coordination2
knowledge-oriented coordination1
Kotlin2
labelled systems1
labelled variables3
labelled variables in logic programming1
language models1
languages1
large language models4
large-scale coordination2
large-scale distributed systems1
large-scale simulation1
Law-governed Linda2
layering4
legal reasoning2
LighTS1
Lime3
LinCa1
Linda23
linear logic2
linkability2
linked data1
linking primitives1
LiquidFeedback2
live semantic annotations2
load classification1
Logic2
logic agents2
logic constraints1
logic induction1
logic programming41
logic tuple centres1
logic tuple spaces3
logic-based argumentation1
logic-based coordination3
logic-based reasoning1
logic-based techniques2
logic-based technologies4
logical clocks1
logical English1
logics1
logistics1
LogOp3
LPaaS9
LuCe7
machine learning9
Manifold3
MARS1
MARS-X1
MAS applications5
MAS coordination12
MAS engineering10
MAS environment29
MAS meta-model2
MAS middleware24
MAS organisation11
MAS security5
MaSE1
MASON1
massively multi-agent systems1
matheuristics1
Maude4
MDA1
medieval battles1
MEnSA25
Mentalistic agents1
Mercurial1
MERCURIO1
meta-argumentation4
meta-heuristics2
meta-model9
meta-modelling2
metabolyc pathways1
Method7
method engineering7
methodology3
metrics for neuro-symbolic integration1
metrics for SKE1
metrics for SKI1
micro-intelligence6
microservices1
middleware2
middleware integration1
minority game3
MiRAgE2
mirror worlds3
Mobile1
mobile agents9
mobile computing3
mobile systems1
mobility4
modal logic1
model checking3
model-driven architecture2
model-driven engineering1
Modeling1
models2
modular embedding2
Moise2
MoK14
Mok-News2
morphogenesis4
MS COCO dataset1
MS-BioNET2
msbionet1
MSR1
multi-agent based simulation11
multi-agent organisation2
multi-agent systems134
multi-disciplinary research1
multi-level autonomy2
multi-level models2
multi-paradigm languages1
multi-paradigm modelling1
multi-paradigm programming7
Multi-paradigm modelling1
multi-theory logic languages1
multicellular systems biology3
multiple coordination flows2
n-Queens1
natural language processing4
nature-inspired computing5
nature-inspired coordination7
negotiation2
neural architecture search1
neural image caption generation1
neural machine translation2
neural network complexity1
neural network opacity1
neural networks8
neuro-symbolic integration1
neuro-symbolic reasoning2
news management systems3
NLP datasets1
NokiaMobileCoord11
non-IID data1
norms2
nutritional recommendation systems1
O-MaSe1
object-oriented inductive logic programming2
object-oriented logic programming2
object-oriented Petri nets1
object-oriented planning1
object-oriented programming8
object-oriented model1
objective vs. subjective coordination9
observable sources1
observation9
observation-based coordination5
online engineering2
ontologies1
OOSE1
open computational systems2
open systems1
open vehicle fleets2
OpenUP1
Open systems2
operating instructions4
operational semantics2
OPM2
opportunistic IoT services1
Orchestration1
OrCHiD1
organisation1
OWL1
OWL-S1
OWL-T1
P@J2
Paradigm shift1
parallel algorithms1
parameter engineering1
parameter optimisations1
parametric weighted multi-path1
partial planning1
PASSI4
PEDRO1
peer-review federated learning1
Pellet1
personal agents1
personal medical digital assistants2
pervasive computing11
pervasive ecosystems5
pervasive sensing1
pervasive service ecosystems4
pervasive systems4
Petri nets4
Pheromones1
physical clocks1
physics1
pi-calculus1
plain diffusion1
planning3
plp1
PNagent1
post-declarative programming1
post-hoc explanation1
post-normal science1
practical reasoning1
PRISM3
privacy2
proactivity1
probabilistic languages2
probabilistic logic programming3
probabilistic model checking4
probabilistic modular embedding2
ProbLinCa1
Process5
process algebras6
process calculus1
process engineering1
Process migration1
program correctness1
program specification1
programmable coordination media6
programming2
programming languages3
programming paradigms1
Prolog17
Prolog agents1
Prolog agents1
Prometheus1
PROSOCS1
Protelis1
Proto1
PSyKE9
PSyKI6
pulverizable architectures1
QoS metrics for SKI1
quality of service3
Quintus Prolog1
R3 Corda1
rational agents3
RBAC7
RBAC-MAS8
RDF1
reactive behavioral system1
Reactiveness1
recommendation systems1
reflection1
reification1
reinforcement learning1
reliability1
remote diagnosis1
Reo2
Requirement analysis1
RESET4
resource-constrained devices3
resource-oriented architecture3
ReSpecT33
ReSpecT nets2
ReSpecTX1
REST8
rewriting logic1
RFID2
RGB-D1
RMI1
robot programming1
robot systems3
robustness3
roles4
RoleX1
ROMAS1
Rousseau1
S-WAM2
SANA1
SANAP1
SAPERE7
SAPERE-core4
SAPERE-in9
SAPERE-pre6
SAPERE-rel1
SAPERE-WP21
SC00097B1
ScaFi1
scalability2
security1
self-*1
self-adaptation1
self-awareness1
self-management of chronic diseases1
self-organisation2
self-organising coordination5
self-organising knowledge2
self-organising MAS1
self-organising systems29
self-organising workspaces1
self-stabilisation2
semantic chemistry1
semantic coordination12
semantic reasoning1
semantic segmentation1
semantic tuple centres4
semantic web8
Semantic matching1
SemHealthCoord3
serverless computing1
service middleware1
service self-composition1
service-oriented architecture6
Services1
Shallow2Deep1
Shared Prolog1
SHOIN(D)1
SICStus1
SICStus Prolog5
signalling pathways models4
simpA6
simpA-WS1
simpAL3
simulation20
SIPEAA2
situadeness1
situated computing1
situated coordination2
situated intelligence1
situated logic programming3
Situated ReSpecT1
situatedness1
situational method engineering8
situational process engineering1
SKE metrics1
Small world networks1
smart contracts6
smart energy management1
smart environments6
smart home7
smart hospital1
Smart Spaces2
social action2
social sciences1
social systems1
socio-technical systems7
SODA28
software architecture2
Software development2
software development process5
software engineering7
software process1
Software factory1
Software systems1
SOKO coordination model1
space-based coordination1
space-time programming1
SPARQL1
spatial computing8
spatial computing languages1
spatial coordination1
Spatial Tuples2
Spatial abstractions1
Spatial coordination1
spatio-temporal computing1
SPEM5
SPEM 2.01
StairwAI12
standard of proofs1
statistical mechanics1
stem cells1
stigmergy6
STIL2
stochastic coordination6
stochastic Prolog1
stochastic simulation5
stochastic simulation algorithm4
stochastic systems3
stochastic π-calculus3
StoKlaim3
stream processing1
structured logic programming1
stupid backoff1
sTuples2
subsumption architecture1
supervised learning1
survey1
SVN1
Swarm1
SYBL1
symbolic AI1
symbolic knowledge extraction11
symbolic knowledge injection11
symbolic vs. subsymbolic9
symbolic reasoning1
synchronisation1
systematic literature review3
systemic coordination1
systems biology5
systems biology modelling languages1
systems of systems1
System dynamics1
T Spaces2
TAILOR7
task-oriented engineering2
TCP/IP1
telemedicine1
TeleStroke1
Tenderfone3
Tendermint1
Testing1
theoretical physics1
theory of mind1
tic-tac-toe1
time1
timed coordination2
Timed ReSpecT2
tools6
topology9
TOTA3
train punctuality1
transactions1
transformers2
trauma management1
TraumaTracker5
Tropos8
trust2
TRUST 032
trustable systems1
trustworthy AI2
TuCSoN106
TuCSoN on Cloud1
TuCSoN4Jade1
tuple centres13
tuple matching1
tuple-based coordination50
tuProlog22
Turing equivalence1
TuSoW1
Type 1 diabetes mellitus1
T Spaces1
ubiquitous systems1
UML2
understandability3
UNIBO2
uniform primitives4
UNIMORE5
UNITN10
Unity3D1
Unreal Engine1
verification3
virtual enterprise4
virtual organisations1
virtual reality1
virtual worlds1
VLSI Prolog1
WAM2
Web 2.01
web services3
WebLP5
WebText dataset1
Web architecture1
wildcards1
WoAT2
WordNet1
workflow1
workflow management systems8
WWW3
XMAS1
XML2
zooming2
π-calculus1