Dashboard

Pages

Tags

  1. &-Prolog
  2. 2APL
  3. 2PaaS
  4. 2pTag
  5. 2PTags
  6. 3APL
  7. A&A ReSpecT
  8. ABA+
  9. abduction
  10. abduction-based explanations
  11. abductive logic programming
  12. abductive reasoning
  13. abduttive agents
  14. abduttive reasoning
  15. ABS
  16. abstract tuples
  17. Accenture
  18. acceptance test driven development
  19. ACME
  20. active documents
  21. active learning
  22. Active Object
  23. Actor-D
  24. ad hoc alignment
  25. adaptive governance
  26. adaptive tuple clustering
  27. ADELFE
  28. adjustable autonomy
  29. ADL
  30. ADR
  31. agens faber
  32. Agens faber
  33. agent architecture
  34. agent augmented community
  35. agent behaviour
  36. agent body
  37. agent cognition
  38. agent communication
  39. agent control loop
  40. agent management system
  41. agent model
  42. agent technology
  43. agent workspaces
  44. agent-based modelling
  45. agent-based technologies
  46. agent-based XAI
  47. AgentLink
  48. AgentLink II
  49. AgentSpeak(L)
  50. Agent & Law
  51. AGERE
  52. aggregate planning
  53. agreement technologies
  54. agricultural systems
  55. AI in consulting
  56. AI2Go
  57. AI4EUROPE
  58. AIBA
  59. air traffic control
  60. Akka Cluster
  61. Akka Distributed Data
  62. AKKODIS
  63. ALBA
  64. Alberto Martelli
  65. algebraic methods
  66. algorithmic bias
  67. algorithms
  68. ALIAS
  69. allopoiesis
  70. AlmaActa
  71. ALOO
  72. AlphaGo
  73. alternative dispute resolution
  74. Alzheimer
  75. Alzheimer's disease
  76. Amazon Elastic GPUs
  77. Amazon S3
  78. Amazon Web Services
  79. AmbientTalk
  80. amorphous computing
  81. AMPQ
  82. AMUSE
  83. AND-parallelism
  84. Andorra
  85. anemia diagnosis
  86. anomaly detection
  87. Ansible
  88. Ant
  89. ant clustering
  90. ant foraging
  91. ant-based systems
  92. antivirus
  93. AnyLogic
  94. AOSD
  95. Apache Bookkeper
  96. Apache Cassandra
  97. Apache Commons Mathematics Library
  98. Apache Flink
  99. Apache HttpClient
  100. Apache Ignite
  101. Apache Nutch
  102. Apache Pulsar
  103. Apache Solr
  104. Apache Spark
  105. Apache Zookeeper
  106. APICe
  107. APPEAL
  108. Apple Vision Pro
  109. Application
  110. AR-Drone
  111. arcade games
  112. Arduino
  113. ARGoS simulator
  114. ARM cluster
  115. artefact manuals
  116. artificial general intelligence
  117. artificial life
  118. artificial vision
  119. as a service
  120. ASAI-ER
  121. ASP.NET
  122. ASPECS
  123. aspects
  124. ASPIC+
  125. ASTRA
  126. astronomy
  127. asynchronous communication
  128. asynchronous interaction
  129. asynchronous programming
  130. attention mechanism
  131. Auction
  132. augmented worlds
  133. AUML
  134. Aurora
  135. authentication
  136. authentication protocols
  137. authorisation
  138. automated guided vehicles
  139. automated reasoning
  140. automatic service composition
  141. automatic systems
  142. automatic vehicle parking
  143. automatic service composition
  144. automation testing
  145. automation tools
  146. autonomic communication
  147. autonomic systems
  148. autonomous cars
  149. autonomous driving
  150. autonomous flight
  151. autonomous racing drones
  152. autonomous robots
  153. autonomous weapon systems
  154. autonomy vs. intelligence
  155. autopoiesis
  156. AUTOSAR 3LSC
  157. availability
  158. AWARE
  159. AWS Lambda
  160. Axios
  161. Azure cloud services
  162. Azure Functions
  163. Babel
  164. Bach
  165. backend as a service
  166. BASE
  167. BaSi
  168. basketball
  169. batch simulation
  170. bathhouses
  171. Battleship
  172. bayesan networks
  173. BBS
  174. BDI 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. cooperation vs. competition
  327. cooperative argumentation
  328. cooperative information retrieval
  329. cooperative information systems
  330. coordination
  331. coordination architecture
  332. coordination for simulation
  333. coordination patterns
  334. coordination without model
  335. coordination-aware elasticity
  336. coordination-based simulation
  337. Coordination artefacts
  338. copy-collect
  339. CoQA dataset
  340. CORBA
  341. Corda
  342. Cordova
  343. core calculus
  344. core languages
  345. coroutines
  346. CORS
  347. cosmic rays
  348. Cougaar
  349. counterfactual explanation
  350. Cradle
  351. crawler4j
  352. CREAM
  353. CReEPy
  354. CRIS
  355. Croquet SDK
  356. Cross Origin Resource Sharing
  357. Crosscutting
  358. crosscutting concerns
  359. crowd evacuation
  360. crowd modelling
  361. cryptocurrency
  362. cryptography
  363. CSCW
  364. CSpaces
  365. CSS
  366. cuDNN
  367. customer relationship management
  368. cyber-physical and cloud systems
  369. cyber-physical systems
  370. cybersecurity
  371. Cypress
  372. D
  373. DAI
  374. Darwin Information Typing Architecture
  375. dasLab
  376. data aggregation
  377. data analytics
  378. data degradation
  379. data fusion
  380. data processing
  381. data streams
  382. Data-driven models
  383. data-efficient learning
  384. database replication
  385. Datalog
  386. dataset pruning
  387. dataset summarisation
  388. DCaseLP
  389. DCVS
  390. decentralisation
  391. decentralised control
  392. decentralised storage
  393. decision support systems
  394. decision theory
  395. Decision making
  396. declarative programming
  397. deductive databases
  398. deep learning
  399. deep neural networks
  400. deep reinforcement learning
  401. DeepQLearning
  402. defeasible logic
  403. defeasible preference
  404. defect detection
  405. delay measures
  406. delegation
  407. DeliveryChecker
  408. DeLP
  409. demo
  410. design guidelines
  411. design patterns
  412. developmental biology
  413. DevStack
  414. diabetes mellitus
  415. Dialogue artifact
  416. differentiable DSP
  417. digital democracy
  418. digital health
  419. digital signal processing
  420. digital transformation
  421. digital twins
  422. Discord
  423. discrete-event simulation
  424. dispersion games
  425. distance learning
  426. distance sensors
  427. distributed adaptive controller
  428. distributed argumentation
  429. distributed artificial intelligence
  430. distributed caching
  431. distributed cognition
  432. distributed computing
  433. distributed data mining
  434. distributed data processing
  435. distributed databases
  436. distributed file sharing
  437. distributed file system
  438. distributed information retrieval
  439. distributed information systems
  440. distributed key-value stores
  441. distributed language model training
  442. distributed ledger technology
  443. distributed MAS
  444. distributed messaging
  445. distributed objects
  446. distributed programming
  447. distributed robot systems
  448. distributed sensors
  449. distributed state
  450. distributed storage
  451. distributed streaming
  452. distributed system monitoring
  453. distributed systems engineering
  454. distributed systems inspection
  455. distributed tracing
  456. divergent thinking
  457. Dixit
  458. DodgeDrone Challenge
  459. domain name system
  460. domain-driven design
  461. domotic agents
  462. Dreamer
  463. DrJava
  464. DrSimpA
  465. DSAW
  466. DVCS
  467. DVCS Git
  468. dynamic georeferencing
  469. dynamic task allocation
  470. DyNE
  471. e-democracy
  472. e-democracy platforms
  473. e-learning management systems
  474. E-learning platforms
  475. E-learning tools
  476. eager vs. lazy binding
  477. EASE
  478. EasyLiving
  479. Eclipse constraint solver
  480. Eclipse Modeling Framework
  481. EcoNews
  482. economic decision making
  483. Ecosystem
  484. ecosystems
  485. EDemocracy
  486. edge intelligence
  487. EDITH
  488. educational psychology
  489. EgoSpaces
  490. EHR
  491. elasticity
  492. ELDAMeth
  493. eLearning
  494. election algorithms
  495. electronic health record
  496. embedded devices
  497. embedded environments
  498. embedding
  499. embodied computing
  500. embodied vs. disembodied coordination
  501. emergent behaviours
  502. Emotion CSS
  503. empirical model learning
  504. encoder-decoders
  505. end-to-end testing
  506. EneA-FL
  507. entropy
  508. entscheidungsproblem
  509. environment engineering
  510. environment modelling
  511. environment-oriented programming
  512. EOS
  513. EOS-DUE
  514. epidemic-spread simulation
  515. epistemic action
  516. epistemology
  517. ePolicy
  518. ERP
  519. Error handling
  520. eScience
  521. ESP32
  522. etcd
  523. eternal systems
  524. ethical AI
  525. euroCRIS
  526. event loop
  527. event model
  528. event notification
  529. event tracker
  530. event-based systems
  531. event-driven coordination
  532. event-driven programming
  533. Evolution
  534. evolutionary algorithms
  535. evolutionary computing
  536. evolutionary multi-agent systems
  537. ExACT
  538. exception handling
  539. expert systems
  540. explanation as communication
  541. explanation-ready agents
  542. Express
  543. Express Middleware
  544. expressiveness
  545. extended reality
  546. externalised rationality
  547. extreme programming
  548. FAIR-PE01-SP08
  549. fantasy football
  550. farm planning
  551. FastAPI
  552. FaUCI
  553. federated learning
  554. FedLSBT
  555. few-shot learning
  556. ffmpeg
  557. field-based coordination
  558. finite state machine
  559. FIPA ACL
  560. FIPA agents
  561. FIPA DPDF
  562. FIPA protocols
  563. FIPA ACL
  564. fire detection
  565. Firestone
  566. FIT
  567. Flash game
  568. Flask
  569. Flatland 3 challenge
  570. Flickr30k dataset
  571. Flickr9k dataset
  572. flocking systems
  573. Flow
  574. Flower
  575. Flutter
  576. fog computing
  577. follow-me
  578. foraging
  579. formal methods
  580. formal tools for software engineering
  581. foundations of computing
  582. Foundry
  583. fragment
  584. fragmentation
  585. Framework
  586. function as a service
  587. functional programming
  588. Functional safety
  589. fuzzy coordination
  590. fuzzy description logic
  591. Gaia4E
  592. GDB
  593. generalised assignment problem
  594. generative AI
  595. Generative communication
  596. generics
  597. genetic algorithms
  598. genetic operators
  599. geo-fencing
  600. Geo-Linda
  601. geo-location
  602. Geo2p
  603. geofencing
  604. geolocalisation
  605. geolocation
  606. Gherkin
  607. Gillespie
  608. Git
  609. Git hooks
  610. GitBucket
  611. Gitea
  612. GitFlow
  613. GitHub
  614. GitHub Actions Workflow
  615. GitLab
  616. GitPrep
  617. glycolysis
  618. GNN2GNN
  619. Go
  620. goal-oriented systems
  621. Godot game engine
  622. Google Cloud
  623. Google Cloud Functions
  624. Google Cloud Storage
  625. Google DART
  626. Google Generative Agents
  627. Google Magenta
  628. Google Maps
  629. Google Android
  630. GORMAS
  631. gossip pattern
  632. gossip protocol
  633. GPS
  634. GPT-2
  635. GPT-3
  636. GPT3
  637. Grade
  638. gradient pattern
  639. Grafana
  640. graph convolutional networks
  641. graph DB
  642. graph neural networks
  643. graph recurrent neural networks
  644. graphic interfaces
  645. Graphivz
  646. green ICT
  647. grey-box semantics
  648. grid computing
  649. GridREx
  650. Groq API
  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. Ngrok
  1028. NIC
  1029. NLP datasets
  1030. Nomi cose città
  1031. non-IID data
  1032. non-playing characters
  1033. non-relational databases
  1034. noSQL
  1035. nutritional recommendation systems
  1036. NXC
  1037. O-MaSe
  1038. object-oriented inductive logic programming
  1039. object-oriented logic programming
  1040. object-oriented Petri nets
  1041. object-oriented planning
  1042. object-oriented software engineering
  1043. object-oriented model
  1044. objective coordination
  1045. observability
  1046. observable sources
  1047. observer pattern
  1048. obstacle avoidance
  1049. Octopus
  1050. OITOS
  1051. online auctions
  1052. online engineering
  1053. ontology population
  1054. OOSE
  1055. open computational systems
  1056. open systems
  1057. open vehicle fleets
  1058. OpenAPI
  1059. OpenEHR
  1060. OpenGL
  1061. OpenNLP
  1062. OpenStack
  1063. OpenTelemetry
  1064. OpenUP
  1065. Open systems
  1066. operating instructions
  1067. operation manual
  1068. operational semantics
  1069. Operational Transformation
  1070. OPM
  1071. opportunistic IoT services
  1072. opportunistic network
  1073. optimisation
  1074. OPTYap
  1075. OR-parallelism
  1076. Oracle CRM
  1077. Orchestration
  1078. OrCHiD
  1079. organ transplantation
  1080. organisation-oriented programming
  1081. OrientDB
  1082. Orleans
  1083. osBrain
  1084. Ospedale Bufalini
  1085. OWAMAH
  1086. OWL
  1087. OWL-S
  1088. OWL-T
  1089. P-plan
  1090. p2p
  1091. p2p networks
  1092. P@J
  1093. PAAS
  1094. PacMan
  1095. paradigm shift
  1096. Paradigm shift
  1097. parallel algorithms
  1098. parallel data store
  1099. parameter engineering
  1100. parameter optimisations
  1101. parametric weighted multi-path
  1102. partial planning
  1103. particle systems
  1104. path planning
  1105. Paxos protocols
  1106. Payara
  1107. PDDL
  1108. PEDRO
  1109. peer-review federated learning
  1110. Peer-Review Flower
  1111. PEPA
  1112. perception
  1113. permissioned blockchain
  1114. persistency
  1115. persistent storage
  1116. personal agents
  1117. personal medical digital assistants
  1118. pervasive communication
  1119. pervasive intelligence
  1120. pervasive sensing
  1121. PettingZoo
  1122. PFA
  1123. pgmpy
  1124. Phabricator
  1125. Phaser.js
  1126. Pheromones
  1127. PHP
  1128. physical clocks
  1129. physics
  1130. pi-calculus
  1131. plain diffusion
  1132. PlantUML
  1133. pLinda
  1134. plp
  1135. plug-in
  1136. PMML
  1137. PNagent
  1138. Poetry
  1139. Pointcut
  1140. points of interest
  1141. Poker
  1142. Pong
  1143. post-declarative programming
  1144. post-hoc explanation
  1145. post-normal science
  1146. PostgresSQL
  1147. Postman
  1148. practical byzantine fault tolerance
  1149. practical reasoning
  1150. PRACTIONIST
  1151. pray-predator
  1152. pregnancy
  1153. Prettier
  1154. prey-predator
  1155. principle
  1156. PRISM
  1157. privacy
  1158. private cloud
  1159. private international law
  1160. proactivity
  1161. probabilistic languages
  1162. probabilistic logic programming
  1163. probabilistic modular embedding
  1164. probably approximately correct
  1165. ProbLinCa
  1166. process calculus
  1167. process coordination
  1168. process engineering
  1169. process management
  1170. Process migration
  1171. PRODE
  1172. profiling
  1173. program correctness
  1174. program specification
  1175. program verification
  1176. programming
  1177. programming paradigms
  1178. project dissemination
  1179. Prolog agents
  1180. Prolog agents
  1181. Prometheus
  1182. prompt engineering
  1183. proof of stake
  1184. proof of work
  1185. PROSOCS
  1186. Protelis
  1187. Proto
  1188. Protobuf
  1189. protocol buffers
  1190. PROV-O
  1191. PRS
  1192. public key infrastructure
  1193. pulverizable architectures
  1194. Puppet
  1195. Pusher Channel
  1196. Pyro4
  1197. PyTorch
  1198. PyTorch DDP
  1199. Q-learning
  1200. Qdrant
  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

Activity Stream