Tags
- &-Prolog
- .NET
- 2APL
- 2p-Kt
- 2PaaS
- 2pTag
- 2PTags
- 3APL
- A&A
- A&A ReSpecT
- ABA+
- abduction
- abduction-based explanations
- abductive logic programming
- abductive reasoning
- abduttive agents
- abduttive reasoning
- ABS
- abstract tuples
- Accenture
- acceptance test driven development
- access control
- ACLT
- ACME
- active documents
- active learning
- Active Object
- activity theory
- Actor-D
- actors
- ad hoc alignment
- adaptive governance
- adaptive systems
- adaptive tuple clustering
- ADELFE
- adjustable autonomy
- ADL
- ADR
- AEQUITAS
- agens faber
- Agens faber
- agent architecture
- agent augmented community
- agent behaviour
- agent body
- agent cognition
- agent communication
- agent communication languages
- agent control loop
- agent coordination contexts
- agent management system
- agent middleware
- agent model
- agent programming
- agent societies
- agent technology
- agent workspaces
- agent-based modelling
- agent-based modelling and simulation
- agent-based technologies
- agent-based XAI
- agent-oriented computing
- agent-oriented methodologies
- agent-oriented programming
- agent-oriented software engineering
- AgentLink
- AgentLink II
- AgentLink III
- agents
- AgentSpeak
- AgentSpeak(L)
- Agent & Law
- AGERE
- aggregate computing
- aggregate planning
- agile software development
- Aglets
- agreement technologies
- agricultural systems
- AI in consulting
- AI2Go
- AI4EU
- AI4EUROPE
- AIBA
- air traffic control
- Ajax
- Akka
- Akka Cluster
- Akka Distributed Data
- ALBA
- Alberto Martelli
- Alchemist
- algebraic methods
- algorithmic bias
- algorithms
- ALIAS
- allopoiesis
- ALMA TWO
- AlmaActa
- ALOO
- AlphaGo
- alternative dispute resolution
- Alzheimer
- Alzheimer's disease
- Amazon Elastic GPUs
- Amazon S3
- Amazon Web Services
- ambient intelligence
- AmbientTalk
- amorphous computing
- AMPQ
- AMUSE
- AND-parallelism
- Andorra
- Android
- anemia diagnosis
- Angular.js
- anomaly detection
- Ansible
- answer set programming
- Ant
- ant clustering
- ant foraging
- ant-based systems
- antivirus
- AnyLogic
- AOSD
- Apache Bookkeper
- Apache Cassandra
- Apache Commons Mathematics Library
- Apache Flink
- Apache HttpClient
- Apache Ignite
- Apache Kafka
- Apache Nutch
- Apache Pulsar
- Apache Solr
- Apache Spark
- Apache Zookeeper
- APICe
- APPEAL
- Apple Vision Pro
- Application
- AR-Drone
- Ara
- arcade games
- architectural styles
- Arduino
- Arg2P
- ARGoS simulator
- argumentation
- ARM cluster
- artefact manuals
- artefacts
- artificial general intelligence
- artificial intelligence
- artificial life
- artificial vision
- as a service
- ASAI-ER
- ASP.NET
- ASPECS
- aspects
- ASPIC+
- ASTRA
- astronomy
- asynchronous communication
- asynchronous interaction
- asynchronous programming
- attention mechanism
- Auction
- augmented reality
- augmented worlds
- AUML
- Aurora
- authentication
- authentication protocols
- authorisation
- automated guided vehicles
- automated reasoning
- automatic service composition
- automatic systems
- automatic vehicle parking
- automatic service composition
- automation testing
- AutoML
- autonomic communication
- autonomic computing
- autonomic systems
- autonomous agents
- autonomous cars
- autonomous driving
- autonomous flight
- autonomous racing drones
- autonomous robots
- autonomous systems
- autonomous vehicles
- autonomous weapon systems
- autonomy
- autonomy vs. intelligence
- autopoiesis
- AUTOSAR 3LSC
- availability
- AWARE
- Axios
- Azure cloud services
- Azure Functions
- Babel
- Bach
- backend as a service
- BaSi
- basketball
- batch simulation
- bathhouses
- Battleship
- bayesan networks
- BBS
- BDI
- BDI agents
- BDI concurrency
- BDI technologies
- beach volley
- beacon devices
- behaviour analysis
- behaviour prediction
- behaviour-driven development
- behavioural implicit communication
- BentoML
- Berkeley algorithm
- bias
- BibTeX
- bio-inspired computation
- bio-inspired computing
- bio-inspired design patterns
- bio-inspired networking
- Biobricks
- biochemical coordination
- biochemical networks
- biochemical simulation
- biochemical tuple spaces
- biocomputing
- bioinformatics
- biological systems
- biology
- BioMABS
- Biomimetics
- BioPepa
- bisimulation
- BISON
- Bitcoin
- BitTorrent
- black-box models
- black-box regressors
- blackboard model
- blockchain
- blockchain-based coordination
- Bluetooth Low Energy
- board games
- Bomberman
- bookies
- Bootstrap
- BPEL
- BPMN
- BTS-SOC
- bubble rap
- bulk primitives
- burden of persuasion
- burden of proof
- Business
- business rule management systems
- Butlers
- byzantine behaviour
- byzantine fault tolerance
- byzantine generals problem
- C#
- C@sa
- CAA
- CAP theorem
- car-to-car gossiping
- CARA
- card games
- Cards Against Humanity
- CArtAgO
- CArtAgO-WS
- CASCOM
- CASE
- CASE tools
- case-based planning
- CASO
- causal interpretation
- CellML
- cellular automata
- Cellulat
- Ceph
- Chandy-Lamport algorithm
- chat
- chatbot
- ChatGPT
- chemical coordination
- chemical models
- chemical tuple spaces
- Choco Solver
- Chroma
- chronic diseases
- Chubby
- CI/CD
- CINA
- CINECA
- class loading
- Claude
- clause database
- client-side computing
- clinical workflows
- cloud computing
- cloud services
- cloud storage
- Cloudify
- CloudStack
- clustering
- CMS
- CNR-PA
- co-argumentation artefacts
- co-argumentation artifact
- Co-fields
- Cocumber
- code mobility
- code playground
- Codenames
- coding
- cognitive agents
- cognitive artefacts
- cognitive computing
- cognitive stigmergy
- collaboration
- collaborative editing
- collaborative learning
- collaborative learning systems
- collaborative text-editors
- Collaborative work
- collective intelligence
- collective services
- collective sorting
- collision avoidance
- collision prediction
- Communication
- communication networks
- complex networks
- complex system simulation
- complex systems
- complexity
- component-based systems
- CompuLaw
- computability
- computable law
- computation tree logic
- computational biology
- computational ecosystems
- computational fields
- computational institutions
- computational logic ecosystem
- computational logics
- computational thinking
- computer science
- computing
- concurrency
- concurrent intentions
- concurrent languages
- concurrent logic programming
- concurrent object-oriented programming
- concurrent software engineering
- concurrent systems
- ConDec
- conference management
- CONNECARE
- consistency
- consistency models
- consistency protocols
- constrained AI
- Constraint
- constraint logic programming
- constraint programming
- constraint satisfaction
- contact centres
- container orchestration
- containerisation
- content management systems
- Context
- context awareness
- context-aware computing
- context-dependent coordination
- contexts
- contextual logic programming
- contextual programming
- contract nets
- control-driven coordination
- Control-driven models
- conversational agents
- conversational systems
- convolutional neural networks
- convolutional recurrent neural networks
- cooperation
- cooperative argumentation
- cooperative information retrieval
- cooperative information systems
- coordination
- coordination architecture
- coordination artefacts
- coordination as a service
- coordination expressiveness
- coordination for simulation
- coordination languages
- coordination middleware
- coordination models
- coordination patterns
- coordination technology
- coordination without model
- coordination-aware elasticity
- coordination-based simulation
- Coordination artefacts
- copy-collect
- CoQA dataset
- CORBA
- Corda
- Cordova
- core calculus
- core languages
- coroutines
- cosmic rays
- Cougaar
- counterfactual explanation
- Cradle
- crawler4j
- CREAM
- CReEPy
- CRIS
- Croquet SDK
- Cross Origin Resource Sharing
- Crosscutting
- crosscutting concerns
- crowd evacuation
- crowd modelling
- cryptocurrency
- cryptography
- CSCW
- CSM
- CSpaces
- CSS
- customer relationship management
- cyber-physical and cloud systems
- cyber-physical systems
- cybersecurity
- Cypress
- D
- DAI
- Darwin Information Typing Architecture
- dasLab
- data aggregation
- data analytics
- data degradation
- data fusion
- data mining
- data processing
- data streams
- Data-driven models
- data-efficient learning
- database replication
- Datalog
- dataset pruning
- dataset summarisation
- DCaseLP
- DCVS
- decentralisation
- decentralised control
- decentralised storage
- decision support systems
- decision theory
- Decision making
- declarative programming
- declarative technologies
- deductive databases
- deep learning
- deep neural networks
- deep reinforcement learning
- DeepQLearning
- defeasible logic
- defeasible preference
- defeasible reasoning
- defect detection
- delay measures
- delegation
- DeliveryChecker
- DeLP
- demo
- description logics
- design guidelines
- design patterns
- design process documentation and fragmentation
- developmental biology
- DevOps
- DevStack
- diabetes mellitus
- dialogue
- Dialogue artifact
- differentiable DSP
- digital democracy
- digital health
- digital pheromones
- digital signal processing
- digital transformation
- digital twins
- Discord
- discrete-event simulation
- dispersion games
- distance learning
- distance sensors
- distributed adaptive controller
- distributed argumentation
- distributed artificial intelligence
- distributed cognition
- distributed computing
- distributed consensus
- distributed data mining
- distributed data processing
- distributed databases
- distributed file sharing
- distributed file system
- distributed games
- distributed information retrieval
- distributed key-value stores
- distributed language model training
- distributed ledger technology
- distributed logic programming
- distributed MAS
- distributed messaging
- distributed objects
- distributed programming
- distributed robot systems
- distributed sensors
- distributed state
- distributed streaming
- distributed system monitoring
- distributed systems
- distributed systems engineering
- distributed systems inspection
- distributed tracing
- divergent thinking
- Dixit
- Docker
- Docker compose
- Docker Swarm
- DodgeDrone Challenge
- domain name system
- domain specific languages
- domotic agents
- Dreamer
- DrJava
- drones
- Drosophila Melanogaster
- DrSimpA
- DSAW
- DVCS
- DVCS Git
- dynamic georeferencing
- dynamic task allocation
- DyNE
- e-democracy
- e-democracy platforms
- e-health
- e-learning
- e-learning management systems
- E-learning platforms
- E-learning tools
- eager vs. lazy binding
- EASE
- EasyLiving
- Eclipse
- Eclipse constraint solver
- Eclipse Modeling Framework
- Eclipse-IT
- eco-laws
- EcoNews
- economic decision making
- Ecosystem
- ecosystems
- EDemocracy
- edge computing
- edge intelligence
- EDITH
- educational psychology
- EgoSpaces
- EHR
- elasticity
- ELDAMeth
- eLearning
- election algorithms
- electronic health record
- embedded devices
- embedded environments
- embedding
- embodied computing
- embodied vs. disembodied coordination
- emergent behaviours
- Emotion CSS
- empirical model learning
- encoder-decoders
- end-to-end testing
- EneA-FL
- Engineering
- entropy
- entscheidungsproblem
- environment engineering
- environment modelling
- environment-based coordination
- environment-oriented programming
- EOS
- EOS-DUE
- epidemic-spread simulation
- epistemic action
- epistemology
- ePolicy
- ERP
- Error handling
- eScience
- ESP32
- etcd
- eternal systems
- Ethereum
- ethical AI
- euroCRIS
- event loop
- event model
- event notification
- event tracker
- event-based systems
- event-driven coordination
- event-driven programming
- Evolution
- evolutionary algorithms
- evolutionary computing
- evolutionary multi-agent systems
- ExACT
- exception handling
- EXPECTATION
- expert systems
- explainability
- eXplainable AI
- explainable clustering
- explanation as communication
- explanation-ready agents
- Express
- Express.js
- expressiveness
- extended reality
- externalised rationality
- extreme programming
- FAIR-PE01-SP08
- fairness
- fantasy football
- farm planning
- fault tolerance
- federated learning
- FedLSBT
- few-shot learning
- ffmpeg
- field calculus
- field-based coordination
- finite state machine
- FIPA
- FIPA ACL
- FIPA agents
- FIPA DPDF
- FIPA protocols
- FIPA ACL
- fire detection
- FIT
- Flickr30k dataset
- Flickr9k dataset
- flocking systems
- Flower
- Flutter
- fog computing
- follow-me
- foraging
- formal methods
- formal models
- formal tools for software engineering
- foundations of computing
- Foundry
- fragment
- fragmentation
- Framework
- function as a service
- functional programming
- Functional safety
- FuturICT
- fuzzy coordination
- fuzzy description logic
- Gaia
- Gaia4E
- GALILEO
- game engines
- games
- Gamma
- generalised assignment problem
- generative AI
- Generative communication
- generics
- genetic algorithms
- genetic operators
- geo-fencing
- Geo-Linda
- geo-location
- Geo2p
- geofencing
- geolocalisation
- geolocation
- Gherkin
- Gillespie
- Git
- Git hooks
- GitBucket
- Gitea
- GitFlow
- GitHub
- GitHub Actions Workflow
- GitLab
- GitPrep
- glycolysis
- GNN2GNN
- Go
- goal-oriented systems
- Google Cloud
- Google DART
- Google Generative Agents
- Google Magenta
- Google Maps
- Google Android
- GORMAS
- gossip pattern
- GPS
- GPT-2
- GPT-3
- GPT3
- Grade
- gradient pattern
- Gradle
- graph convolutional networks
- graph DB
- graph neural networks
- graph recurrent neural networks
- graphic interfaces
- Graphivz
- green ICT
- grey-box semantics
- grid computing
- GridEx
- GridREx
- group buy
- GroupLog
- gRPC
- Gson
- GUI
- H2020
- HAMLET
- hands-free
- HCI
- health care
- Healthcare
- Helmet
- hematopoietic stem cells
- HERE Development
- Herika
- Hermit
- hierarchical planning
- hierarchy in complex systems
- HiMAT
- History of ideas
- Hive BDI
- holonic MAS
- home automation
- Home Manager
- HoneyBadger BFT
- Hospital 4.0
- hovering information
- HTML
- HTML5
- HTTP
- HTTP challenge
- human walk
- hybrid agents
- hybrid coordination
- hybrid-quorum replication
- Hypercore protocol
- hypercube-based methods
- Hyperledger
- HyperLedger Fabric
- IBM Watson
- IDE
- ideal gas
- IEEE
- IEEE-FIPA documentation template
- IFTS
- IKVM
- image processing
- image recognition
- implicit communication
- implicit culture
- Implicit culture
- improvisation
- in-memory database
- indoor localisation
- inductive logic programming
- Industry 4.0
- information extraction
- information harvesting
- Information retrieval
- infrastructure as a code
- infrastructure free
- INGENIAS
- INGENIAS-Agile
- Inspector tool
- intelligent agents
- intelligent beings
- intelligent environment
- intelligent fridge
- intelligent health care
- intelligent systems
- intelligent systems engineering
- intelligent transportation systems
- intelligent virtual environments
- IntelliJ IDEA
- intentional agents
- intentions
- inter-organisational workflow
- interaction
- interaction patterns
- interaction protocols
- interaction semantics
- interactive graphical maps
- interactive systems
- Internet agents
- Internet of Intelligent Things
- Internet of Things
- Internet of Vehicles
- interoperability
- interplanetary file system
- interpretability
- interpretable prediction
- intracellular signalling pathways
- intrusion detection
- inversion of control
- iOS
- IRIS
- IronPython
- IRoom
- ISO
- ISO26262
- Istar
- ITER
- IVRE
- Ivy
- J2EE
- J2ME
- Ja.Net
- JaCa
- JaCa-Android
- JaCa-Web
- JaCa-WS
- JaCaMo
- JACK
- Jacop
- JADE
- JADE on Android
- Jade-LEAP
- Jadex
- Jaeger
- JaKta
- Jakta distributed
- Jasa agents
- Jason
- Java
- Java agents
- Java Metro
- Java monitor
- Java RMI
- Java Scripting Engine
- Java-based OS
- JavaBeans
- JavaFX
- Javalin
- JavaLog
- JavaScript
- JavaSpaces
- Javelin
- JDBC
- JDDAC
- JEdit
- Jenkins
- Jess
- Jest
- JFact
- Jini
- JNode
- Join point
- journalism
- jQuery
- JRDF
- JSON
- JSON tuple spaces
- JUnit
- JWT
- Kallithea
- Kea
- KILL
- kinetic modelling
- KINS
- KIS
- Klaim
- KMongo
- knowledge construction
- knowledge engineering
- knowledge evaluation
- knowledge extraction
- knowledge management
- knowledge representation
- knowledge-based coordination
- knowledge-based systems
- knowledge-intensive environment
- knowledge-oriented coordination
- knowledge-oriented coordination
- Knowledge diffusion
- KNX protocol stack
- Kotest
- Kotlin
- Kotlin DSL
- Kotlin Multiplatform
- Kryonet
- Kubectl
- Kubeflow
- Kubernetes
- labelled logic programming
- labelled systems
- labelled theories
- labelled transition systems
- labelled tuProlog
- labelled variables
- labelled variables in logic programming
- Lagom
- LAILA
- lambda architecture
- language models
- languages
- large language models
- large-scale coordination
- large-scale distributed systems
- large-scale simulation
- Law-governed Linda
- layering
- learn to code
- learning management systems
- learning objects
- learning process
- ledgers
- legal reasoning
- LEGO Mindstorms
- Legolog
- LeJOS
- leRCOS
- Let’s Encrypt
- LIDAR
- life simulator
- lifted relational neural networks
- LighTS
- Lime
- LinCa
- Linda
- linear logic
- linear temporal logic
- linkability
- linked data
- linking primitives
- Lint
- LiquidFeedback
- LISA Pathfinder
- live semantic annotations
- Llama
- LLM
- load balancing
- load classification
- logging
- logic
- logic agents
- logic clauses
- logic constraints
- logic induction
- logic programming
- logic smart contracts
- logic tuple centres
- logic tuple spaces
- logic tuples
- logic-based argumentation
- logic-based coordination
- logic-based reasoning
- logic-based techniques
- logic-based technologies
- logical clocks
- logical English
- logics
- logistics
- LogOp
- LoRA
- Lotka-Volterra equation
- LPaaS
- LPaas client
- LPaas-REST
- LSA
- LuCe
- Lupus in fabula
- LVLP
- machine ethics
- machine learning
- macroprogramming
- MAgentA
- Magneti Marelli
- managed service provider
- Management
- Manifold
- MAOP4FI
- MAPE
- MAPF
- MAPK
- Maraffa
- Marmotta
- MARS
- MARS-X
- MAS applications
- MAS autonomy
- MAS coordination
- MAS elasticity
- MAS engineering
- MAS environment
- MAS infrastructure
- MAS meta-model
- MAS middleware
- MAS organisation
- MAS programming
- MAS security
- MAS tools
- MAS verification
- MaSE
- MASON
- massive data
- massively multi-agent systems
- Mastermind
- matchmaking
- Material-UI
- Materialize
- matheuristics
- Maude
- MAVA
- Maven
- MDA
- MediatR
- MediCoordination
- medieval battles
- meeting-scheduling
- MemN2N
- MEnSA
- Mentalistic agents
- Mercurial
- MERCURIO
- MERN stack
- Mesa library
- MeshNet
- message passing
- message-oriented middleware
- messaging services
- meta-argumentation
- meta-heuristics
- meta-interpretation
- meta-interpretative learning
- meta-model
- meta-modelling
- meta-programming
- meta-rules
- metabolyc pathways
- Metaio
- MetaMeth
- MetaPatrol
- Method
- method engineering
- methodologies
- methodology
- methodology evaluation
- metrics for neuro-symbolic integration
- metrics for SKE
- metrics for SKI
- micro-intelligence
- microservices
- Microsoft SQL Server
- middleware
- middleware integration
- Mini-ME
- minority game
- MIP-nets
- MIPNet
- MiRAgE
- mirror worlds
- Mistral
- MLFlow
- MLOps
- Mobile
- mobile ad-hoc networks
- mobile agents
- mobile applications
- mobile backend as a service
- mobile banking
- mobile computing
- mobile coordination
- mobile devices
- mobile health
- mobile musical agents
- mobile systems
- mobile AR
- Mobile web
- mobility
- mobility models
- Mocha
- Mockito
- modal logic
- model checking
- model-driven architecture
- model-driven engineering
- model-view-control pattern
- Modeling
- modelling and simulation
- Modelli di comunicazione
- models
- modular embedding
- Moise
- MoK
- MoK atoms
- MoK matching function
- MoK middleware
- MoK reactions
- MoK storage
- MoK users
- Mok-News
- Mole
- Moleculer
- Monaco Editor
- MongoD
- MongoDB
- Mongoose
- morphogenesis
- Mosquitto
- motion
- Mozilla
- MQTT
- MRS
- MS COCO dataset
- MS-BioNET
- msbionet
- MSR
- multi-agent based simulation
- multi-agent organisation
- multi-agent reinforcement learning
- multi-agent routing
- multi-agent systems
- multi-disciplinary research
- multi-level autonomy
- multi-level models
- multi-paradigm languages
- multi-paradigm modelling
- multi-paradigm programming
- Multi-paradigm modelling
- multi-sensing data fusion
- multi-task learning
- multi-theory logic languages
- multi-threading
- multicellular systems biology
- multimedia
- multiplayer games
- multiple coordination flows
- multitasking
- multitier architectures
- music
- musical acts
- musical agent architecture
- musical agents
- MySQL
- MySQL Connector
- n-Queens
- naming system
- natural language processing
- nature-inspired computing
- nature-inspired coordination
- nature-inspired models
- negotiation
- Neo4j
- NetBeans
- NetcodeRollback
- NetLogo
- Netty
- network management
- network time protocol
- Network topology
- neural architecture search
- neural image caption generation
- neural machine translation
- neural network complexity
- neural network opacity
- neural networks
- neuro-symbolic integration
- neuro-symbolic reasoning
- news management systems
- NGINX
- Ngrok
- NIC
- NLP datasets
- Node.js
- NokiaMobileCoord
- Nomi cose città
- non-IID data
- non-playing characters
- non-relational databases
- norms
- noSQL
- npm
- nutritional recommendation systems
- NXC
- O-MaSe
- object-oriented inductive logic programming
- object-oriented logic programming
- object-oriented Petri nets
- object-oriented planning
- object-oriented programming
- object-oriented software engineering
- object-oriented model
- objective coordination
- objective vs. subjective coordination
- observability
- observable sources
- observation
- observation-based coordination
- observer pattern
- obstacle avoidance
- Octopus
- OITOS
- online auctions
- online engineering
- ontologies
- OOSE
- open computational systems
- open systems
- open vehicle fleets
- OpenAPI
- OpenEHR
- OpenGL
- OpenNLP
- OpenStack
- OpenTelemetry
- OpenUP
- Open systems
- operating instructions
- operation manual
- operational semantics
- Operational Transformation
- OPM
- opportunistic IoT services
- opportunistic network
- optimisation
- OPTYap
- OR-parallelism
- Oracle CRM
- Orchestration
- OrCHiD
- organ transplantation
- organisation
- organisation-oriented programming
- OrientDB
- Orleans
- osBrain
- Ospedale Bufalini
- OWAMAH
- OWL
- OWL-S
- OWL-T
- P-plan
- p2p
- p2p networks
- P@J
- PAAS
- PacMan
- PageSpace
- paradigm shift
- Paradigm shift
- parallel algorithms
- parallel data store
- parameter engineering
- parameter optimisations
- parametric weighted multi-path
- partial planning
- particle systems
- PASSI
- path planning
- Paxos protocols
- Payara
- PDDL
- PEDRO
- peer-review federated learning
- Peer-Review Flower
- Pellet
- PEPA
- perception
- permissioned blockchain
- persistency
- persistent storage
- personal agents
- personal medical digital assistants
- pervasive communication
- pervasive computing
- pervasive ecosystems
- pervasive intelligence
- pervasive sensing
- pervasive service ecosystems
- pervasive systems
- Petri nets
- PettingZoo
- PFA
- pgmpy
- Phabricator
- Pheromones
- PHP
- physical clocks
- physics
- pi-calculus
- plain diffusion
- planning
- PlantUML
- pLinda
- plp
- plug-in
- PMML
- PNagent
- Pointcut
- points of interest
- Poker
- Pong
- post-declarative programming
- post-hoc explanation
- post-normal science
- PostgresSQL
- Postman
- practical byzantine fault tolerance
- practical reasoning
- PRACTIONIST
- pray-predator
- pregnancy
- Prettier
- prey-predator
- principle
- PRISM
- privacy
- private cloud
- private international law
- proactivity
- probabilistic languages
- probabilistic logic programming
- probabilistic model checking
- probabilistic modular embedding
- probably approximately correct
- ProbLinCa
- Process
- process algebras
- process calculus
- process coordination
- process engineering
- process management
- Process migration
- PRODE
- profiling
- program correctness
- program specification
- program verification
- programmable coordination media
- programming
- programming languages
- programming paradigms
- project dissemination
- Prolog
- Prolog agents
- Prolog agents
- Prometheus
- prompt engineering
- proof of stake
- proof of work
- PROSOCS
- Protelis
- Proto
- Protobuf
- protocol buffers
- PROV-O
- PRS
- PSyKE
- PSyKI
- publish/subscribe
- pulverizable architectures
- Pusher Channel
- Pyro4
- Python
- Q-learning
- QoS metrics for SKI
- Qu-Prolog
- quadcopters
- quality of service
- quantum computing
- Query/Update protocol
- Quidditch
- Quill
- Quintus Prolog
- quorum-based protocols
- R
- R3 Corda
- RabbitMQ
- Raft
- Raspberry Pi
- rational agents
- RBAC
- RBAC-MAS
- RDF
- re-organisation
- React Native
- React.js
- reactive agents
- reactive behavioral system
- Reactiveness
- real time
- real-time applications
- real-time communication
- real-time physical activity
- real-time strategy games
- recommendation systems
- recommender systems
- recurrent neural networks
- Redis
- Redux
- refactoring
- reflection
- REGN
- reification
- reinforcement learning
- reliability
- remote diagnosis
- remote management
- Reo
- reorganization
- RePAST
- replica-based protocols
- replication
- RepNotifiers
- Repository
- reputation
- Requirement analysis
- RESET
- resource-constrained devices
- resource-oriented architecture
- ReSpecT
- ReSpecT nets
- ReSpecTX
- REST
- RESTful web services
- RethinkDB
- Reti neuronali
- RETSINA
- reverse geocoding
- reverse proxy
- rewriting logic
- RFID
- RGB-D
- Rhino
- Risk
- risk analysis
- RMI
- RoBERTa
- RoboCup
- robot controller
- robot coordination
- robot navigation
- Robot Operating System
- robot programming
- robot simulation
- robot systems
- Robot Wars
- Robot coordination
- RoboVM
- robustness
- role games
- role-based models
- roles
- RoleX
- ROMAS
- Rousseau
- RSS
- RTS games
- S-WAM
- SACoord
- SANA
- SANAP
- SAP
- SAPERE
- SAPERE-core
- SAPERE-in
- SAPERE-pre
- SAPERE-rel
- SAPERE-WP1
- SAPERE-WP2
- SAPERE-WP4
- SAPERE-WP6
- SARL
- SBML
- SC00097B
- ScaFi
- Scala
- Scala sbt
- scalability
- ScalaLoci1
- ScalaTest
- scheduling
- school timetable
- Scientific reseaarch
- SCIFF
- Scripting languages
- SeaweedFS
- secure MAS
- security
- Selenium
- self-*
- self-adaptation
- self-assembling robots
- self-awareness
- self-explaining agents
- self-management of chronic diseases
- self-organisation
- self-organisation patterns
- self-organising architectures
- self-organising coordination
- self-organising knowledge
- self-organising MAS
- self-organising semantic coordination
- self-organising systems
- self-organising workspaces
- self-stabilisation
- semantic chemistry
- semantic coordination
- semantic matchmaking
- semantic reasoning
- semantic segmentation
- semantic sensor networks
- Semantic TuCSoN
- semantic tuple centres
- semantic web
- Semantic Web of Things
- semantic web reasoning
- Semantics
- Semantic matching
- Semantic TuCsoN
- SemHealthCoord
- sentiment analysis
- serverless architecture
- serverless computing
- service middleware
- service self-composition
- service-oriented architecture
- Services
- Shallow2Deep
- sharding
- Shared Prolog
- SharedDB
- Shared Prolog
- SHOIN(D)
- SICStus
- SICStus Prolog
- sieve protocol
- signalling pathways models
- SignalR
- Simbad
- similarity
- simpA
- simpA-WS
- simpAL
- Simple Build Tool
- simulation
- simulation in software engineering
- simulation on software engineering
- SIPEAA
- situadeness
- situated computing
- situated coordination
- situated intelligence
- situated logic programming
- Situated ReSpecT
- situatedness
- situational method engineering
- situational process engineering
- Situational Method Engineering
- SKE metrics
- Skyrim
- SLD resolution
- slot machines
- Small world networks
- smart cities
- smart co-working
- smart contracts
- smart energy management
- smart environments
- smart glasses
- smart grids
- smart home
- smart hospital
- smart mobility
- Smart Spaces
- smart transportation
- Smart Environment
- SMS
- SOA-WS
- SOAP
- SOAR
- soccer
- social action
- social autonomy
- social networks
- social sciences
- social systems
- SOCIALNETS
- Social networks
- socio-technical systems
- socket library
- Socket.IO
- Socket.IO rooms
- SockJS
- SODA
- software architecture
- software as a service
- Software development
- software development process
- software engineering
- software engineering process
- software process
- software testing
- software-defined storage
- Software factory
- Software systems
- SOKO coordination model
- Solidity
- sonar sensors
- SOS
- space awareness
- space-aware coordination
- space-based coordination
- Space-based coordination
- space-time programming
- SPADE
- SPARQL
- spatial computing
- spatial computing languages
- spatial coordination
- spatial reasoning
- Spatial ReSpecT
- Spatial Tuples
- Spatial abstractions
- Spatial coordination
- spatio-temporal computing
- speech recognition
- SPEM
- SPEM 2.0
- SpiderMonkey
- Spring
- Spring Boot
- SQL
- SQL Server
- SSL/TLS
- StairwAI
- standard of proofs
- standards
- state machine replication
- statistical learning
- statistical mechanics
- Stellar
- stem cells
- stigmergy
- STIL
- stochastic coordination
- stochastic Prolog
- stochastic simulation
- stochastic simulation algorithm
- stochastic systems
- stochastic π-calculus
- StoKlaim
- STOMP
- STOMP WebSocket
- StorJ
- stream processing
- STRIPS
- strong consistency
- structured logic programming
- stupid backoff
- sTuples
- styled components
- subsumption architecture
- supervised learning
- surveillance systems
- survey
- SVN
- Swagger
- Swagger Codegen
- Swarm
- swarm bots
- swarm intelligence
- swarm robotics
- SwarmLinda
- Swift
- Swing
- SYBL
- symbolic AI
- symbolic knowledge extraction
- symbolic knowledge injection
- symbolic logic
- symbolic transfer learning
- symbolic vs. subsymbolic
- symbolic reasoning
- Symfony
- synchronisation
- Syntethic
- sysadmin
- system integration
- system-level programming
- systematic literature review
- systemic coordination
- systems
- systems biology
- systems biology modelling languages
- systems of systems
- System dynamics
- T Spaces
- tail recursion
- TAILOR
- Talisman
- task-oriented engineering
- TCP/IP
- technology
- telemedicine
- telemetry
- Telescript
- TeleStroke
- Tenderfone
- Tendermint
- TensorFlow
- Terrier
- Testing
- text mining
- TheOne
- theoretical physics
- theory of mind
- THOMAS
- ThOr
- tic-tac-toe
- TicTacToe
- Tile38
- time
- time awareness
- time-awareness
- timed coordination
- Timed ReSpecT
- tools
- topology
- TOTA
- tourist industry
- trading systems
- Traefik
- traffic management systems
- train punctuality
- transactions
- Transducers
- transfer learning
- transformers
- transport systems
- trauma management
- TraumaTracker
- traveling salesman problem
- Travis
- Trello
- triple space computing
- Triple Store
- Tropos
- Truff
- trust
- TRUST 03
- trustable systems
- trustworthy AI
- TuCSoN
- TuCSoN on Cloud
- TuCSoN4Jade
- TuCSoN4Jason
- TuleapL
- tuple centres
- tuple matching
- tuple spaces
- tuple-based coordination
- tuProlog
- Turing equivalence
- TuSoW
- Type 1 diabetes mellitus
- TypeScript
- typing
- T Spaces
- ubiquitous computing
- ubiquitous knowledge bases
- ubiquitous systems
- UI testing
- uLinda
- UML
- uncertainty
- understandability
- UNIBO
- uniform primitives
- UNIMORE
- Unit
- UNITN
- Unity3D
- Uno
- Unreal C++
- Unreal Engine
- urban mobility
- urban traffic management and control
- Vagrant
- VCS
- vehicle localisation
- vehicle mileage tracking
- vehicle routing problem
- veicolar cloud
- verification
- Vert.X
- Vert.X-Web
- video games
- video streaming
- video surveillance
- videogames
- virtual enterprise
- virtual organisations
- virtual reality
- virtual worlds
- Virtual-Box
- VirtualBox
- virtualisation
- virus spread
- Visual Studio
- Vite
- Vitest
- VLSI Prolog
- VMWare
- voting systems
- Vue
- Vue.js
- WADE
- WAM
- warehouse simulation
- weakly supervised learning
- wearable devices
- Web
- Web 2.0
- Web 3.0
- web API
- web app
- web applications
- web auctions
- web crawling
- web development
- Web HTTP
- web intelligence
- Web of Things
- web portal
- web server
- web services
- web technologies
- web-based IDE
- WebLP
- webpack
- WebRTC
- WebSocket
- WebText dataset
- Web 2.0
- Web architecture
- Web frameworks
- Web programming
- WiFi Direct
- wildcards
- wireless ad hoc networks
- wireless coordination
- wireless LAN
- wireless sensor networks
- WireWorld
- WLAN
- WoAT
- WordNet
- workflow
- workflow description language
- workflow management systems
- WP2
- WP6
- WS-CDL
- WSDM
- WSIT
- WWW
- xADL
- XMAS
- XML
- XPath
- XTend
- XText
- XWiki
- YAML
- YapOr
- YAWL
- Yoroi
- zooming
- Zyzzyva
- π-calculus