Tags

  1. &-Prolog
  2. 2APL
  3. 2PaaS
  4. 2pTag
  5. 2PTags
  6. 3APL
  7. A&A ReSpecT
  8. ABA+
  9. abduction
  10. abduction-based explanations
  11. abductive logic programming
  12. abductive reasoning
  13. abduttive agents
  14. abduttive reasoning
  15. ABS
  16. abstract tuples
  17. Accenture
  18. acceptance test driven development
  19. ACME
  20. active documents
  21. active learning
  22. Active Object
  23. Actor-D
  24. ad hoc alignment
  25. adaptive governance
  26. adaptive tuple clustering
  27. ADELFE
  28. adjustable autonomy
  29. ADL
  30. ADR
  31. agens faber
  32. Agens faber
  33. agent architecture
  34. agent augmented community
  35. agent behaviour
  36. agent body
  37. agent cognition
  38. agent communication
  39. agent control loop
  40. agent management system
  41. agent model
  42. agent technology
  43. agent workspaces
  44. agent-based modelling
  45. agent-based technologies
  46. agent-based XAI
  47. AgentLink
  48. AgentLink II
  49. AgentSpeak(L)
  50. Agent & Law
  51. AGERE
  52. aggregate planning
  53. agreement technologies
  54. agricultural systems
  55. AI in consulting
  56. AI2Go
  57. AI4EUROPE
  58. AIBA
  59. air traffic control
  60. Akka Cluster
  61. Akka Distributed Data
  62. AKKODIS
  63. ALBA
  64. Alberto Martelli
  65. algebraic methods
  66. algorithmic bias
  67. algorithms
  68. ALIAS
  69. allopoiesis
  70. AlmaActa
  71. ALOO
  72. AlphaGo
  73. alternative dispute resolution
  74. Alzheimer
  75. Alzheimer's disease
  76. Amazon Elastic GPUs
  77. Amazon S3
  78. Amazon Web Services
  79. AmbientTalk
  80. amorphous computing
  81. AMPQ
  82. AMUSE
  83. AND-parallelism
  84. Andorra
  85. anemia diagnosis
  86. anomaly detection
  87. Ansible
  88. Ant
  89. ant clustering
  90. ant foraging
  91. ant-based systems
  92. antivirus
  93. AnyLogic
  94. AOSD
  95. Apache Bookkeper
  96. Apache Cassandra
  97. Apache Commons Mathematics Library
  98. Apache Flink
  99. Apache HttpClient
  100. Apache Ignite
  101. Apache Nutch
  102. Apache Pulsar
  103. Apache Solr
  104. Apache Spark
  105. Apache Zookeeper
  106. APICe
  107. APPEAL
  108. Apple Vision Pro
  109. Application
  110. AR-Drone
  111. arcade games
  112. Arduino
  113. ARGoS simulator
  114. ARM cluster
  115. artefact manuals
  116. artificial general intelligence
  117. artificial life
  118. artificial vision
  119. as a service
  120. ASAI-ER
  121. ASP.NET
  122. ASPECS
  123. aspects
  124. ASPIC+
  125. ASTRA
  126. astronomy
  127. asynchronous communication
  128. asynchronous interaction
  129. asynchronous programming
  130. attention mechanism
  131. Auction
  132. augmented worlds
  133. AUML
  134. Aurora
  135. authentication
  136. authentication protocols
  137. authorisation
  138. automated guided vehicles
  139. automated reasoning
  140. automatic service composition
  141. automatic systems
  142. automatic vehicle parking
  143. automatic service composition
  144. automation testing
  145. automation tools
  146. autonomic communication
  147. autonomic systems
  148. autonomous cars
  149. autonomous driving
  150. autonomous flight
  151. autonomous racing drones
  152. autonomous robots
  153. autonomous weapon systems
  154. autonomy vs. intelligence
  155. autopoiesis
  156. AUTOSAR 3LSC
  157. availability
  158. AWARE
  159. Axios
  160. Azure cloud services
  161. Azure Functions
  162. Babel
  163. Bach
  164. backend as a service
  165. BaSi
  166. basketball
  167. batch simulation
  168. bathhouses
  169. Battleship
  170. bayesan networks
  171. BBS
  172. BDI agents
  173. BDI concurrency
  174. BDI technologies
  175. beach volley
  176. beacon devices
  177. behaviour analysis
  178. behaviour prediction
  179. behaviour-driven development
  180. BentoML
  181. Berkeley algorithm
  182. bias
  183. BibTeX
  184. bio-inspired computation
  185. bio-inspired computing
  186. bio-inspired design patterns
  187. bio-inspired networking
  188. Biobricks
  189. biochemical networks
  190. biochemical simulation
  191. biocomputing
  192. biological systems
  193. biology
  194. Biomimetics
  195. BioPepa
  196. bisimulation
  197. Bitcoin
  198. BitTorrent
  199. Blackjack
  200. blockchain-based coordination
  201. Bluetooth Low Energy
  202. Bomberman
  203. bookies
  204. Bootstrap
  205. BPEL
  206. BPMN
  207. BTS-SOC
  208. bubble rap
  209. bulk primitives
  210. burden of proof
  211. Business
  212. business rule management systems
  213. byzantine behaviour
  214. byzantine generals problem
  215. C#
  216. C@sa
  217. CAA
  218. cAdvisor
  219. Caffeine Cache
  220. car-to-car gossiping
  221. CARA
  222. Cards Against Humanity
  223. CArtAgO-WS
  224. CASCOM
  225. CASE
  226. CASE tools
  227. case-based planning
  228. CASO
  229. causal interpretation
  230. CellML
  231. cellular automata
  232. Cellulat
  233. Ceph
  234. Chandy-Lamport algorithm
  235. chat
  236. chatbot
  237. ChatGPT
  238. Chef
  239. chemical models
  240. chemical tuple spaces
  241. Choco Solver
  242. Chroma
  243. chronic diseases
  244. Chubby
  245. CI/CD
  246. CINECA
  247. class loading
  248. Claude
  249. clause database
  250. client-side computing
  251. clinical workflows
  252. cloud services
  253. cloud storage
  254. Cloudify
  255. CloudStack
  256. clustering
  257. CMS
  258. co-argumentation artefacts
  259. co-argumentation artifact
  260. Co-fields
  261. Cocumber
  262. code mobility
  263. code playground
  264. Codenames
  265. coding
  266. cognitive agents
  267. cognitive artefacts
  268. cognitive computing
  269. collaboration
  270. collaborative editing
  271. collaborative learning
  272. collaborative learning systems
  273. collaborative text-editors
  274. Collaborative work
  275. collective services
  276. collision avoidance
  277. collision prediction
  278. Communication
  279. communication networks
  280. complex system simulation
  281. complexity
  282. component-based systems
  283. computability
  284. computable law
  285. computation tree logic
  286. computational ecosystems
  287. computational logic ecosystem
  288. computational thinking
  289. computer science
  290. computing
  291. concurrency
  292. concurrent intentions
  293. concurrent languages
  294. concurrent logic programming
  295. concurrent object-oriented programming
  296. concurrent software engineering
  297. concurrent systems
  298. ConDec
  299. conference management
  300. CONNECARE
  301. consistency
  302. consistency models
  303. consistency protocols
  304. constrained AI
  305. Constraint
  306. constraint injection
  307. constraint satisfaction
  308. contact centres
  309. container orchestration
  310. containerisation
  311. content management systems
  312. Context
  313. context awareness
  314. context-aware computing
  315. context-dependent coordination
  316. contextual programming
  317. contract nets
  318. control-driven coordination
  319. Control-driven models
  320. conversational agents
  321. conversational systems
  322. convolutional neural networks
  323. convolutional recurrent neural networks
  324. cooperation
  325. cooperative argumentation
  326. cooperative information retrieval
  327. cooperative information systems
  328. coordination
  329. coordination architecture
  330. coordination for simulation
  331. coordination patterns
  332. coordination without model
  333. coordination-aware elasticity
  334. coordination-based simulation
  335. Coordination artefacts
  336. copy-collect
  337. CoQA dataset
  338. CORBA
  339. Corda
  340. Cordova
  341. core calculus
  342. core languages
  343. coroutines
  344. cosmic rays
  345. Cougaar
  346. counterfactual explanation
  347. Cradle
  348. crawler4j
  349. CREAM
  350. CReEPy
  351. CRIS
  352. Croquet SDK
  353. Cross Origin Resource Sharing
  354. Crosscutting
  355. crosscutting concerns
  356. crowd evacuation
  357. crowd modelling
  358. cryptocurrency
  359. cryptography
  360. CSCW
  361. CSpaces
  362. CSS
  363. cuDNN
  364. customer relationship management
  365. cyber-physical and cloud systems
  366. cyber-physical systems
  367. cybersecurity
  368. Cypress
  369. D
  370. DAI
  371. Darwin Information Typing Architecture
  372. dasLab
  373. data aggregation
  374. data analytics
  375. data degradation
  376. data fusion
  377. data processing
  378. data streams
  379. Data-driven models
  380. data-efficient learning
  381. database replication
  382. Datalog
  383. dataset pruning
  384. dataset summarisation
  385. DCaseLP
  386. DCVS
  387. decentralisation
  388. decentralised control
  389. decentralised storage
  390. decision support systems
  391. decision theory
  392. Decision making
  393. declarative programming
  394. deductive databases
  395. deep learning
  396. deep neural networks
  397. deep reinforcement learning
  398. DeepQLearning
  399. defeasible logic
  400. defeasible preference
  401. defect detection
  402. delay measures
  403. delegation
  404. DeliveryChecker
  405. DeLP
  406. demo
  407. design guidelines
  408. design patterns
  409. developmental biology
  410. DevStack
  411. diabetes mellitus
  412. Dialogue artifact
  413. differentiable DSP
  414. digital democracy
  415. digital health
  416. digital signal processing
  417. digital transformation
  418. digital twins
  419. Discord
  420. discrete-event simulation
  421. dispersion games
  422. distance learning
  423. distance sensors
  424. distributed adaptive controller
  425. distributed argumentation
  426. distributed artificial intelligence
  427. distributed caching
  428. distributed cognition
  429. distributed computing
  430. distributed data mining
  431. distributed data processing
  432. distributed databases
  433. distributed file sharing
  434. distributed file system
  435. distributed information retrieval
  436. distributed information systems
  437. distributed key-value stores
  438. distributed language model training
  439. distributed ledger technology
  440. distributed MAS
  441. distributed messaging
  442. distributed objects
  443. distributed programming
  444. distributed robot systems
  445. distributed sensors
  446. distributed state
  447. distributed streaming
  448. distributed system monitoring
  449. distributed systems engineering
  450. distributed systems inspection
  451. distributed tracing
  452. divergent thinking
  453. Dixit
  454. Docker Swarm
  455. DodgeDrone Challenge
  456. domain name system
  457. domotic agents
  458. Dreamer
  459. DrJava
  460. DrSimpA
  461. DSAW
  462. DVCS
  463. DVCS Git
  464. dynamic georeferencing
  465. dynamic task allocation
  466. DyNE
  467. e-democracy
  468. e-democracy platforms
  469. e-learning management systems
  470. E-learning platforms
  471. E-learning tools
  472. eager vs. lazy binding
  473. EASE
  474. EasyLiving
  475. Eclipse constraint solver
  476. Eclipse Modeling Framework
  477. EcoNews
  478. economic decision making
  479. Ecosystem
  480. ecosystems
  481. EDemocracy
  482. edge intelligence
  483. EDITH
  484. educational psychology
  485. EgoSpaces
  486. EHR
  487. elasticity
  488. ELDAMeth
  489. eLearning
  490. election algorithms
  491. electronic health record
  492. embedded devices
  493. embedded environments
  494. embedding
  495. embodied computing
  496. embodied vs. disembodied coordination
  497. emergent behaviours
  498. Emotion CSS
  499. empirical model learning
  500. encoder-decoders
  501. end-to-end testing
  502. EneA-FL
  503. entropy
  504. entscheidungsproblem
  505. environment engineering
  506. environment modelling
  507. environment-oriented programming
  508. EOS
  509. EOS-DUE
  510. epidemic-spread simulation
  511. epistemic action
  512. epistemology
  513. ePolicy
  514. ERP
  515. Error handling
  516. eScience
  517. ESP32
  518. etcd
  519. eternal systems
  520. ethical AI
  521. euroCRIS
  522. event loop
  523. event model
  524. event notification
  525. event tracker
  526. event-based systems
  527. event-driven coordination
  528. event-driven programming
  529. Evolution
  530. evolutionary algorithms
  531. evolutionary computing
  532. evolutionary multi-agent systems
  533. ExACT
  534. exception handling
  535. expert systems
  536. explanation as communication
  537. explanation-ready agents
  538. Express
  539. expressiveness
  540. extended reality
  541. externalised rationality
  542. extreme programming
  543. FAIR-PE01-SP08
  544. fantasy football
  545. farm planning
  546. FastAPI
  547. FaUCI
  548. federated learning
  549. FedLSBT
  550. few-shot learning
  551. ffmpeg
  552. field-based coordination
  553. finite state machine
  554. FIPA ACL
  555. FIPA agents
  556. FIPA DPDF
  557. FIPA protocols
  558. FIPA ACL
  559. fire detection
  560. Firestone
  561. FIT
  562. Flash game
  563. Flask
  564. Flatland 3 challenge
  565. Flickr30k dataset
  566. Flickr9k dataset
  567. flocking systems
  568. Flow
  569. Flower
  570. Flutter
  571. fog computing
  572. follow-me
  573. foraging
  574. formal methods
  575. formal tools for software engineering
  576. foundations of computing
  577. Foundry
  578. fragment
  579. fragmentation
  580. Framework
  581. function as a service
  582. functional programming
  583. Functional safety
  584. fuzzy coordination
  585. fuzzy description logic
  586. Gaia4E
  587. GDB
  588. generalised assignment problem
  589. generative AI
  590. Generative communication
  591. generics
  592. genetic algorithms
  593. genetic operators
  594. geo-fencing
  595. Geo-Linda
  596. geo-location
  597. Geo2p
  598. geofencing
  599. geolocalisation
  600. geolocation
  601. Gherkin
  602. Gillespie
  603. Git
  604. Git hooks
  605. GitBucket
  606. Gitea
  607. GitFlow
  608. GitHub
  609. GitHub Actions Workflow
  610. GitLab
  611. GitPrep
  612. glycolysis
  613. GNN2GNN
  614. Go
  615. goal-oriented systems
  616. Godot game engine
  617. Google Cloud
  618. Google Cloud Storage
  619. Google DART
  620. Google Generative Agents
  621. Google Magenta
  622. Google Maps
  623. Google Android
  624. GORMAS
  625. gossip pattern
  626. GPS
  627. GPT-2
  628. GPT-3
  629. GPT3
  630. Grade
  631. gradient pattern
  632. Grafana
  633. graph convolutional networks
  634. graph DB
  635. graph neural networks
  636. graph recurrent neural networks
  637. graphic interfaces
  638. Graphivz
  639. green ICT
  640. grey-box semantics
  641. grid computing
  642. GridREx
  643. group buy
  644. GroupLog
  645. GUI
  646. H2020
  647. HAMLET
  648. hands-free
  649. HCI
  650. Healthcare
  651. heartbeat
  652. Helmet
  653. hematopoietic stem cells
  654. HERE Development
  655. Herika
  656. Hermit
  657. hierarchical planning
  658. hierarchy in complex systems
  659. History of ideas
  660. Hive BDI
  661. holonic MAS
  662. home automation
  663. HoneyBadger BFT
  664. Hospital 4.0
  665. hovering information
  666. HTML
  667. HTML5
  668. HTTP
  669. HTTP challenge
  670. human walk
  671. hybrid agents
  672. hybrid coordination
  673. hybrid-quorum replication
  674. Hypercore protocol
  675. Hyperledger
  676. IBM Watson
  677. IDE
  678. ideal gas
  679. IEEE
  680. IEEE-FIPA documentation template
  681. IFTS
  682. IKVM
  683. image processing
  684. image recognition
  685. implicit communication
  686. implicit culture
  687. Implicit culture
  688. improvisation
  689. in-memory database
  690. indoor localisation
  691. Industry 4.0
  692. information extraction
  693. information harvesting
  694. Information retrieval
  695. informed machine learning
  696. infrastructure as a code
  697. infrastructure free
  698. INGENIAS
  699. INGENIAS-Agile
  700. Inspector tool
  701. intelligent beings
  702. intelligent environment
  703. intelligent fridge
  704. intelligent health care
  705. intelligent transportation systems
  706. intelligent virtual environments
  707. IntelliJ IDEA
  708. intentional agents
  709. intentions
  710. inter-organisational workflow
  711. interaction patterns
  712. interaction protocols
  713. interaction semantics
  714. interactive graphical maps
  715. interactive systems
  716. Internet of Intelligent Things
  717. Internet of Vehicles
  718. interoperability
  719. interplanetary file system
  720. intracellular signalling pathways
  721. intrusion detection
  722. inversion of control
  723. iOS
  724. IRIS
  725. IronPython
  726. IRoom
  727. ISO
  728. ISO26262
  729. Istar
  730. IVRE
  731. Ivy
  732. J2EE
  733. J2ME
  734. Ja.Net
  735. JaCa-Android
  736. JaCa-Web
  737. JaCa-WS
  738. JACK
  739. Jacop
  740. JADE on Android
  741. Jade-LEAP
  742. Jaeger
  743. JaKta
  744. Jakta distributed
  745. Jasa agents
  746. Java agents
  747. Java Metro
  748. Java monitor
  749. Java RMI
  750. Java Scripting Engine
  751. Java-based OS
  752. JavaBeans
  753. JavaFX
  754. Javalin
  755. JavaLog
  756. Javelin
  757. JDBC
  758. JDDAC
  759. JEdit
  760. Jenkins
  761. Jess
  762. Jest
  763. JFact
  764. Jini
  765. JNode
  766. Join point
  767. journalism
  768. JRDF
  769. JSON tuple spaces
  770. JWT
  771. Kallithea
  772. Kea
  773. KILL
  774. kinetic modelling
  775. KIS
  776. KMongo
  777. knowledge construction
  778. knowledge engineering
  779. knowledge evaluation
  780. knowledge management
  781. knowledge-based coordination
  782. knowledge-oriented coordination
  783. knowledge-oriented coordination
  784. Knowledge diffusion
  785. KNX protocol stack
  786. Kotest
  787. Kotlin DSL
  788. Kotlin Multiplatform
  789. Kryonet
  790. Kubectl
  791. Kubeflow
  792. labelled logic programming
  793. labelled systems
  794. labelled theories
  795. labelled transition systems
  796. labelled tuProlog
  797. labelled variables
  798. labelled variables in logic programming
  799. Lagom
  800. LAILA
  801. lambda architecture
  802. language models
  803. languages
  804. large-scale coordination
  805. large-scale distributed systems
  806. large-scale simulation
  807. Law-governed Linda
  808. leader election
  809. learn to code
  810. learning agents
  811. learning management systems
  812. learning objects
  813. learning process
  814. ledgers
  815. Legolog
  816. LeJOS
  817. leRCOS
  818. Let’s Encrypt
  819. LIDAR
  820. life simulator
  821. lifted relational neural networks
  822. LighTS
  823. LinCa
  824. linear logic
  825. linear temporal logic
  826. linkability
  827. linked data
  828. linking primitives
  829. Lint
  830. LiquidFeedback
  831. LISA Pathfinder
  832. live semantic annotations
  833. Llama
  834. LLM
  835. load classification
  836. logging
  837. logic
  838. logic clauses
  839. logic constraints
  840. logic induction
  841. logic smart contracts
  842. logic tuple centres
  843. logic tuple spaces
  844. logic tuples
  845. logic-based argumentation
  846. logic-based coordination
  847. logic-based reasoning
  848. logic-based techniques
  849. logical clocks
  850. logical English
  851. logics
  852. logistics
  853. LoRA
  854. Lotka-Volterra equation
  855. LPaas client
  856. LPaas-REST
  857. LSA
  858. Lupus in fabula
  859. LVLP
  860. machine ethics
  861. macroprogramming
  862. MAgentA
  863. Magneti Marelli
  864. managed service provider
  865. Management
  866. Manifold
  867. MAOP4FI
  868. MAPE
  869. MAPF
  870. MAPK
  871. Maraffa
  872. Marmotta
  873. MARS-X
  874. MAS autonomy
  875. MAS elasticity
  876. MAS infrastructure
  877. MAS meta-model
  878. MAS programming
  879. MAS tools
  880. MAS verification
  881. MaSE
  882. MASON
  883. massive data
  884. massively multi-agent systems
  885. Mastermind
  886. matchmaking
  887. Material-UI
  888. Materialize
  889. matheuristics
  890. MAVA
  891. Maven
  892. MDA
  893. MediatR
  894. MediCoordination
  895. meeting-scheduling
  896. MemN2N
  897. Mentalistic agents
  898. Mercurial
  899. MERCURIO
  900. MERN stack
  901. Mesa library
  902. MeshNet
  903. message passing
  904. message-oriented middleware
  905. messaging services
  906. meta-argumentation
  907. meta-heuristics
  908. meta-interpretation
  909. meta-interpretative learning
  910. meta-modelling
  911. meta-programming
  912. meta-rules
  913. metabolyc pathways
  914. Metaio
  915. MetaMeth
  916. MetaPatrol
  917. methodologies
  918. methodology evaluation
  919. metrics for neuro-symbolic integration
  920. metrics for SKE
  921. metrics for SKI
  922. MEVN
  923. Microsoft SQL Server
  924. middleware integration
  925. Mini-ME
  926. minority game
  927. MIP-nets
  928. MIPNet
  929. MiRAgE
  930. mirror worlds
  931. Mistral
  932. MLFlow
  933. MLOps
  934. Mobile
  935. mobile ad-hoc networks
  936. mobile applications
  937. mobile backend as a service
  938. mobile banking
  939. mobile computing
  940. mobile coordination
  941. mobile devices
  942. mobile health
  943. mobile musical agents
  944. mobile systems
  945. mobile AR
  946. Mobile web
  947. mobility
  948. mobility models
  949. Mocha
  950. Mockito
  951. modal logic
  952. model view controller
  953. model-driven architecture
  954. model-driven engineering
  955. model-view-control pattern
  956. Modeling
  957. modelling and simulation
  958. Modelli di comunicazione
  959. models
  960. modular embedding
  961. MoK atoms
  962. MoK matching function
  963. MoK middleware
  964. MoK reactions
  965. MoK storage
  966. MoK users
  967. Moleculer
  968. Monaco Editor
  969. MongoD
  970. Mongoose
  971. Mosquitto
  972. motion
  973. Mozilla
  974. MQTT
  975. MRS
  976. MS COCO dataset
  977. MS-BioNET
  978. msbionet
  979. MSR
  980. multi-agent organisation
  981. multi-agent proximal policy optimisation
  982. multi-agent routing
  983. multi-agent systems
  984. multi-disciplinary research
  985. multi-level autonomy
  986. multi-level models
  987. multi-paradigm languages
  988. multi-paradigm modelling
  989. Multi-paradigm modelling
  990. multi-sensing data fusion
  991. multi-task learning
  992. multi-theory logic languages
  993. multi-threading
  994. multicellular systems biology
  995. multiplayer games
  996. multiple coordination flows
  997. multitasking
  998. multitier architectures
  999. multiversion consistency control
  1000. music
  1001. musical acts
  1002. musical agent architecture
  1003. musical agents
  1004. MySQL
  1005. MySQL Connector
  1006. n-Queens
  1007. naming system
  1008. Neo4j
  1009. NetBeans
  1010. NetcodeRollback
  1011. Netty
  1012. network management
  1013. network time protocol
  1014. Network topology
  1015. neural architecture search
  1016. neural image caption generation
  1017. neural machine translation
  1018. neural network complexity
  1019. neural network opacity
  1020. NGINX
  1021. Ngrok
  1022. NIC
  1023. NLP datasets
  1024. Nomi cose città
  1025. non-IID data
  1026. non-playing characters
  1027. non-relational databases
  1028. noSQL
  1029. nutritional recommendation systems
  1030. NXC
  1031. O-MaSe
  1032. object-oriented inductive logic programming
  1033. object-oriented logic programming
  1034. object-oriented Petri nets
  1035. object-oriented planning
  1036. object-oriented software engineering
  1037. object-oriented model
  1038. objective coordination
  1039. observability
  1040. observable sources
  1041. observer pattern
  1042. obstacle avoidance
  1043. Octopus
  1044. OITOS
  1045. online auctions
  1046. online engineering
  1047. ontology population
  1048. OOSE
  1049. open computational systems
  1050. open systems
  1051. open vehicle fleets
  1052. OpenAPI
  1053. OpenEHR
  1054. OpenGL
  1055. OpenNLP
  1056. OpenStack
  1057. OpenTelemetry
  1058. OpenUP
  1059. Open systems
  1060. operating instructions
  1061. operation manual
  1062. operational semantics
  1063. Operational Transformation
  1064. OPM
  1065. opportunistic IoT services
  1066. opportunistic network
  1067. optimisation
  1068. OPTYap
  1069. OR-parallelism
  1070. Oracle CRM
  1071. Orchestration
  1072. OrCHiD
  1073. organ transplantation
  1074. organisation-oriented programming
  1075. OrientDB
  1076. Orleans
  1077. osBrain
  1078. Ospedale Bufalini
  1079. OWAMAH
  1080. OWL
  1081. OWL-S
  1082. OWL-T
  1083. P-plan
  1084. p2p
  1085. p2p networks
  1086. P@J
  1087. PAAS
  1088. PacMan
  1089. paradigm shift
  1090. Paradigm shift
  1091. parallel algorithms
  1092. parallel data store
  1093. parameter engineering
  1094. parameter optimisations
  1095. parametric weighted multi-path
  1096. partial planning
  1097. particle systems
  1098. path planning
  1099. Paxos protocols
  1100. Payara
  1101. PDDL
  1102. PEDRO
  1103. peer-review federated learning
  1104. Peer-Review Flower
  1105. PEPA
  1106. perception
  1107. permissioned blockchain
  1108. persistency
  1109. persistent storage
  1110. personal agents
  1111. personal medical digital assistants
  1112. pervasive communication
  1113. pervasive intelligence
  1114. pervasive sensing
  1115. PettingZoo
  1116. PFA
  1117. pgmpy
  1118. Phabricator
  1119. Phaser.js
  1120. Pheromones
  1121. PHP
  1122. physical clocks
  1123. physics
  1124. pi-calculus
  1125. plain diffusion
  1126. PlantUML
  1127. pLinda
  1128. plp
  1129. plug-in
  1130. PMML
  1131. PNagent
  1132. Poetry
  1133. Pointcut
  1134. points of interest
  1135. Poker
  1136. Pong
  1137. post-declarative programming
  1138. post-hoc explanation
  1139. post-normal science
  1140. PostgresSQL
  1141. Postman
  1142. practical byzantine fault tolerance
  1143. practical reasoning
  1144. PRACTIONIST
  1145. pray-predator
  1146. pregnancy
  1147. Prettier
  1148. prey-predator
  1149. principle
  1150. PRISM
  1151. privacy
  1152. private cloud
  1153. private international law
  1154. proactivity
  1155. probabilistic languages
  1156. probabilistic logic programming
  1157. probabilistic modular embedding
  1158. probably approximately correct
  1159. ProbLinCa
  1160. process calculus
  1161. process coordination
  1162. process engineering
  1163. process management
  1164. Process migration
  1165. PRODE
  1166. profiling
  1167. program correctness
  1168. program specification
  1169. program verification
  1170. programming
  1171. programming paradigms
  1172. project dissemination
  1173. Prolog agents
  1174. Prolog agents
  1175. Prometheus
  1176. prompt engineering
  1177. proof of stake
  1178. proof of work
  1179. PROSOCS
  1180. Protelis
  1181. Proto
  1182. Protobuf
  1183. protocol buffers
  1184. PROV-O
  1185. PRS
  1186. public key infrastructure
  1187. publish/subscribe
  1188. pulverizable architectures
  1189. Puppet
  1190. Pusher Channel
  1191. Pyro4
  1192. PyTorch
  1193. PyTorch DDP
  1194. Q-learning
  1195. QoS metrics for SKI
  1196. Qu-Prolog
  1197. quadcopters
  1198. quality of service
  1199. quantum computing
  1200. Query/Update protocol
  1201. Quidditch
  1202. Quill
  1203. Quintus Prolog
  1204. quorum-based protocols
  1205. R
  1206. R3 Corda
  1207. rational agents
  1208. Ray RLlib
  1209. RDF
  1210. re-organisation
  1211. React Native
  1212. reactive agents
  1213. reactive behavioral system
  1214. Reactiveness
  1215. real time
  1216. real-time applications
  1217. real-time communication
  1218. real-time physical activity
  1219. real-time strategy games
  1220. recommendation systems
  1221. recommender systems
  1222. recurrent neural networks
  1223. Redis
  1224. Redux
  1225. refactoring
  1226. reflection
  1227. REGN
  1228. reification
  1229. reinforcement learning
  1230. reliability
  1231. remote diagnosis
  1232. remote management
  1233. Reo
  1234. reorganization
  1235. RePAST
  1236. replica-based protocols
  1237. replication
  1238. RepNotifiers
  1239. Repository
  1240. reputation
  1241. Requirement analysis
  1242. ReSpecT nets
  1243. ReSpecTX
  1244. RethinkDB
  1245. Reti neuronali
  1246. RETSINA
  1247. reverse geocoding
  1248. reverse proxy
  1249. rewriting logic
  1250. RFID
  1251. RGB-D
  1252. Rhino
  1253. Risk
  1254. risk analysis
  1255. RMI
  1256. RoBERTa
  1257. RoboCup
  1258. robot controller
  1259. robot coordination
  1260. robot navigation
  1261. Robot Operating System
  1262. robot simulation
  1263. Robot Wars
  1264. Robot coordination
  1265. RoboVM
  1266. role games
  1267. role-based models
  1268. roles
  1269. RoleX
  1270. ROMAS
  1271. Rousseau
  1272. RSS
  1273. RTS games
  1274. S-WAM
  1275. SACoord
  1276. Salt
  1277. SANA
  1278. SANAP
  1279. SAP
  1280. SAPERE-core
  1281. SAPERE-rel
  1282. SAPERE-WP2
  1283. SAPERE-WP4
  1284. SARL
  1285. SBML
  1286. SC00097B
  1287. ScaFi
  1288. Scala sbt
  1289. scalability
  1290. ScalaLoci1
  1291. ScalaTest
  1292. scheduling
  1293. school timetable
  1294. Scientific reseaarch
  1295. SCIFF
  1296. Scripting languages
  1297. SeaweedFS
  1298. secure MAS
  1299. security
  1300. Selenium
  1301. self-*
  1302. self-adaptation
  1303. self-assembling robots
  1304. self-awareness
  1305. self-explaining agents
  1306. self-management of chronic diseases
  1307. self-organisation patterns
  1308. self-organising architectures
  1309. self-organising MAS
  1310. self-organising semantic coordination
  1311. self-organising workspaces
  1312. self-stabilisation
  1313. semantic chemistry
  1314. semantic matchmaking
  1315. semantic reasoning
  1316. semantic segmentation
  1317. semantic sensor networks
  1318. Semantic TuCSoN
  1319. Semantic Web of Things
  1320. semantic web reasoning
  1321. Semantics
  1322. Semantic matching
  1323. Semantic TuCsoN
  1324. sentiment analysis
  1325. serverless architecture
  1326. serverless computing
  1327. service middleware
  1328. service self-composition
  1329. Services
  1330. Shallow2Deep
  1331. sharding
  1332. Shared Prolog
  1333. SharedDB
  1334. Shared Prolog
  1335. SHOIN(D)
  1336. SICStus
  1337. sieve protocol
  1338. SignalR
  1339. Simbad
  1340. similarity
  1341. simpA-WS
  1342. Simple Build Tool
  1343. simulation in software engineering
  1344. simulation on software engineering
  1345. SIPEAA
  1346. situadeness
  1347. situated computing
  1348. situated coordination
  1349. situated intelligence
  1350. situated logic programming
  1351. situational process engineering
  1352. Situational Method Engineering 
  1353. SKE metrics
  1354. Skyrim
  1355. SLD resolution
  1356. slot machines
  1357. Small world networks
  1358. smart cities
  1359. smart co-working
  1360. smart energy management
  1361. smart glasses
  1362. smart grids
  1363. smart hospital
  1364. smart mobility
  1365. Smart Spaces
  1366. smart transportation
  1367. Smart Environment
  1368. SMS
  1369. SOA-WS
  1370. SOAP
  1371. SOAR
  1372. soccer
  1373. social action
  1374. social autonomy
  1375. social networks
  1376. social sciences
  1377. social systems
  1378. SOCIALNETS
  1379. Social networks
  1380. socket library
  1381. Socket.IO rooms
  1382. software as a service
  1383. Software development
  1384. software engineering process
  1385. software process
  1386. software testing
  1387. software-defined storage
  1388. Software factory
  1389. Software systems
  1390. SOKO coordination model
  1391. Solidity
  1392. sonar sensors
  1393. SOS
  1394. space awareness
  1395. space-aware coordination
  1396. space-based coordination
  1397. Space-based coordination
  1398. space-time programming
  1399. SPADE
  1400. SPARQL
  1401. spatial computing languages
  1402. spatial coordination
  1403. spatial reasoning
  1404. Spatial ReSpecT
  1405. Spatial abstractions
  1406. Spatial coordination
  1407. spatio-temporal computing
  1408. speech recognition
  1409. SPEM 2.0
  1410. SpiderMonkey
  1411. Spring
  1412. Spring Boot
  1413. SQL
  1414. SQL Server
  1415. SQLite
  1416. SSL/TLS
  1417. standard of proofs
  1418. statistical learning
  1419. statistical mechanics
  1420. Stellar
  1421. stem cells
  1422. STIL
  1423. stochastic Prolog
  1424. stochastic systems
  1425. stochastic π-calculus
  1426. StoKlaim
  1427. STOMP
  1428. STOMP WebSocket
  1429. StorJ
  1430. stream processing
  1431. STRIPS
  1432. strong consistency
  1433. structured logic programming
  1434. stupid backoff
  1435. sTuples
  1436. styled components
  1437. subsumption architecture
  1438. SUMO
  1439. Supabase
  1440. supervised learning
  1441. surveillance systems
  1442. survey
  1443. SVN
  1444. Swagger Codegen
  1445. Swarm
  1446. swarm bots
  1447. swarm robotics
  1448. SwarmLinda
  1449. Swift
  1450. Swing
  1451. SYBL
  1452. symbolic AI
  1453. symbolic logic
  1454. symbolic transfer learning
  1455. symbolic reasoning
  1456. Symfony
  1457. synchronisation
  1458. Syntethic
  1459. system integration
  1460. system-level programming
  1461. systemic coordination
  1462. systems
  1463. systems biology modelling languages
  1464. systems of systems
  1465. System dynamics
  1466. T Spaces
  1467. tail recursion
  1468. TALEA
  1469. Talisman
  1470. task-oriented engineering
  1471. TCP/IP
  1472. technology
  1473. telemedicine
  1474. telemetry
  1475. TeleStroke
  1476. Tenderfone
  1477. Tendermint
  1478. TensorFlow
  1479. Terrier
  1480. Testing
  1481. text mining
  1482. TheOne
  1483. theoretical physics
  1484. theory of mind
  1485. THOMAS
  1486. ThOr
  1487. tic-tac-toe
  1488. TicTacToe
  1489. Tile38
  1490. time
  1491. time awareness
  1492. time-awareness
  1493. timed coordination
  1494. Timed ReSpecT
  1495. tourist industry
  1496. trading systems
  1497. Traefik
  1498. traffic management systems
  1499. train punctuality
  1500. transactions
  1501. Transducers
  1502. transfer learning
  1503. transformers
  1504. transport systems
  1505. trauma management
  1506. traveling salesman problem
  1507. Travis
  1508. Trello
  1509. triple space computing
  1510. Triple Store
  1511. Truff
  1512. trust
  1513. TRUST 03
  1514. trustable systems
  1515. TuCSoN
  1516. TuCSoN on Cloud
  1517. TuCSoN4Jade
  1518. TuCSoN4Jason
  1519. TuleapL
  1520. tuple matching
  1521. Turing equivalence
  1522. Type 1 diabetes mellitus
  1523. Typia
  1524. typing
  1525. UAV relay networks
  1526. ubiquitous computing
  1527. ubiquitous knowledge bases
  1528. UDP
  1529. UI testing
  1530. uLinda
  1531. UML
  1532. uncertainty
  1533. understandability
  1534. UNIBO
  1535. Unit
  1536. Uno
  1537. Unreal C++
  1538. Unreal Engine
  1539. urban mobility
  1540. urban traffic management and control
  1541. Uvicorn
  1542. Vagrant
  1543. VCS
  1544. vehicle localisation
  1545. vehicle mileage tracking
  1546. vehicle routing problem
  1547. veicolar cloud
  1548. Vert.X-Web
  1549. video games
  1550. video streaming
  1551. video surveillance
  1552. videogames
  1553. virtual organisations
  1554. virtual reality
  1555. virtual worlds
  1556. Virtual-Box
  1557. VirtualBox
  1558. virtualisation
  1559. virus spread
  1560. Visual Studio
  1561. Vite
  1562. Vitest
  1563. VLSI Prolog
  1564. VMWare
  1565. voting systems
  1566. Vue
  1567. WADE
  1568. WAM
  1569. warehouse simulation
  1570. weakly supervised learning
  1571. wearable devices
  1572. Web
  1573. Web 2.0
  1574. Web 3.0
  1575. web API
  1576. web app
  1577. web applications
  1578. web auctions
  1579. web crawling
  1580. web development
  1581. Web HTTP
  1582. web intelligence
  1583. Web of Things
  1584. web portal
  1585. web server
  1586. web technologies
  1587. web-based IDE
  1588. Webhooks
  1589. webpack
  1590. WebRTC
  1591. WebText dataset
  1592. Web 2.0
  1593. Web architecture
  1594. Web frameworks
  1595. Web programming
  1596. WiFi Direct
  1597. wildcards
  1598. wireless ad hoc networks
  1599. wireless coordination
  1600. wireless LAN
  1601. wireless sensor networks
  1602. WireWorld
  1603. WLAN
  1604. WoAT
  1605. WordNet
  1606. workflow description language
  1607. WP2
  1608. WP6
  1609. WS-CDL
  1610. WSDM
  1611. WSIT
  1612. WWW
  1613. xADL
  1614. XMAS
  1615. XPath
  1616. XTend
  1617. XText
  1618. XWiki
  1619. YAML
  1620. YapOr
  1621. YAWL
  1622. Yoroi
  1623. ZeroMQ
  1624. Zyzzyva
  1625. π-calculus