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