Dashboard
Last modified by N Pompei on 2020/06/08 15:32
Pages
Tags
- .Net
- 2APL
- 2p
- 2p-Kt
- 2PaaS
- 2pTag
- 2PTags
- 3APL
- A
- A&A
- A&A ReSpecT
- ABA+
- abductive logic programming
- ABS
- abstract
- access control
- ACLT
- ACME
- activity theory
- ad hoc alignment
- adaptive systems
- adaptive tuple clustering
- adaptive tuple clustering
- ADELFE
- ADL
- ADR
- agens faber
- Agens faber
- Agent
- agent cognition
- agent communication
- agent communication languages
- agent control loop
- agent coordination contexts
- agent middleware
- agent model
- agent societies
- agent technology
- agent workspaces
- Agent Programming
- agent-based modelling
- agent-based modelling and simulation
- agent-based XAI
- Agent-based modelling
- Agent-Oriented
- agent-oriented computing
- agent-oriented programming
- Agent-oriented programming
- Agenti
- AgentLink
- agents
- AgentSpeak
- Agent & Law
- Agent infrastructures
- AGERE
- aggregate computing
- agile software development
- Aglets
- agreement technologies
- AGV
- Ajax
- AKKA
- Alberto Martelli
- Alchemist
- AlmaActa
- Alma Mater Studiorum
- alternative dispute resolution
- ambient intelligence
- amorphous computing
- and
- Android
- answer set programming
- Ant
- AnyLogic
- AOSD
- AOSE
- AOSE methodologies
- AOSE methodologies
- Apache Kafka
- APICe
- APPEAL
- Application
- Ara
- architectural styles
- Arduino
- Arg-tuProlog
- argumentation
- artefacts
- Artifact
- artificial intelligence
- artificial life
- ASPECS
- aspects
- ASPIC+
- asynchronous interaction
- attori programmazione
- Auction
- augmented reality
- augmented worlds
- AUML
- authentication
- authorisation
- authorship
- Automated Guide Vehicle
- Automatic
- automatic service composition
- automation
- Autonomia
- Autonomic
- autonomic communication
- Autonomic computing
- Autonomous
- autonomous cars
- autonomous systems
- autonomous weapon systems
- autonomy
- AUTOSAR 3LSC
- AWARENESS
- Bach
- BaSi
- BDI
- behaviour analysis
- behaviour prediction
- behavioural implicit communication
- Beliefs
- bio-inspired computing
- Bio-inspired networking
- Bio-inspired computation
- Biobricks
- biochemical coordination
- biochemical tuple spaces
- Biochemical simulation
- Bioinformatics
- biology
- BioMABS
- Biomimetics
- BioPepa
- bisimulation
- BISON
- Blackboard
- blockchain
- blockchain-based coordination
- BPEL
- BTS-SOC
- bubble rap
- bulk primitives
- burden of proof
- Business
- Butlers
- C@sa
- CAA
- CaaS
- calculus
- CARA
- CArtAgO
- CArtAgO-WS
- CASE
- CASE Tools
- Cassandra
- CellML
- Cellulat
- Centre
- Cesena Campus
- Chemical
- chemical coordination
- chemical models
- chemical tuple spaces
- chemistry
- CINA
- CINECA
- citations
- client-side computing
- cloud computing
- CMS
- CNR-PA
- co-argumentation artefacts
- Co-argumentation artifact
- Cognitive
- cognitive agents
- cognitive artefacts
- cognitive stigmergy
- collaboration
- collaborative learning systems
- Collaborative learning
- Collaborative work
- collective intelligence
- collective sorting
- Communication
- CompBioModel
- complex networks
- complex system simulation
- complex systems
- Complexity
- component-based systems
- computable law
- computational
- computational biology
- computational ecosystems
- computational fields
- computational institutions
- computational logics
- Computer
- computing
- concurrent languages
- ConDec
- Constraint
- constraint logic programming
- constraint programming
- contact centres
- Context
- context-dependent coordination
- contexts
- contextual logic programming
- contextual programming
- Control-driven models
- conversational agents
- conversational systems
- cooperation
- cooperative information systems
- Cooperative information retrieval
- coordination
- coordination architecture
- coordination artefacts
- coordination as a service
- coordination expressiveness
- coordination languages
- coordination middleware
- coordination models
- coordination patterns
- coordination technologies
- coordination technology
- coordination without model
- Coordination artefacts
- CORBA
- Corda
- Core
- cosmic rays
- Cougaar
- Course
- CRIS
- Crosscutting
- crosscutting concerns
- cryptography
- CSCW
- CSM
- CSpaces
- CSS
- cyber-physical and cloud systems
- DAI
- data mining
- Data-driven models
- database replication
- DCaseLP
- DCVS
- decentralisation
- Decision making
- declarative technologies
- deep reinforcement learning
- defeasible logic
- defeasible reasoning
- DeLP
- demo
- Description
- description logics
- design guidelines
- design patterns
- design process documentation and fragmentation
- Desires
- developmental biology
- dialogue
- Dialogue artifact
- digital democracy
- digital pheromones
- Direct
- discrete-event simulation
- distance learning
- Distributed
- distributed cognition
- distributed information retrieval
- distributed logic programming
- distributed programming
- distributed streaming
- distributed systems
- distributed systems engineering
- Docker
- Docker Swarm
- domain specific languages
- DrJava
- Drosophila Melanogaster
- DrSimpA
- DSAW
- DVCS
- dynamic task allocation
- e-democracy platforms
- e-Health
- E-learning
- E-learning platforms
- E-learning tools
- EASE
- EasyLiving
- Eclipse
- Eclipse;
- eco-laws
- EcoNews
- Ecosystem
- ecosystems
- edge computing
- edge intelligence
- EgoSpaces
- EHR
- elasticity
- ELDAMeth
- eLearning
- embedding
- embodied computing
- embodied vs. disembodied coordination
- emergent behaviours
- empirical model learning
- Engineering
- environment engineering
- environment-based coordination
- Environments
- Environment programming
- Epistemology
- ePolicy
- Equivalence
- Error handling
- eternal systems
- Ethereum
- etichettate
- euroCRIS
- EU project
- event loop
- event model
- event notification
- event-based systems
- event-driven coordination
- event-driven programming
- Evolution
- explainability
- eXplainable AI
- explanation-ready agents
- expressiveness
- externalised rationality
- extreme programming
- field-based coordination
- Fields
- finite state machine
- FIPA
- FIPA ACL
- FIPA agents
- FIPA DPDF
- FIPA ACL
- fire detection
- follow-me
- Formal
- formal models
- Foundry
- fragment
- Fragmentation
- Framework
- functional programming
- Functional safety
- FuturICT
- Fuzziness
- fuzzy description logic
- Gaia
- GALILEO
- game engines
- Gamma
- generalised assignment problem
- Generative communication
- generics
- geolocation
- gillespie
- Git
- Goal-oriented systems
- Google Scholar
- Google Android
- GORMAS
- Gradle
- green ICT
- grey-box semantics
- grid computing
- GroupLog
- HCI
- Healthcare
- hematopoietic stem cells
- hierarchical planning
- Hierarchy
- HiMAT
- History of ideas
- Hive BDI
- Home
- HomeManager
- Home Manager
- Hospital 4.0
- Hovering
- HTML
- HTML5
- HyperLedger Fabric
- IDE
- IEEE
- IEEE-FIPA documentation template
- IEEE FIPA
- IFTS
- IKVM
- implicit communication
- Implicit culture
- improvisation
- in
- inductive logic programming
- Industry 4.0
- information
- Information retrieval
- infrastructure free
- INGENIAS
- INGENIAS-Agile
- intelligent agents
- intelligent environment
- intelligent systems
- Intelligent agents
- IntelliJ IDEA
- intentional agents
- Intentions
- inter-organisational workflow
- Interaction
- interaction semantics
- Interactions
- Interaction protocols
- interactive systems
- Internet agents
- Internet of Intelligent Things
- Internet of Things
- Internet agents
- interoperability
- interpretability
- interpretable prediction
- Intracellular
- intracellular signalling pathways
- intrusion detection
- iOS
- IRIS
- IRoom
- ISO26262
- Istar
- Ivy
- Ja.Net
- JaCa
- JaCa-Android
- JaCa-Web
- JaCa-WS
- JaCaMo
- JADE
- Jade-LEAP
- Jadex
- Jason
- Java
- Java Metro
- Java-based OS
- JavaBeans
- JavaScript
- JavaSpaces
- JDDAC
- Jess
- Jini
- JNode
- Join point
- Journalism
- JUnit
- KIS
- KLAIM
- knowledge extraction
- knowledge management
- knowledge representation
- knowledge-intensive environment
- knowledge-intensive environments
- knowledge-oriented coordination
- knowledge-oriented coordination
- Knowledge diffusion
- KNX
- Kotlin
- labelled variables
- labelled variables in logic programming
- language
- languages
- LaTeX
- Law-governed Linda
- layering
- legal reasoning
- LEGO
- Lego Mindstorm
- LEGO Mindstorms
- Lejos
- LIDAR
- LighTS
- Lime
- LinCa
- Linda
- linear logic
- linkability
- LiquidFeedback
- LISA Pathfinder
- live semantic annotations
- Live semantic annotations
- Logic
- logic agents
- logic constraints
- logic induction
- logic programming
- logic tuple centres
- logic tuple spaces
- logic-based argumentation
- logic-based coordination
- logic-based reasoning
- logic-based techniques
- logic-based technologies
- logical clocks
- logics
- LogOp
- LPaaS
- LPaas-REST
- LSA
- LuCe
- LVLP
- machine learning
- Macro
- Magneti Marelli
- managed service provider
- Management
- Map
- MAPE
- MAPK
- MARS
- MARS-X
- MAS applications
- MAS coordination
- MAS engineering
- MAS environment
- MAS meta-model
- MAS middleware
- MAS organisation
- MAS security
- MaSE
- MASON
- Massive data
- matheuristics
- Maude
- Maven
- MDA
- MDSD
- medieval battles
- Medioeval battles
- MemN2N
- MEnSA
- Mentalistic agents
- Menu.1.1
- Menu.1.2
- Menu.1.3
- Menu.1.4
- Menu.1.5
- Menu.1.6
- Menu.1.7
- Menu.1.8
- Menu.2.1
- Menu.2.2
- Mercurial
- MERCURIO
- meta-heuristics
- meta-model
- meta-modelling
- Meta-programming
- MetaMeth
- Method
- method engineering
- methodologies
- methodology
- micro-intelligence
- middleware
- middleware integration
- Mindstorm
- Mindstorms
- minority game
- MiRAgE
- mirror worlds
- MMAS
- Mobile
- mobile agents
- mobile computing
- mobile AR
- Mobile web
- mobility
- mobility models
- model
- model checking
- model-driven architecture
- model-driven engineering
- Modeling
- Modelli di comunicazione
- Models
- modular embedding
- Moise
- MoK
- Mok-News
- Mole
- Molecules of Knowledge
- morphogenesis
- MRS
- MS-BioNET
- msbionet
- MSR
- Multi
- multi-agent based simulation
- multi-agent systems
- Multi-Agent Systems
- multi-level
- multi-level autonomy
- multi-level models
- multi-paradigm languages
- multi-paradigm modelling
- multi-paradigm programming
- Multi-paradigm modelling
- multicellular systems biology
- multiple
- multiple coordination flows
- Nature-inspired
- nature-inspired computing
- nature-inspired coordination
- Nature-inspired models
- negotiation
- netbeans
- Networks
- Network topology
- neural networks
- neuro-symbolic computing
- News
- news management systems
- News management
- NIC
- norms
- NPM
- NXC
- O-MaSe
- object-oriented inductive logic programming
- object-oriented logic programming
- object-oriented planning
- object-oriented programming
- object-oriented model
- objective vs. subjective coordination
- observation
- observation-based coordination
- of
- Online engineering
- OOSE
- open vehicle fleets
- OpenUP
- Open systems
- operating instructions
- operational semantics
- OPM
- opportunistic network
- optimisation
- Orchestration
- Organisation-Oriented Programming
- OWAMAH
- OWL
- OWL-S
- OWL-T
- P@J
- PAAS
- PageSpace
- Paradigm shift
- Parameter
- parameter optimisation
- PASSI
- pathways
- Pellet
- personal medical digital assistants
- Pervasive
- pervasive computing
- pervasive ecosystems
- pervasive sensing
- pervasive service ecosystems
- pervasive systems
- Petri Nets
- Pheromones
- PHP
- physical clocks
- pi-calculus
- plain diffusion
- planning
- pLinda
- plug-in
- plugin
- Pointcut
- Post-declarative programming
- principle
- PRISM
- privacy
- proactivity
- probabilistic languages
- probabilistic logic programming
- probabilistic model checking
- probabilistic modular embedding
- ProbLinCa
- Process
- process algebras
- process calculus
- process engineering
- Processes
- Process migration
- PRODE
- programmable coordination media
- Programming
- programming languages
- Programming paradigms
- Programming Multi-Agent Systems
- Project
- Projects
- Prolog
- Prolog agents
- Prometheus
- Proto
- publication ranking
- Python
- QoS
- R3 Corda
- RAFT
- rational agents
- RBAC
- RBAC-MAS
- reactive behavioral system
- Reactiveness
- real time
- Recommentation systems
- refactoring
- reflection
- REGN
- reification
- remote management
- reorganization
- Repository
- Requirement analysis
- RESET
- resource-oriented architecture
- ReSpecT
- ReSpecTX
- ReSpecT nets
- REST
- REST
- Reti neuronali
- RETSINA
- RFID
- RMI
- Robocup
- Robot
- robot systems
- Robot coordination
- roles
- RoleX
- ROMAS
- Rousseau
- RSS
- S-WAM
- SAC
- SAP
- SAPERE
- SAPERE-core
- SAPERE-in
- SAPERE-pre
- SAPERE-rel
- SAPERE-WP1
- SAPERE-WP2
- SAPERE-WP4
- SAPERE-WP6
- SBML
- SC00097B
- Scalability
- scholar ranking
- Science
- Scientific reseaarch
- SCIFF
- Scopus
- Scripting languages
- security
- self-*
- self-awareness
- Self-organising coordination
- self-organising knowledge
- self-organising systems
- self-organising workspaces
- Self-organization
- Self-stabilisation
- Semantic
- semantic chemistry
- semantic coordination
- semantic reasoning
- Semantic TuCSoN
- semantic tuple centres
- semantic web
- Semantics
- Semantic matching
- Semantic TuCsoN
- Semantic tuple centre
- SemHealthCoord
- SemHealthCoord-in
- SemHealthCoord-pre
- Sensor
- service self-composition
- service-oriented architecture
- Service-oriented architecture
- Services
- Sevices
- sharding
- Shared Prolog
- Shared Prolog
- SHOIN(D)
- ShowTuprolog.MailingList
- SICStus
- SICStus Prolog
- signalling
- SigPathModels
- simpA
- simpA-WS
- simpAL
- simulation
- Simulation in software engineering
- situadeness
- situated computing
- Situated coordination
- situated intelligence
- situated logic programming
- Situatedness
- situational method engineering
- situational process engineering
- Situational Method Engineering
- Small world networks
- smart contracts
- smart environments
- smart home
- smart spaces
- Smart Environment
- social action
- social networks
- social systems
- socialnets
- Social networks
- socio-technical systems
- Socio-technical systems
- SODA
- Software
- software architecture
- software development
- software development process
- software engineering
- software process
- Software engineering process
- Software factory
- Software systems
- SOKO
- Solidity
- SOS
- SOSC
- space awareness
- space-aware coordination
- space-based coordination
- Space-based coordination
- space-time programming
- spaces
- SPADE
- Spatial
- spatial computing
- spatial computing languages
- spatial coordination
- Spatial Tuples
- Spatial abstractions
- Spatial coordination
- spatio-temporal computing
- SPEM
- SPEM 2.0
- Standard
- Standards
- statistical mechanics
- stem cells
- stigmergy
- stochastic coordination
- Stochastic processes
- stochastic Prolog
- stochastic simulation
- stochastic simulation algorithm
- stochastic systems
- stochastic π-calculus
- Stochastic-Simulation
- StoKlaim
- stream processing
- structured logic programming
- sTuples
- subsumption architecture
- Subsumption architecture
- survey
- SVN
- Swarm
- SwarmLinda
- Swarm intellience
- SWoT
- SYBL
- symbolic AI
- symbolic vs. subsymbolic
- symbolic reasoning
- Symfony
- synchronisation
- Syntethic
- sysadmin
- systematic literature review
- systemic coordination
- Systems
- systems biology
- systems biology modelling languages
- systems of systems
- System dynamics
- TCP/IP
- technology
- Telescript
- Tenderfone
- Tendermint
- teorie
- Testing
- TeX
- Text mining
- TheOne
- theories
- theory of mind
- THOMAS
- tic-tac-toe
- time
- time awareness
- time-awareness
- timed coordination
- Timed ReSpecT
- tools
- topology
- TOTA
- transactions
- Transducers
- Trauma Tracker
- TraumaTracker
- Triple Store
- Tropos
- Truff
- trust
- trustable systems
- TuCSoN
- TuCSoN4Jade
- Tuple
- tuple centres
- tuple matching
- tuple-based coordination
- tuProlog
- tuProlog-core
- tuProlog-related
- tuProlog.NET
- tuPrologME
- Turing
- Turing equivalence
- TuSoW
- TypeScript
- Typing
- T Spaces
- u-KBs
- uLinda
- UML
- understandability
- UniBo
- uniform primitives
- UNIMORE
- UNITN
- Unity3D
- Unreal Engine
- use
- VCS
- vehicle mileage tracking
- verification
- virtual enterprise
- virtual organisations
- Virtual Reality
- VirtualBox
- Virtualization
- VMWare
- WAM
- Web
- Web 2.0
- Web api
- web services
- WebLP
- Web 2.0
- Web applications
- Web architecture
- Web engineering
- Web frameworks
- Web programming
- Web technologies
- Wifi
- wildcards
- wireless sensor networks
- WLAN
- WoAT
- WordNet
- workflow
- workflow management systems
- WP2
- WP6
- WSCDL
- WSDM
- WSIT
- WWW
- xADL
- XMAS
- XML
- XPath
- XWiki
- zooming