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