Tag Cloud

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