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